Skip to content

Actions: rems-project/system-litmus-harness

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
52 workflow runs
52 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

May 16, 2024 18:46 1m 8s
(github/ci) fix: check all files, and do so silently
CI #25: Commit 3cb9358 pushed by bensimner
May 10, 2024 21:37 53s master
May 10, 2024 21:37 53s
(github/ci) add make check step
CI #24: Commit c8d48e8 pushed by bensimner
May 10, 2024 21:35 44s master
May 10, 2024 21:35 44s
(hw-refs/tabular) make --macros fully generic
CI #23: Commit ea1f519 pushed by bensimner
May 10, 2024 19:54 57s master
May 10, 2024 19:54 57s
(lib/litmus_test) add hash
CI #21: Commit 33e86c4 pushed by bensimner
May 9, 2024 14:27 56s master
May 9, 2024 14:27 56s
[WIP] (lib/litmus_test) add hash
CI #20: Commit 6c905c1 pushed by bensimner
May 8, 2024 09:59 50s master
May 8, 2024 09:59 50s
May 3, 2024 11:03 58s
(hw-results/tabular) add --herdtools option
CI #17: Commit e95fcab pushed by bensimner
April 30, 2024 07:51 56s master
April 30, 2024 07:51 56s
add MP+svc+eret and MP+eret+svc to satisfy curiosity
CI #16: Commit 6045dfc pushed by opqrs
April 26, 2024 14:10 1m 1s master
April 26, 2024 14:10 1m 1s
April 24, 2024 12:23 23s
April 18, 2024 10:53 52s
April 15, 2024 17:46 51s
Implement more of the exception tests
CI #11: Commit 486a29b pushed by bensimner
April 15, 2024 16:07 54s master
April 15, 2024 16:07 54s
April 15, 2024 15:43 1m 0s
(litmus_tests/MP+dmb+svcnoeis) fix: bad EIS reset path
CI #9: Commit 2ba9397 pushed by bensimner
April 11, 2024 15:07 1m 16s master
April 11, 2024 15:07 1m 16s
(litmus_tests/exc) add MP+dmb+svcnoeis
CI #8: Commit 9be521a pushed by bensimner
April 11, 2024 14:57 58s master
April 11, 2024 14:57 58s
(hw-results/tabular) add generated usage
CI #6: Commit 14de45f pushed by bensimner
April 11, 2024 10:45 45s master
April 11, 2024 10:45 45s
(unittests/concretization) fix: no NOTSET initial states
CI #3: Commit 7e07cda pushed by bensimner
March 6, 2024 19:15 1m 14s master
March 6, 2024 19:15 1m 14s