Skip to content

Actions: iu-parfunc/gibbon

Actions

Test Gibbon RTS

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-gibbon-rts.yml
443 workflow runs
443 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Get run_all_tests.sh script working again Test Gibbon RTS #70: Commit 43d9ff3 pushed by vidsinghal
August 25, 2023 18:06 3m 36s main
main
August 25, 2023 18:06 3m 36s
Add helper functions for SML compilation Test Gibbon RTS #69: Commit 9a8b3d1 pushed by jazullo
August 25, 2023 16:30 3m 36s jazullo/L1-MPL
jazullo/L1-MPL
August 25, 2023 16:30 3m 36s
Reintroduce compiler flags Test Gibbon RTS #68: Commit 56510d8 pushed by jazullo
August 25, 2023 16:12 3m 40s jazullo/L1-MPL
jazullo/L1-MPL
August 25, 2023 16:12 3m 40s
Fix Dockerfile, update README Test Gibbon RTS #67: Commit 74f702e pushed by vidsinghal
August 25, 2023 15:58 4m 15s main
main
August 25, 2023 15:58 4m 15s
Merge branch 'main' into jazullo/L1-MPL Test Gibbon RTS #66: Commit 5c127e0 pushed by jazullo
August 25, 2023 01:03 4m 12s jazullo/L1-MPL
jazullo/L1-MPL
August 25, 2023 01:03 4m 12s
Add shebang to set_env.sh Test Gibbon RTS #65: Commit 2bc1800 pushed by vidsinghal
August 24, 2023 22:45 3m 14s main
main
August 24, 2023 22:45 3m 14s
Merge remote-tracking branch 'origin/main' into jazullo/L1-MPL Test Gibbon RTS #64: Commit 7c00353 pushed by jazullo
August 24, 2023 21:49 3m 44s jazullo/L1-MPL
jazullo/L1-MPL
August 24, 2023 21:49 3m 44s
Dockerfile: fix bug Test Gibbon RTS #63: Commit c641b17 pushed by vidsinghal
August 24, 2023 01:49 2m 52s main
main
August 24, 2023 01:49 2m 52s
Instructions to build and run Dockerfile. Edit Dockerfile (ghc versio… Test Gibbon RTS #62: Commit 41efd81 pushed by vidsinghal
August 24, 2023 01:09 4m 45s main
main
August 24, 2023 01:09 4m 45s
Port translation code from L0 project Test Gibbon RTS #61: Commit 73fb0d1 pushed by jazullo
August 24, 2023 00:57 3m 32s jazullo/L1-MPL
jazullo/L1-MPL
August 24, 2023 00:57 3m 32s
Language/Syntax.hs: Change UrTy a -> UrTy loc Test Gibbon RTS #60: Commit 6a88f9e pushed by vidsinghal
August 24, 2023 00:34 3m 35s main
main
August 24, 2023 00:34 3m 35s
Add installing Rust to Dockerfile Test Gibbon RTS #59: Commit 36599dc pushed by jazullo
August 23, 2023 23:33 2m 53s jazullo/L1-MPL
jazullo/L1-MPL
August 23, 2023 23:33 2m 53s
Add installing Rust to Dockerfile Test Gibbon RTS #58: Commit 36599dc pushed by jazullo
August 23, 2023 22:55 3m 34s main
main
August 23, 2023 22:55 3m 34s
Fix errors after merge Test Gibbon RTS #57: Commit fd80a0d pushed by ckoparkar
August 22, 2023 03:29 3m 36s main
main
August 22, 2023 03:29 3m 36s
Merge remote-tracking branch 'origin/master' into main Test Gibbon RTS #56: Commit ee482b0 pushed by ckoparkar
August 22, 2023 03:04 4m 31s main
main
August 22, 2023 03:04 4m 31s
Disable tests that use parallellism Test Gibbon RTS #55: Commit 39ab2f0 pushed by ckoparkar
August 21, 2023 15:15 4m 11s main
main
August 21, 2023 15:15 4m 11s
Disable tests that use parallellism Test Gibbon RTS #54: Commit 4d3f0fb pushed by ckoparkar
August 21, 2023 15:12 17s main
main
August 21, 2023 15:12 17s
Fix errors after rebase Test Gibbon RTS #53: Commit 33c805c pushed by ckoparkar
August 21, 2023 14:31 1d 0h 33m 21s main
main
August 21, 2023 14:31 1d 0h 33m 21s
ProTip! You can narrow down the results and go further in time using created:<2023-08-21 or the other filters available.