Skip to content

Actions: ku-sldg/plir

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
64 workflow runs
64 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Docs site: remove PLIH references; add AI-assisted problem sets Build and deploy site #64: Commit abc291e pushed by palexand
9m 14s main
main
9m 14s
Func/Rec lectures: coqdoc markup fixes Build and deploy site #63: Commit bc058eb pushed by palexand
6m 15s main
main
6m 15s
Rec: add AI-assisted exercises file Build and deploy site #62: Commit 7799ab9 pushed by palexand
1m 23s main
main
1m 23s
Rec lecture: remove PLIH references Build and deploy site #61: Commit 26a4242 pushed by palexand
5m 53s main
main
5m 53s
Func lecture: coqdoc markup and prose fixes Build and deploy site #60: Commit 5b5bccd pushed by palexand
4h 45m 1s main
main
4h 45m 1s
Func: add AI-assisted exercises file Build and deploy site #59: Commit 183bca6 pushed by palexand
5m 55s main
main
5m 55s
Func lecture: prose and coqdoc markup fixes Build and deploy site #58: Commit 599c6bc pushed by palexand
5m 56s main
main
5m 56s
IDs lecture: remove remaining ALL CAPS in Section 10 concrete syntax Build and deploy site #57: Commit 07ffc3f pushed by palexand
6m 12s main
main
6m 12s
Env lecture: fix typo, grammar, and trailing spaces in coqdoc Build and deploy site #56: Commit 4fce709 pushed by palexand
5m 54s main
main
5m 54s
IDs lecture: apply front-to-back review fixes; Env coqdoc fixes Build and deploy site #55: Commit b826656 pushed by palexand
6m 3s main
main
6m 3s
IDs lecture: fix italic markup (period outside underscores) Build and deploy site #54: Commit 3726ead pushed by palexand
5m 58s main
main
5m 58s
Fix coqdoc markup: stray quotes inside list items and italic syntax Build and deploy site #53: Commit 2b5571d pushed by palexand
6m 0s main
main
6m 0s
IDs lecture: expand coqdoc on clean equations, subst, and eval proper… Build and deploy site #52: Commit 1bbeab2 pushed by palexand
6m 0s main
main
6m 0s
Add AI-assisted exercises for AE, ABE, IDs, and Env chapters Build and deploy site #51: Commit ecf2f53 pushed by palexand
5m 29s main
main
5m 29s
IDs lecture: fix coqdoc code block delimiters in Section 3 Build and deploy site #50: Commit 6f9cb9f pushed by palexand
6m 16s main
main
6m 16s
IDs lecture: expand Sections 3-5 prose and proof-engineering notes Build and deploy site #49: Commit 365eec9 pushed by palexand
2m 53s main
main
2m 53s
IDs lecture: expand Sections 2 and 3 with prose and examples Build and deploy site #48: Commit 8cfe4c5 pushed by palexand
5m 59s main
main
5m 59s
ABE lecture: add inversion to new tactics appendix Build and deploy site #47: Commit 957f20a pushed by palexand
6m 5s main
main
6m 5s
ABE lecture: tighten spacing around coqdoc code blocks in Section 4 Build and deploy site #46: Commit 94878d2 pushed by palexand
5m 24s main
main
5m 24s
ABE lecture: fix coqdoc code block delimiters in Section 4 Build and deploy site #45: Commit d617321 pushed by palexand
6m 12s main
main
6m 12s
ABE lecture: introduce types-as-sets connection, inversion tactic, il… Build and deploy site #44: Commit 5772828 pushed by palexand
6m 12s main
main
6m 12s
AE/ABE lectures: expand Section 9 reflection prose, fix typos, rename… Build and deploy site #43: Commit 88c398c pushed by palexand
9m 31s main
main
9m 31s
AE lecture: expand coqdoc prose for semantics, equivalence, and induc… Build and deploy site #42: Commit 6afc850 pushed by palexand
5m 56s main
main
5m 56s
AE lecture: expand beginner coqdoc notes at each concept's first use Build and deploy site #41: Commit 14f542c pushed by palexand
8m 56s main
main
8m 56s
DS chapter: implement lists as sums of products Build and deploy site #40: Commit ae69170 pushed by palexand
5m 46s main
main
5m 46s