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
87 workflow runs
87 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
skip this file that currently times out inconsistently between z3 and… Test tutorial build #100: Pull request #147 opened by cp526
4m 16s skip-one-file
skip-one-file
4m 16s
fix predicate definition Test tutorial build #99: Pull request #146 opened by cp526
4m 20s fix-predicate-def
fix-predicate-def
4m 20s
Fix rec preds Test tutorial build #98: Pull request #145 opened by cp526
4m 20s fix-rec-preds
fix-rec-preds
4m 20s
fix recursive predicate definitions Test tutorial build #97: Pull request #144 opened by cp526
4m 15s fix-rec-defs
fix-rec-defs
4m 15s
Syntax fixes 2 Test tutorial build #96: Pull request #143 opened by cp526
9m 49s syntax-fixes-2
syntax-fixes-2
9m 49s
Syntax fixes 2 Test tutorial build #95: Pull request #142 opened by cp526
3m 38s syntax-fixes-2
syntax-fixes-2
3m 38s
syntax fixes Test tutorial build #94: Pull request #141 opened by cp526
8m 56s syntax-fixes
syntax-fixes
8m 56s
string case study Test tutorial build #93: Pull request #140 synchronize by cassiatorczon
4m 52s cassiatorczon:main
cassiatorczon:main
4m 52s
string case study Test tutorial build #92: Pull request #140 synchronize by cassiatorczon
3m 49s cassiatorczon:main
cassiatorczon:main
3m 49s
string case study Test tutorial build #91: Pull request #140 synchronize by cassiatorczon
2m 9s cassiatorczon:main
cassiatorczon:main
2m 9s
string case study Test tutorial build #90: Pull request #140 opened by cassiatorczon
7m 30s cassiatorczon:main
cassiatorczon:main
7m 30s
Edited the third testing chapter - arrays.md Test tutorial build #89: Pull request #139 opened by zutshi
3m 33s tutorial-arrays-rev
tutorial-arrays-rev
3m 33s
Edited the seond chapter - pointers.md Test tutorial build #88: Pull request #138 synchronize by zutshi
4m 41s tutorial-pointers-rev
tutorial-pointers-rev
4m 41s
Edited the seond chapter - pointers.md Test tutorial build #87: Pull request #138 opened by zutshi
3m 27s tutorial-pointers-rev
tutorial-pointers-rev
3m 27s
Testing tutorial Test tutorial build #86: Pull request #137 opened by bcpierce00
3m 17s testing-tutorial
testing-tutorial
3m 17s
Install mkdocs macro plugin for pages CI Test tutorial build #85: Pull request #136 opened by peterohanley-galois
3m 33s gus/deploy
gus/deploy
3m 33s
Add a Python virtual environment setup Test tutorial build #84: Pull request #133 synchronize by ChrisEPhifer
1m 25s cep/python-venv
cep/python-venv
1m 25s