Skip to content

Actions: microsoft/CCF

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
15,636 workflow runs
15,636 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove writing state-space statistics after the demise of cimetrics. Continuous Integration #770: Pull request #6518 synchronize by lemmy
October 2, 2024 16:31 28m 35s lemmy:mku-statsfile
lemmy:mku-statsfile
October 2, 2024 16:31 28m 35s
Remove writing state-space statistics after the demise of cimetrics. Long Verification #70: Pull request #6518 synchronize by lemmy
October 2, 2024 16:31 3s lemmy:mku-statsfile
lemmy:mku-statsfile
October 2, 2024 16:31 3s
Remove writing state-space statistics after the demise of cimetrics. Long Test #283: Pull request #6518 synchronize by lemmy
October 2, 2024 16:31 3s lemmy:mku-statsfile
lemmy:mku-statsfile
October 2, 2024 16:31 3s
Remove writing state-space statistics after the demise of cimetrics. Long Test #282: Pull request #6518 opened by lemmy
October 2, 2024 16:25 3s lemmy:mku-statsfile
lemmy:mku-statsfile
October 2, 2024 16:25 3s
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
Remove writing state-space statistics after the demise of cimetrics. Long Verification #69: Pull request #6518 opened by lemmy
October 2, 2024 16:25 3s lemmy:mku-statsfile
lemmy:mku-statsfile
October 2, 2024 16:25 3s
Remove writing state-space statistics after the demise of cimetrics. Continuous Integration #769: Pull request #6518 opened by lemmy
October 2, 2024 16:25 5m 55s lemmy:mku-statsfile
lemmy:mku-statsfile
October 2, 2024 16:25 5m 55s
End to end test for CBOR proof Long Verification #68: Pull request #6499 synchronize by achamayou
October 2, 2024 15:59 3s achamayou:update_proof_label_values
achamayou:update_proof_label_values
October 2, 2024 15:59 3s
End to end test for CBOR proof Continuous Integration #768: Pull request #6499 synchronize by achamayou
October 2, 2024 15:59 27m 23s achamayou:update_proof_label_values
achamayou:update_proof_label_values
October 2, 2024 15:59 27m 23s
End to end test for CBOR proof Long Test #281: Pull request #6499 synchronize by achamayou
October 2, 2024 15:59 4s achamayou:update_proof_label_values
achamayou:update_proof_label_values
October 2, 2024 15:59 4s
Check refinement of high-level spec abs with all models Backport PR to LTS release branch(es) #2990: Pull request #6509 closed by lemmy
October 2, 2024 15:53 2s
October 2, 2024 15:53 2s
Check refinement of high-level spec abs with all models (#6509) Doc #84: Commit 76b2dcf pushed by github-merge-queue bot
October 2, 2024 15:53 5m 25s main
main
October 2, 2024 15:53 5m 25s
Check refinement of high-level spec abs with all models (#6509) Bencher: Run Benchmarks #248: Commit 76b2dcf pushed by github-merge-queue bot
October 2, 2024 15:53 12m 50s main
main
October 2, 2024 15:53 12m 50s
Continuous Integration Continuous Integration #767: Merge group checks requested
October 2, 2024 15:25 27m 25s
October 2, 2024 15:25 27m 25s
Check refinement of high-level spec abs with all models Long Verification #67: Pull request #6509 synchronize by achamayou
October 2, 2024 14:57 51m 6s lemmy:mku-refine
lemmy:mku-refine
October 2, 2024 14:57 51m 6s
Check refinement of high-level spec abs with all models Long Test #280: Pull request #6509 synchronize by achamayou
October 2, 2024 14:57 4s lemmy:mku-refine
lemmy:mku-refine
October 2, 2024 14:57 4s
Check refinement of high-level spec abs with all models Continuous Integration #766: Pull request #6509 synchronize by achamayou
October 2, 2024 14:57 27m 23s lemmy:mku-refine
lemmy:mku-refine
October 2, 2024 14:57 27m 23s
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 Integration #765: Pull request #6509 synchronize by achamayou
October 2, 2024 14:49 8m 38s lemmy:mku-refine
lemmy:mku-refine
October 2, 2024 14:49 8m 38s
Check refinement of high-level spec abs with all models Long Verification #66: Pull request #6509 synchronize by achamayou
October 2, 2024 14:49 52m 20s lemmy:mku-refine
lemmy:mku-refine
October 2, 2024 14:49 52m 20s
Check refinement of high-level spec abs with all models Long Test #279: Pull request #6509 synchronize by achamayou
October 2, 2024 14:49 5s lemmy:mku-refine
lemmy:mku-refine
October 2, 2024 14:49 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
End to end test for CBOR proof Continuous Integration #764: Pull request #6499 synchronize by achamayou
October 2, 2024 14:33 27m 39s achamayou:update_proof_label_values
achamayou:update_proof_label_values
October 2, 2024 14:33 27m 39s
End to end test for CBOR proof Long Verification #65: Pull request #6499 synchronize by achamayou
October 2, 2024 14:33 3s achamayou:update_proof_label_values
achamayou:update_proof_label_values
October 2, 2024 14:33 3s
End to end test for CBOR proof Long Test #278: Pull request #6499 synchronize by achamayou
October 2, 2024 14:33 3s achamayou:update_proof_label_values
achamayou:update_proof_label_values
October 2, 2024 14:33 3s