Skip to content

Actions: cmsc430/langs

Actions

.github/workflows/push.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
95 workflow runs
95 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Try mac runner. .github/workflows/push.yml #20: Commit 98a0441 pushed by dvanhorn
November 5, 2024 16:56 11m 27s macos-ci
macos-ci
November 5, 2024 16:56 11m 27s
Fix signature of interp in Iniquity and later. .github/workflows/push.yml #19: Commit d60ee92 pushed by dvanhorn
November 5, 2024 16:54 11m 41s main
main
November 5, 2024 16:54 11m 41s
Fix bug in vector-set./example.run .github/workflows/push.yml #18: Commit 9f48000 pushed by dvanhorn
October 25, 2024 03:08 32m 25s main
main
October 25, 2024 03:08 32m 25s
Uniformly use Xor for type tag toggling. .github/workflows/push.yml #17: Commit 588a432 pushed by dvanhorn
October 19, 2024 15:23 11m 18s main
main
October 19, 2024 15:23 11m 18s
Fix info.rkt. .github/workflows/push.yml #16: Commit 20f468a pushed by dvanhorn
October 19, 2024 13:19 1m 4s effective-address
effective-address
October 19, 2024 13:19 1m 4s
Change a86 dependency. .github/workflows/push.yml #15: Commit 6c158c6 pushed by dvanhorn
October 19, 2024 13:03 35s effective-address
effective-address
October 19, 2024 13:03 35s
Effective addresses. .github/workflows/push.yml #14: Commit 75c0fbd pushed by dvanhorn
October 19, 2024 03:35 1m 6s effective-address
effective-address
October 19, 2024 03:35 1m 6s
Fix typo. .github/workflows/push.yml #13: Commit e065447 pushed by dvanhorn
October 17, 2024 15:17 11m 58s main
main
October 17, 2024 15:17 11m 58s
Bump setup-racket version. .github/workflows/push.yml #12: Commit 6ceee06 pushed by dvanhorn
October 17, 2024 15:05 23s main
main
October 17, 2024 15:05 23s
Add Racket v8.14 to CI. .github/workflows/push.yml #11: Commit d01e4d1 pushed by dvanhorn
October 17, 2024 14:59 24s main
main
October 17, 2024 14:59 24s
Add dep on a86, not just for build. .github/workflows/push.yml #10: Commit cfec469 pushed by dvanhorn
October 17, 2024 14:50 11m 24s main
main
October 17, 2024 14:50 11m 24s
. .github/workflows/push.yml #9: Commit dab8841 pushed by dvanhorn
May 14, 2024 20:27 11m 42s main
main
May 14, 2024 20:27 11m 42s
Remove installer. .github/workflows/push.yml #8: Commit 2a8bdbd pushed by dvanhorn
May 11, 2024 14:50 11m 14s main
main
May 11, 2024 14:50 11m 14s
More generated. .github/workflows/push.yml #7: Commit 9cc03ad pushed by dvanhorn
May 11, 2024 14:38 4m 4s main
main
May 11, 2024 14:38 4m 4s
More generated files. .github/workflows/push.yml #6: Commit 7dc03a4 pushed by dvanhorn
May 11, 2024 14:34 1m 5s main
main
May 11, 2024 14:34 1m 5s
Add generated files. .github/workflows/push.yml #5: Commit 9e2dd63 pushed by dvanhorn
May 11, 2024 14:30 1m 3s main
main
May 11, 2024 14:30 1m 3s
Remove info files for generating langs. .github/workflows/push.yml #4: Commit f9002a3 pushed by dvanhorn
May 11, 2024 14:24 1m 5s main
main
May 11, 2024 14:24 1m 5s
Try again. .github/workflows/push.yml #3: Commit a0ece46 pushed by dvanhorn
May 11, 2024 14:11 1m 9s main
main
May 11, 2024 14:11 1m 9s
Fix CI .github/workflows/push.yml #2: Commit 5d12a9f pushed by dvanhorn
May 11, 2024 14:08 31s main
main
May 11, 2024 14:08 31s
CI .github/workflows/push.yml #1: Commit e4d966f pushed by dvanhorn
May 11, 2024 14:03 38s main
main
May 11, 2024 14:03 38s