https://github.com/mit-pdos/6.1600-notes

https://github.com/mit-pdos/6.1600-notes

Last synced: about 2 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/mit-pdos/6.1600-notes
• Owner: mit-pdos
• Created: 2022-09-29T15:35:23.000Z (over 2 years ago)
• Default Branch: main
• Last Pushed: 2024-10-29T03:17:24.000Z (2 months ago)
• Last Synced: 2024-10-29T04:22:16.056Z (2 months ago)
• Language: TeX
• Size: 6.84 MB
• Stars: 3
• Watchers: 8
• Forks: 1
• Open Issues: 3
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        

### To Create a Release

There is a github action workflow to auto-build the pdf and create a release. To trigger it, create a git tag locally and put it:

```bash

git tag v0.0.1

git push origin v0.0.1

```

The PDF generated from the latest release will always be at this URL: https://github.com/mit-pdos/6.1600-notes/releases/latest/download/lecture-notes.pdf