Skip to content

Actions: microsoft/CCF

Actions

Continuous Integration

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
776 workflow runs
776 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[WIP] [DRAFT] COSE back-endorsements Continuous Integration #776: Pull request #6510 synchronize by maxtropets
October 3, 2024 17:34 25m 53s maxtropets:f/6500-cose-service-identity-endorsements
maxtropets:f/6500-cose-service-identity-endorsements
October 3, 2024 17:34 25m 53s
Continuous Integration Continuous Integration #775: Merge group checks requested
October 3, 2024 09:31 26m 43s
October 3, 2024 09:31 26m 43s
Remove StatsFile.tla Continuous Integration #774: Pull request #6519 synchronize by achamayou
October 3, 2024 09:02 29m 3s rm-statsfile
rm-statsfile
October 3, 2024 09:02 29m 3s
Continuous Integration Continuous Integration #773: Merge group checks requested
October 2, 2024 20:14 27m 27s
October 2, 2024 20:14 27m 27s
Remove StatsFile.tla Continuous Integration #772: Pull request #6519 opened by heidihoward
October 2, 2024 20:01 28m 31s rm-statsfile
rm-statsfile
October 2, 2024 20:01 28m 31s
Continuous Integration Continuous Integration #771: Merge group checks requested
October 2, 2024 17:00 27m 20s
October 2, 2024 17:00 27m 20s
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. 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 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
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 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 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
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 Continuous Integration #763: Pull request #6499 synchronize by achamayou
October 2, 2024 13:41 27m 4s achamayou:update_proof_label_values
achamayou:update_proof_label_values
October 2, 2024 13:41 27m 4s
Continuous Integration Continuous Integration #762: Merge group checks requested
October 2, 2024 13:29 26m 50s
October 2, 2024 13:29 26m 50s
End to end test for CBOR proof Continuous Integration #761: Pull request #6499 synchronize by achamayou
October 2, 2024 13:00 8m 44s achamayou:update_proof_label_values
achamayou:update_proof_label_values
October 2, 2024 13:00 8m 44s
End to end test for CBOR proof Continuous Integration #760: Pull request #6499 synchronize by achamayou
October 2, 2024 12:22 23m 51s achamayou:update_proof_label_values
achamayou:update_proof_label_values
October 2, 2024 12:22 23m 51s
[WIP] [DRAFT] COSE back-endorsements Continuous Integration #759: Pull request #6510 synchronize by maxtropets
October 2, 2024 12:10 27m 50s maxtropets:f/6500-cose-service-identity-endorsements
maxtropets:f/6500-cose-service-identity-endorsements
October 2, 2024 12:10 27m 50s
Assert (postcondition) that all "debug invariants" equal true in at least one state. Continuous Integration #758: Pull request #6517 synchronize by achamayou
October 2, 2024 11:47 27m 36s lemmy:mku-debuginvariants
lemmy:mku-debuginvariants
October 2, 2024 11:47 27m 36s
Check refinement of high-level spec abs with all models Continuous Integration #757: Pull request #6509 synchronize by achamayou
October 2, 2024 11:45 26m 51s lemmy:mku-refine
lemmy:mku-refine
October 2, 2024 11:45 26m 51s
Continuous Integration Continuous Integration #756: Merge group checks requested
October 2, 2024 11:15 27m 18s
October 2, 2024 11:15 27m 18s
Iteration on TLC wrapper script Continuous Integration #755: Pull request #6513 synchronize by achamayou
October 2, 2024 10:48 27m 31s achamayou:tlc_cli
achamayou:tlc_cli
October 2, 2024 10:48 27m 31s
Iteration on TLC wrapper script Continuous Integration #754: Pull request #6513 synchronize by achamayou
October 2, 2024 10:36 12m 1s achamayou:tlc_cli
achamayou:tlc_cli
October 2, 2024 10:36 12m 1s
[WIP] [DRAFT] COSE back-endorsements Continuous Integration #753: Pull request #6510 synchronize by maxtropets
October 2, 2024 09:58 30m 41s maxtropets:f/6500-cose-service-identity-endorsements
maxtropets:f/6500-cose-service-identity-endorsements
October 2, 2024 09:58 30m 41s
Continuous Integration Continuous Integration #752: Merge group checks requested
October 2, 2024 08:57 28m 23s
October 2, 2024 08:57 28m 23s