Skip to content

Actions: rems-project/cn

Actions

Spec Testing

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
spec-testing.yml
79 workflow run results
79 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add ghost arguments to backend Spec Testing #80: Pull request #117 synchronize by dimecon
4m 55s dimecon:GhostV2
dimecon:GhostV2
4m 55s
Add ghost arguments to backend Spec Testing #79: Pull request #117 synchronize by dimecon
6m 1s dimecon:GhostV2
dimecon:GhostV2
6m 1s
Add ghost arguments to backend Spec Testing #78: Pull request #117 synchronize by dimecon
4m 52s dimecon:GhostV2
dimecon:GhostV2
4m 52s
Specify output directory for CN Spec Testing #77: Commit cca826a pushed by dc-mak
5m 19s main
main
5m 19s
Instrument after preproccessing Spec Testing #76: Pull request #111 synchronize by ZippeyKeys12
5m 8s ZippeyKeys12:instrument-after-preproc-3
ZippeyKeys12:instrument-after-preproc-3
5m 8s
Instrument after preproccessing Spec Testing #75: Pull request #111 synchronize by ZippeyKeys12
5m 34s ZippeyKeys12:instrument-after-preproc-3
ZippeyKeys12:instrument-after-preproc-3
5m 34s
Add ghost arguments to backend Spec Testing #74: Pull request #117 opened by dimecon
5m 31s dimecon:GhostV2
dimecon:GhostV2
5m 31s
Fix diff-prog.py for macOS Spec Testing #73: Pull request #116 synchronize by dc-mak
5m 16s dc-mak:fix-diff-prog-macos
dc-mak:fix-diff-prog-macos
5m 16s
Added sections about the dev container and coding style to 'CONTRIBUT… Spec Testing #72: Commit b4505ce pushed by dc-mak
5m 1s main
main
5m 1s
Fix diff-prog.py for macOS Spec Testing #71: Pull request #116 synchronize by dc-mak
5m 21s dc-mak:fix-diff-prog-macos
dc-mak:fix-diff-prog-macos
5m 21s
Fix diff-prog.py for macOS Spec Testing #70: Pull request #116 opened by dc-mak
1m 34s dc-mak:fix-diff-prog-macos
dc-mak:fix-diff-prog-macos
1m 34s
Instrument after preproccessing Spec Testing #69: Pull request #111 synchronize by ZippeyKeys12
2m 30s ZippeyKeys12:instrument-after-preproc-3
ZippeyKeys12:instrument-after-preproc-3
2m 30s
Instrument after preproccessing Spec Testing #68: Pull request #111 synchronize by ZippeyKeys12
5m 12s ZippeyKeys12:instrument-after-preproc-3
ZippeyKeys12:instrument-after-preproc-3
5m 12s
Instrument after preproccessing Spec Testing #67: Pull request #111 synchronize by ZippeyKeys12
5m 29s ZippeyKeys12:instrument-after-preproc-3
ZippeyKeys12:instrument-after-preproc-3
5m 29s
Updated documentation re: the dev container and coding style. Spec Testing #66: Pull request #114 opened by aschwerdfeger-galois
17m 29s GaloisInc:doc/container-coding-style
GaloisInc:doc/container-coding-style
17m 29s
Instrument after preproccessing Spec Testing #65: Pull request #111 synchronize by ZippeyKeys12
5m 13s ZippeyKeys12:instrument-after-preproc-3
ZippeyKeys12:instrument-after-preproc-3
5m 13s
Instrument after preproccessing Spec Testing #64: Pull request #111 synchronize by ZippeyKeys12
5m 58s ZippeyKeys12:instrument-after-preproc-3
ZippeyKeys12:instrument-after-preproc-3
5m 58s
Instrument after preproccessing Spec Testing #63: Pull request #111 synchronize by ZippeyKeys12
5m 47s ZippeyKeys12:instrument-after-preproc-3
ZippeyKeys12:instrument-after-preproc-3
5m 47s
Instrument after preproccessing Spec Testing #62: Pull request #111 synchronize by ZippeyKeys12
5m 13s ZippeyKeys12:instrument-after-preproc-3
ZippeyKeys12:instrument-after-preproc-3
5m 13s
Instrument after preproccessing Spec Testing #61: Pull request #111 synchronize by ZippeyKeys12
5m 6s ZippeyKeys12:instrument-after-preproc-3
ZippeyKeys12:instrument-after-preproc-3
5m 6s
Instrument after preproccessing Spec Testing #60: Pull request #111 synchronize by ZippeyKeys12
4m 4s ZippeyKeys12:instrument-after-preproc-3
ZippeyKeys12:instrument-after-preproc-3
4m 4s
Instrument after preproccessing Spec Testing #59: Pull request #111 synchronize by ZippeyKeys12
3m 28s ZippeyKeys12:instrument-after-preproc-3
ZippeyKeys12:instrument-after-preproc-3
3m 28s
Instrument after preproccessing Spec Testing #58: Pull request #111 synchronize by ZippeyKeys12
3m 49s ZippeyKeys12:instrument-after-preproc-3
ZippeyKeys12:instrument-after-preproc-3
3m 49s
Instrument after preproccessing Spec Testing #57: Pull request #111 synchronize by ZippeyKeys12
4m 15s ZippeyKeys12:instrument-after-preproc-3
ZippeyKeys12:instrument-after-preproc-3
4m 15s
Instrument after preproccessing Spec Testing #56: Pull request #111 synchronize by ZippeyKeys12
2m 34s ZippeyKeys12:instrument-after-preproc-3
ZippeyKeys12:instrument-after-preproc-3
2m 34s