Skip to content

Actions: ahelwer/Examples

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
36 workflow runs
36 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
CI: filter on max proof time in manifests CI for EWD998 Trace Validation #39: Commit 04e4315 pushed by ahelwer
12m 33s proof-max-runtime
proof-max-runtime
12m 33s
CI: filter on max proof time in manifests CI for EWD998 Trace Validation #38: Commit 8ccf536 pushed by ahelwer
11m 41s proof-max-runtime
proof-max-runtime
11m 41s
CI: filter on max proof time in manifests CI for EWD998 Trace Validation #37: Commit 348ca67 pushed by ahelwer
11m 51s proof-max-runtime
proof-max-runtime
11m 51s
Set likely values for proof runtimes CI for EWD998 Trace Validation #36: Commit fce5454 pushed by ahelwer
9m 2s proof-max-runtime
proof-max-runtime
9m 2s
Set likely values for proof runtimes CI for EWD998 Trace Validation #35: Commit 3979296 pushed by ahelwer
9m 26s proof-max-runtime
proof-max-runtime
9m 26s
Set likely values for proof runtimes CI for EWD998 Trace Validation #34: Commit 7f5d1a7 pushed by ahelwer
10m 20s proof-max-runtime
proof-max-runtime
10m 20s
Set likely values for proof runtimes CI for EWD998 Trace Validation #33: Commit 269f234 pushed by ahelwer
12m 3s proof-max-runtime
proof-max-runtime
12m 3s
CI: record proof runtime CI for EWD998 Trace Validation #32: Commit c281e53 pushed by ahelwer
11m 54s ci-time-proofs
ci-time-proofs
11m 54s
Change loop step from 'l' to '1' in pseudo code comment of Bakery.tla CI for EWD998 Trace Validation #31: Commit dc6470a pushed by ahelwer
12m 23s master
master
12m 23s
Change loop step from 'l' to '1' in pseudo code comment of Bakery.tla Check Specs & Metadata #34: Commit dc6470a pushed by ahelwer
1h 9m 52s master
master
1h 9m 52s
Basic network modeling prototypes CI for EWD998 Trace Validation #30: Commit d2926ff pushed by ahelwer
9m 54s network_modeling
network_modeling
9m 54s
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