Skip to content

Actions: microsoft/CCF

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12,884 workflow run results
12,884 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Iteration on TLC wrapper script Long Verification #32: Pull request #6513 synchronize by achamayou
October 1, 2024 14:39 1h 14m 18s achamayou:tlc_cli
achamayou:tlc_cli
October 1, 2024 14:39 1h 14m 18s
Iteration on TLC wrapper script Long Test #244: Pull request #6513 synchronize by achamayou
October 1, 2024 14:39 4s achamayou:tlc_cli
achamayou:tlc_cli
October 1, 2024 14:39 4s
Iteration on TLC wrapper script Continuous Integration #730: Pull request #6513 synchronize by achamayou
October 1, 2024 14:39 14m 27s achamayou:tlc_cli
achamayou:tlc_cli
October 1, 2024 14:39 14m 27s
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
Format Python under tla/ Backport PR to LTS release branch(es) #2983: Pull request #6515 closed by achamayou
October 1, 2024 14:39 3s
October 1, 2024 14:39 3s
Format Python under tla/ (#6515) Doc #80: Commit df6d004 pushed by achamayou
October 1, 2024 14:39 5m 6s main
main
October 1, 2024 14:39 5m 6s
Format Python under tla/ (#6515) Bencher: Run Benchmarks #244: Commit df6d004 pushed by achamayou
October 1, 2024 14:39 13m 39s main
main
October 1, 2024 14:39 13m 39s
Format Python under tla/ Long Verification #31: Pull request #6515 opened by achamayou
October 1, 2024 14:10 4s achamayou:format_python_under_tla
achamayou:format_python_under_tla
October 1, 2024 14:10 4s
Format Python under tla/ Long Test #243: Pull request #6515 opened by achamayou
October 1, 2024 14:10 5s achamayou:format_python_under_tla
achamayou:format_python_under_tla
October 1, 2024 14:10 5s
Format Python under tla/ Continuous Verification #21: Pull request #6515 opened by achamayou
October 1, 2024 14:10 21m 4s achamayou:format_python_under_tla
achamayou:format_python_under_tla
October 1, 2024 14:10 21m 4s
Format Python under tla/ Continuous Integration #729: Pull request #6515 opened by achamayou
October 1, 2024 14:10 43m 33s achamayou:format_python_under_tla
achamayou:format_python_under_tla
October 1, 2024 14:10 43m 33s
Iteration on TLC wrapper script Long Verification #30: Pull request #6513 synchronize by achamayou
October 1, 2024 14:05 1h 18m 40s achamayou:tlc_cli
achamayou:tlc_cli
October 1, 2024 14:05 1h 18m 40s
Iteration on TLC wrapper script Long Test #242: Pull request #6513 synchronize by achamayou
October 1, 2024 14:05 4s achamayou:tlc_cli
achamayou:tlc_cli
October 1, 2024 14:05 4s
Iteration on TLC wrapper script Continuous Verification #20: Pull request #6513 synchronize by achamayou
October 1, 2024 14:05 21m 32s achamayou:tlc_cli
achamayou:tlc_cli
October 1, 2024 14:05 21m 32s
Iteration on TLC wrapper script Continuous Integration #728: Pull request #6513 synchronize by achamayou
October 1, 2024 14:05 33m 54s achamayou:tlc_cli
achamayou:tlc_cli
October 1, 2024 14:05 33m 54s
Check refinement of high-level spec abs with all models Long Test #241: Pull request #6509 synchronize by lemmy
October 1, 2024 13:59 5s lemmy:mku-refine
lemmy:mku-refine
October 1, 2024 13:59 5s
Check refinement of high-level spec abs with all models Continuous Integration #727: Pull request #6509 synchronize by lemmy
October 1, 2024 13:59 30m 9s lemmy:mku-refine
lemmy:mku-refine
October 1, 2024 13:59 30m 9s
Check refinement of high-level spec abs with all models Continuous Verification #19: Pull request #6509 synchronize by lemmy
October 1, 2024 13:59 20m 56s lemmy:mku-refine
lemmy:mku-refine
October 1, 2024 13:59 20m 56s
Check refinement of high-level spec abs with all models Long Verification #29: Pull request #6509 synchronize by lemmy
October 1, 2024 13:59 1h 58m 55s lemmy:mku-refine
lemmy:mku-refine
October 1, 2024 13:59 1h 58m 55s
Iteration on TLC wrapper script Long Verification #28: Pull request #6513 synchronize by achamayou
October 1, 2024 13:55 1h 13m 3s achamayou:tlc_cli
achamayou:tlc_cli
October 1, 2024 13:55 1h 13m 3s
Iteration on TLC wrapper script Continuous Verification #18: Pull request #6513 synchronize by achamayou
October 1, 2024 13:55 10m 48s achamayou:tlc_cli
achamayou:tlc_cli
October 1, 2024 13:55 10m 48s
Iteration on TLC wrapper script Continuous Integration #726: Pull request #6513 synchronize by achamayou
October 1, 2024 13:55 10m 44s achamayou:tlc_cli
achamayou:tlc_cli
October 1, 2024 13:55 10m 44s
Iteration on TLC wrapper script Long Test #240: Pull request #6513 synchronize by achamayou
October 1, 2024 13:55 4s achamayou:tlc_cli
achamayou:tlc_cli
October 1, 2024 13:55 4s
Iteration on TLC wrapper script Long Test #239: Pull request #6513 synchronize by achamayou
October 1, 2024 13:18 4s achamayou:tlc_cli
achamayou:tlc_cli
October 1, 2024 13:18 4s
Iteration on TLC wrapper script Long Verification #27: Pull request #6513 synchronize by achamayou
October 1, 2024 13:18 1h 20m 45s achamayou:tlc_cli
achamayou:tlc_cli
October 1, 2024 13:18 1h 20m 45s