Skip to content

Actions: msp-strath/cs410-advanced-functional-programming

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
39 workflow runs
39 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
[ done ] with lecturing Build 2025 content #100: Commit c14dad3 pushed by gallais
6m 25s main
main
6m 25s
[ done ] week 10 lec 1 Build 2025 content #99: Commit 49e1aca pushed by gallais
6m 29s main
main
6m 29s
[ week 10 ] skeleton Build 2025 content #98: Commit 43c710e pushed by gallais
7m 3s main
main
7m 3s
[ 🚢 ] FUNCTOOOR Build 2025 content #97: Commit cda83ff pushed by gallais
6m 37s main
main
6m 37s
[ week 9 ] 🚢 Build 2025 content #96: Commit fcfc019 pushed by gallais
7m 50s main
main
7m 50s
[ week 9 ] skeleton Build 2025 content #95: Commit dea33b6 pushed by gallais
6m 41s main
main
6m 41s
[ week 8 ] 🚢 Build 2025 content #94: Commit 70ef935 pushed by gallais
6m 41s main
main
6m 41s
[ cleanup ] order of the declarations Build 2025 content #93: Commit 83d8ac6 pushed by gallais
5m 48s main
main
5m 48s
[ doc ] some comments Build 2025 content #92: Commit cd9625c pushed by gallais
8m 46s main
main
8m 46s
[ 🚢 ] lecture code Build 2025 content #91: Commit de296eb pushed by gallais
10m 33s main
main
10m 33s
[ week 8 ] skeleton Build 2025 content #90: Commit 59ac303 pushed by gallais
6m 46s main
main
6m 46s
[ week 7 ] 🚢 Build 2025 content #89: Commit 9cb545c pushed by gallais
6m 34s main
main
6m 34s
[ week 7 ] lec 1 done Build 2025 content #88: Commit d6afd35 pushed by gallais
7m 11s main
main
7m 11s
[ cleanup ] reuse old definitions Build 2025 content #87: Commit b701586 pushed by gallais
6m 53s main
main
6m 53s
[ week 7 ] skeleton Build 2025 content #86: Commit e5b2e1f pushed by gallais
6m 31s main
main
6m 31s
[ week 6 ] rolled notes back to Prop-eq Build 2025 content #85: Commit 9af7788 pushed by gallais
6m 33s main
main
6m 33s
[ 🚢 ] Build 2025 content #84: Commit 90506f8 pushed by gallais
6m 44s main
main
6m 44s
[ week 6 ] skeleton Build 2025 content #83: Commit fc627aa pushed by gallais
6m 20s main
main
6m 20s
[ week 5 ] erasure, correct, and typing Build 2025 content #82: Commit 32759ca pushed by gallais
6m 30s main
main
6m 30s
[ lec ] today's content Build 2025 content #81: Commit bab6c91 pushed by gallais
6m 41s main
main
6m 41s
[ week 5 ] 🛳️ Build 2025 content #80: Commit b139835 pushed by gallais
5m 46s main
main
5m 46s
[ week 4 ] 🛳️ Build 2025 content #79: Commit 6564ad6 pushed by gallais
6m 18s main
main
6m 18s
[ ad ] for Shriram's talk Build 2025 content #78: Commit ba55f34 pushed by gallais
6m 27s main
main
6m 27s
[ lec ] today's content Build 2025 content #77: Commit 27c1948 pushed by gallais
6m 54s main
main
6m 54s
[ week 4 ] skeleton Build 2025 content #76: Commit b8b50f6 pushed by gallais
6m 23s main
main
6m 23s