Skip to content

Actions: cmsc430/assignments

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
118 workflow runs
118 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'main' of github.com:cmsc430/assignments .github/workflows/push.yml #118: Commit d3d827a pushed by dvanhorn
1m 50s main
main
1m 50s
Merge pull request #22 from cmsc430/crook .github/workflows/push.yml #117: Commit 49bd052 pushed by dvanhorn
1m 55s main
main
1m 55s
crook .github/workflows/push.yml #116: Commit 75cb7df pushed by dvanhorn
1m 53s crook
crook
1m 53s
Update Knock+ [list] and [vector] forms for new representations .github/workflows/push.yml #115: Commit 85945f0 pushed by pdarragh
1m 50s main
main
1m 50s
Update Iniquity+ and Knock+ to print vectors and strings correctly .github/workflows/push.yml #114: Commit 2a37dae pushed by pdarragh
1m 45s main
main
1m 45s
Swap cons cell order in runtime for Knock+ .github/workflows/push.yml #113: Commit 468a22a pushed by pdarragh
1m 41s main
main
1m 41s
crook .github/workflows/push.yml #112: Commit a817cf0 pushed by dvanhorn
1m 57s crook
crook
1m 57s
Swap cons cell order in run-time for Iniquity+. .github/workflows/push.yml #111: Commit f174c68 pushed by dvanhorn
1m 45s main
main
1m 45s
Merge pull request #19 from cmsc430/crook .github/workflows/push.yml #110: Commit 4ab5418 pushed by dvanhorn
1m 38s main
main
1m 38s
crook .github/workflows/push.yml #109: Commit e6ca88c pushed by dvanhorn
2m 6s crook
crook
2m 6s
crook .github/workflows/push.yml #108: Commit fe5e660 pushed by dvanhorn
1m 35s crook
crook
1m 35s
Merge pull request #17 from cmsc430/crook .github/workflows/push.yml #107: Commit b1afe0d pushed by dvanhorn
1m 37s main
main
1m 37s
crook .github/workflows/push.yml #106: Commit ae3e426 pushed by dvanhorn
1m 56s crook
crook
1m 56s
Merge pull request #16 from cmsc430/crook .github/workflows/push.yml #105: Commit a18f2b2 pushed by dvanhorn
2m 13s crook
crook
2m 13s
Merge pull request #16 from cmsc430/crook .github/workflows/push.yml #104: Commit a18f2b2 pushed by dvanhorn
1m 37s main-crook
main-crook
1m 37s
Merge pull request #16 from cmsc430/crook .github/workflows/push.yml #103: Commit a18f2b2 pushed by dvanhorn
1m 43s main
main
1m 43s
crook .github/workflows/push.yml #102: Commit 3aea514 pushed by dvanhorn
2m 8s crook
crook
2m 8s
crook .github/workflows/push.yml #101: Commit 211c8d5 pushed by dvanhorn
4m 28s crook
crook
4m 28s
Merge pull request #15 from cmsc430/crook .github/workflows/push.yml #100: Commit b15000c pushed by dvanhorn
2m 22s main
main
2m 22s
crook .github/workflows/push.yml #99: Commit a4117e6 pushed by dvanhorn
1m 54s crook
crook
1m 54s
Merge pull request #14 from cmsc430/crook .github/workflows/push.yml #98: Commit 35aef91 pushed by dvanhorn
1m 45s main
main
1m 45s
crook .github/workflows/push.yml #97: Commit 619e39a pushed by dvanhorn
2m 11s crook
crook
2m 11s
Merge pull request #13 from cmsc430/crook .github/workflows/push.yml #96: Commit 2514a2c pushed by dvanhorn
1m 58s crook
crook
1m 58s
Merge pull request #13 from cmsc430/crook .github/workflows/push.yml #95: Commit 2514a2c pushed by dvanhorn
2m 4s main-crook
main-crook
2m 4s
Merge pull request #13 from cmsc430/crook .github/workflows/push.yml #94: Commit 2514a2c pushed by dvanhorn
2m 9s main
main
2m 9s