Skip to content

Actions: microsoft/CCF

Actions

Continuous Verification

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-verification.yml
46 workflow runs
46 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove StatsFile.tla Continuous Verification #46: Pull request #6519 synchronize by achamayou
October 3, 2024 09:02 4h 20m 14s rm-statsfile
rm-statsfile
October 3, 2024 09:02 4h 20m 14s
Remove StatsFile.tla Continuous Verification #45: Pull request #6519 opened by heidihoward
October 2, 2024 20:01 4h 18m 54s rm-statsfile
rm-statsfile
October 2, 2024 20:01 4h 18m 54s
Remove writing state-space statistics after the demise of cimetrics. Continuous Verification #44: Pull request #6518 synchronize by lemmy
October 2, 2024 16:31 4h 16m 43s lemmy:mku-statsfile
lemmy:mku-statsfile
October 2, 2024 16:31 4h 16m 43s
Remove writing state-space statistics after the demise of cimetrics. Continuous Verification #43: Pull request #6518 opened by lemmy
October 2, 2024 16:25 6m 0s lemmy:mku-statsfile
lemmy:mku-statsfile
October 2, 2024 16:25 6m 0s
Check refinement of high-level spec abs with all models Continuous Verification #42: Pull request #6509 synchronize by achamayou
October 2, 2024 14:57 4h 19m 5s lemmy:mku-refine
lemmy:mku-refine
October 2, 2024 14:57 4h 19m 5s
Check refinement of high-level spec abs with all models Continuous Verification #41: Pull request #6509 synchronize by achamayou
October 2, 2024 14:49 8m 44s lemmy:mku-refine
lemmy:mku-refine
October 2, 2024 14:49 8m 44s
Assert (postcondition) that all "debug invariants" equal true in at least one state. Continuous Verification #40: Pull request #6517 synchronize by achamayou
October 2, 2024 11:47 3h 48m 57s lemmy:mku-debuginvariants
lemmy:mku-debuginvariants
October 2, 2024 11:47 3h 48m 57s
Check refinement of high-level spec abs with all models Continuous Verification #39: Pull request #6509 synchronize by achamayou
October 2, 2024 11:45 20m 46s lemmy:mku-refine
lemmy:mku-refine
October 2, 2024 11:45 20m 46s
Iteration on TLC wrapper script Continuous Verification #38: Pull request #6513 synchronize by achamayou
October 2, 2024 10:48 2h 42m 16s achamayou:tlc_cli
achamayou:tlc_cli
October 2, 2024 10:48 2h 42m 16s
Iteration on TLC wrapper script Continuous Verification #37: Pull request #6513 synchronize by achamayou
October 2, 2024 10:36 12m 12s achamayou:tlc_cli
achamayou:tlc_cli
October 2, 2024 10:36 12m 12s
Iteration on TLC wrapper script Continuous Verification #36: Pull request #6513 synchronize by achamayou
October 2, 2024 08:26 2h 9m 36s achamayou:tlc_cli
achamayou:tlc_cli
October 2, 2024 08:26 2h 9m 36s
Iteration on TLC wrapper script Continuous Verification #35: Pull request #6513 synchronize by achamayou
October 2, 2024 08:24 2m 29s achamayou:tlc_cli
achamayou:tlc_cli
October 2, 2024 08:24 2m 29s
Iteration on TLC wrapper script Continuous Verification #34: Pull request #6513 synchronize by achamayou
October 2, 2024 08:23 1m 55s achamayou:tlc_cli
achamayou:tlc_cli
October 2, 2024 08:23 1m 55s
Iteration on TLC wrapper script Continuous Verification #33: Pull request #6513 synchronize by achamayou
October 2, 2024 08:20 2m 31s achamayou:tlc_cli
achamayou:tlc_cli
October 2, 2024 08:20 2m 31s
Iteration on TLC wrapper script Continuous Verification #32: Pull request #6513 synchronize by achamayou
October 2, 2024 08:19 1m 49s achamayou:tlc_cli
achamayou:tlc_cli
October 2, 2024 08:19 1m 49s
Assert (postcondition) that all "debug invariants" equal true in at least one state. Continuous Verification #31: Pull request #6517 opened by lemmy
October 2, 2024 00:49 20m 55s lemmy:mku-debuginvariants
lemmy:mku-debuginvariants
October 2, 2024 00:49 20m 55s
Iteration on TLC wrapper script Continuous Verification #30: Pull request #6513 synchronize by achamayou
October 1, 2024 17:55 2h 39m 26s achamayou:tlc_cli
achamayou:tlc_cli
October 1, 2024 17:55 2h 39m 26s
Iteration on TLC wrapper script Continuous Verification #29: Pull request #6513 synchronize by achamayou
October 1, 2024 17:45 10m 17s achamayou:tlc_cli
achamayou:tlc_cli
October 1, 2024 17:45 10m 17s
Iteration on TLC wrapper script Continuous Verification #28: Pull request #6513 synchronize by achamayou
October 1, 2024 16:35 1h 10m 15s achamayou:tlc_cli
achamayou:tlc_cli
October 1, 2024 16:35 1h 10m 15s
Iteration on TLC wrapper script Continuous Verification #27: Pull request #6513 synchronize by achamayou
October 1, 2024 15:08 1h 26m 31s achamayou:tlc_cli
achamayou:tlc_cli
October 1, 2024 15:08 1h 26m 31s
Iteration on TLC wrapper script Continuous Verification #26: Pull request #6513 synchronize by achamayou
October 1, 2024 15:00 8m 26s achamayou:tlc_cli
achamayou:tlc_cli
October 1, 2024 15:00 8m 26s
Iteration on TLC wrapper script Continuous Verification #25: Pull request #6513 synchronize by achamayou
October 1, 2024 14:57 3m 10s achamayou:tlc_cli
achamayou:tlc_cli
October 1, 2024 14:57 3m 10s
Iteration on TLC wrapper script Continuous Verification #24: Pull request #6513 synchronize by achamayou
October 1, 2024 14:53 4m 10s achamayou:tlc_cli
achamayou:tlc_cli
October 1, 2024 14:53 4m 10s
Check refinement of high-level spec abs with all models Continuous Verification #23: Pull request #6509 synchronize by lemmy
October 1, 2024 14:49 21m 2s lemmy:mku-refine
lemmy:mku-refine
October 1, 2024 14:49 21m 2s
Iteration on TLC wrapper script Continuous Verification #22: Pull request #6513 synchronize by achamayou
October 1, 2024 14:39 14m 37s achamayou:tlc_cli
achamayou:tlc_cli
October 1, 2024 14:39 14m 37s