Skip to content

Actions: ahelwer/Examples

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
25 workflow runs
25 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI: use bash instead of python for proof checking CI for EWD998 Trace Validation #29: Commit 0b2a491 pushed by ahelwer
15m 35s check-proofs-bash
check-proofs-bash
15m 35s
CI: check all proofs, 10 minute hard timeout CI for EWD998 Trace Validation #28: Commit 99e6f7e pushed by ahelwer
9m 2s check-all-proofs
check-all-proofs
9m 2s
CI: remove community modules details from manifest CI for EWD998 Trace Validation #27: Commit d96b722 pushed by ahelwer
13m 13s ci-remove-community
ci-remove-community
13m 13s
CI: remove community modules details from manifest CI for EWD998 Trace Validation #26: Commit 0933c59 pushed by ahelwer
11m 20s ci-remove-community
ci-remove-community
11m 20s
CI: remove community modules details from manifest CI for EWD998 Trace Validation #25: Commit 314f88c pushed by ahelwer
11m 17s ci-remove-community
ci-remove-community
11m 17s
Manifest: added proof runtimes CI for EWD998 Trace Validation #24: Commit 5db2ed7 pushed by ahelwer
9m 12s proof-runtime
proof-runtime
9m 12s
Manifest: added proof runtimes CI for EWD998 Trace Validation #23: Commit 32d8c88 pushed by ahelwer
14m 11s proof-runtime
proof-runtime
14m 11s
Manifest: added proof runtimes CI for EWD998 Trace Validation #22: Commit 74926a3 pushed by ahelwer
11m 12s proof-runtime
proof-runtime
11m 12s
Manifest: added proof runtimes CI for EWD998 Trace Validation #21: Commit ee94efa pushed by ahelwer
8m 25s proof-runtime
proof-runtime
8m 25s
Manifest: added proof runtimes CI for EWD998 Trace Validation #20: Commit de39087 pushed by ahelwer
10m 23s proof-runtime
proof-runtime
10m 23s
Manifest: removed model size field in favor of runtime CI for EWD998 Trace Validation #19: Commit cf53ae4 pushed by ahelwer
10m 6s remove-model-size
remove-model-size
10m 6s
Manifest: removed model size field in favor of runtime CI for EWD998 Trace Validation #18: Commit 50eb5bd pushed by ahelwer
12m 29s remove-model-size
remove-model-size
12m 29s
Manifest: removed model size field in favor of runtime CI for EWD998 Trace Validation #17: Commit 535c577 pushed by ahelwer
12m 7s remove-model-size
remove-model-size
12m 7s
Manifest: removed model size field in favor of runtime CI for EWD998 Trace Validation #16: Commit 9f892fe pushed by ahelwer
8m 50s remove-model-size
remove-model-size
8m 50s
Manifest: removed model size field in favor of runtime CI for EWD998 Trace Validation #15: Commit efa8021 pushed by ahelwer
10m 29s remove-model-size
remove-model-size
10m 29s
Manifest: remove path, title, and description fields CI for EWD998 Trace Validation #14: Commit 89a82bd pushed by ahelwer
9m 15s manifest-remove-fields
manifest-remove-fields
9m 15s
Manifest: remove path, title, and description fields CI for EWD998 Trace Validation #13: Commit d2ff6a9 pushed by ahelwer
9m 55s manifest-remove-fields
manifest-remove-fields
9m 55s
Manifest: remove path, title, and description fields CI for EWD998 Trace Validation #12: Commit 38f8a91 pushed by ahelwer
12m 4s manifest-remove-fields
manifest-remove-fields
12m 4s
Added barrier and peterson's algorithm specs to CI CI for EWD998 Trace Validation #11: Commit 26d45e8 pushed by ahelwer
11m 38s ci-barrier-petersons
ci-barrier-petersons
11m 38s
Actually remove model features from manifests CI for EWD998 Trace Validation #10: Commit a448918 pushed by ahelwer
15m 56s remove-model-features
remove-model-features
15m 56s
CI: Use TLAUC --skip numsets instead of unicode_number_set_shim.py CI for EWD998 Trace Validation #9: Commit e3167f5 pushed by ahelwer
10m 29s tlauc-skip-numsets
tlauc-skip-numsets
10m 29s
Changed all scripts and CI to use split manifest CI for EWD998 Trace Validation #8: Commit c0f1a20 pushed by ahelwer
14m 53s split-manifest
split-manifest
14m 53s
Changed Moving Cat Puzzle & Prisoners models to follow naming convent… CI for EWD998 Trace Validation #7: Commit c55012d pushed by ahelwer
9m 55s fix-model-names
fix-model-names
9m 55s
Added barrier and Peterson's refinement models to CI validation CI for EWD998 Trace Validation #6: Commit bde8f02 pushed by ahelwer
16m 25s jaroddif/master
jaroddif/master
16m 25s
CI: Fix state count validation regex CI for EWD998 Trace Validation #5: Commit 9e69831 pushed by ahelwer
9s ci-fix-state-count-regex
ci-fix-state-count-regex
9s