Skip to content

Actions: rems-project/cn-tutorial

Actions

Test tutorial build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-tutorial-build.yml
14 workflow runs
14 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
power_uf test changes Test tutorial build #114: Pull request #158 opened by cp526
1m 0s power_uf
power_uf
1m 0s
adjust one test to use derive_constraints command Test tutorial build #113: Pull request #157 opened by cp526
7m 42s derive-constraints-command
derive-constraints-command
7m 42s
Update run-cn-examples.yml Test tutorial build #112: Pull request #156 opened by cp526
5m 42s cp526-patch-2
cp526-patch-2
5m 42s
Update run-cn-examples.yml Test tutorial build #111: Pull request #155 opened by cp526
6m 13s cp526-patch-1
cp526-patch-1
6m 13s
Update run-cn-examples.yml Test tutorial build #110: Pull request #154 opened by cp526
4m 50s cp526-patch-1
cp526-patch-1
4m 50s
move test Test tutorial build #109: Pull request #153 opened by cp526
6m 8s recategorise
recategorise
6m 8s
Remove array_crash_2.c Test tutorial build #108: Pull request #152 synchronize by dc-mak
3m 5s dc-mak:rm-array-crash
dc-mak:rm-array-crash
3m 5s
Remove array_crash_2.c Test tutorial build #107: Pull request #152 synchronize by dc-mak
3m 1s dc-mak:rm-array-crash
dc-mak:rm-array-crash
3m 1s
Remove array_crash_2.c Test tutorial build #106: Pull request #152 synchronize by dc-mak
3m 2s dc-mak:rm-array-crash
dc-mak:rm-array-crash
3m 2s
Remove array_crash_2.c Test tutorial build #105: Pull request #152 opened by dc-mak
9m 15s dc-mak:rm-array-crash
dc-mak:rm-array-crash
9m 15s
recategorise these three tests Test tutorial build #104: Pull request #151 opened by cp526
9m 6s recategorise-some
recategorise-some
9m 6s
skip ./src/example-archive/SAW/broken/error-proof/00003.point.c Test tutorial build #103: Pull request #150 opened by cp526
3m 33s disable-00003.point.c
disable-00003.point.c
3m 33s
Revert "change timeout to 35" Test tutorial build #102: Pull request #149 opened by cp526
2m 57s revert-b9418248f87d07bea8489a3368944a775fe7dfeb
revert-b9418248f87d07bea8489a3368944a775fe7dfeb
2m 57s
change timeout to 35 Test tutorial build #101: Pull request #148 opened by cp526
8m 41s bump-timeout
bump-timeout
8m 41s