Skip to content

Actions: microsoft/CCF

Actions

Long Verification

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
long-verification.yml
638 workflow runs
638 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

End to end test for CBOR proof Long Verification #63: Pull request #6499 synchronize by achamayou
October 2, 2024 13:00 3s achamayou:update_proof_label_values
achamayou:update_proof_label_values
October 2, 2024 13:00 3s
End to end test for CBOR proof Long Verification #62: Pull request #6499 synchronize by achamayou
October 2, 2024 12:22 3s achamayou:update_proof_label_values
achamayou:update_proof_label_values
October 2, 2024 12:22 3s
COSE back-endorsements for previous service identities Long Verification #61: Pull request #6510 synchronize by maxtropets
October 2, 2024 12:10 3s maxtropets:f/6500-cose-service-identity-endorsements
maxtropets:f/6500-cose-service-identity-endorsements
October 2, 2024 12:10 3s
Assert (postcondition) that all "debug invariants" equal true in at least one state. Long Verification #60: Pull request #6517 synchronize by achamayou
October 2, 2024 11:47 1h 53m 39s lemmy:mku-debuginvariants
lemmy:mku-debuginvariants
October 2, 2024 11:47 1h 53m 39s
Check refinement of high-level spec abs with all models Long Verification #59: Pull request #6509 synchronize by achamayou
October 2, 2024 11:45 50m 53s lemmy:mku-refine
lemmy:mku-refine
October 2, 2024 11:45 50m 53s
Iteration on TLC wrapper script Long Verification #58: Pull request #6513 synchronize by achamayou
October 2, 2024 10:48 1h 13m 18s achamayou:tlc_cli
achamayou:tlc_cli
October 2, 2024 10:48 1h 13m 18s
Iteration on TLC wrapper script Long Verification #57: Pull request #6513 synchronize by achamayou
October 2, 2024 10:36 1h 15m 32s achamayou:tlc_cli
achamayou:tlc_cli
October 2, 2024 10:36 1h 15m 32s
COSE back-endorsements for previous service identities Long Verification #56: Pull request #6510 synchronize by maxtropets
October 2, 2024 09:58 2s maxtropets:f/6500-cose-service-identity-endorsements
maxtropets:f/6500-cose-service-identity-endorsements
October 2, 2024 09:58 2s
Fix historical TX requests for previous epochs during recovery Long Verification #55: Pull request #6507 synchronize by achamayou
October 2, 2024 08:28 3s maxtropets:f/6505-error-receipt-500-when-recovery
maxtropets:f/6505-error-receipt-500-when-recovery
October 2, 2024 08:28 3s
Iteration on TLC wrapper script Long Verification #54: Pull request #6513 synchronize by achamayou
October 2, 2024 08:26 1h 11m 56s achamayou:tlc_cli
achamayou:tlc_cli
October 2, 2024 08:26 1h 11m 56s
Iteration on TLC wrapper script Long Verification #53: Pull request #6513 synchronize by achamayou
October 2, 2024 08:24 50m 58s achamayou:tlc_cli
achamayou:tlc_cli
October 2, 2024 08:24 50m 58s
Iteration on TLC wrapper script Long Verification #52: Pull request #6513 synchronize by achamayou
October 2, 2024 08:23 50m 44s achamayou:tlc_cli
achamayou:tlc_cli
October 2, 2024 08:23 50m 44s
Iteration on TLC wrapper script Long Verification #51: Pull request #6513 synchronize by achamayou
October 2, 2024 08:20 50m 55s achamayou:tlc_cli
achamayou:tlc_cli
October 2, 2024 08:20 50m 55s
Iteration on TLC wrapper script Long Verification #50: Pull request #6513 synchronize by achamayou
October 2, 2024 08:19 1h 14m 58s achamayou:tlc_cli
achamayou:tlc_cli
October 2, 2024 08:19 1h 14m 58s
Assert (postcondition) that all "debug invariants" equal true in at least one state. Long Verification #49: Pull request #6517 labeled by lemmy
October 2, 2024 00:49 1h 55m 54s lemmy:mku-debuginvariants
lemmy:mku-debuginvariants
October 2, 2024 00:49 1h 55m 54s
Assert (postcondition) that all "debug invariants" equal true in at least one state. Long Verification #48: Pull request #6517 labeled by lemmy
October 2, 2024 00:49 2h 0m 52s lemmy:mku-debuginvariants
lemmy:mku-debuginvariants
October 2, 2024 00:49 2h 0m 52s
Assert (postcondition) that all "debug invariants" equal true in at least one state. Long Verification #47: Pull request #6517 opened by lemmy
October 2, 2024 00:49 2h 0m 42s lemmy:mku-debuginvariants
lemmy:mku-debuginvariants
October 2, 2024 00:49 2h 0m 42s
Fix historical TX requests for previous epochs during recovery Long Verification #46: Pull request #6507 synchronize by maxtropets
October 1, 2024 22:51 3s maxtropets:f/6505-error-receipt-500-when-recovery
maxtropets:f/6505-error-receipt-500-when-recovery
October 1, 2024 22:51 3s
Iteration on TLC wrapper script Long Verification #45: Pull request #6513 synchronize by achamayou
October 1, 2024 17:55 1h 12m 3s achamayou:tlc_cli
achamayou:tlc_cli
October 1, 2024 17:55 1h 12m 3s
Iteration on TLC wrapper script Long Verification #44: Pull request #6513 synchronize by achamayou
October 1, 2024 17:45 1h 13m 15s achamayou:tlc_cli
achamayou:tlc_cli
October 1, 2024 17:45 1h 13m 15s
Iteration on TLC wrapper script Long Verification #43: Pull request #6513 synchronize by achamayou
October 1, 2024 16:35 1h 14m 8s achamayou:tlc_cli
achamayou:tlc_cli
October 1, 2024 16:35 1h 14m 8s
Fix historical TX requests for previous epochs during recovery Long Verification #42: Pull request #6507 synchronize by maxtropets
October 1, 2024 16:25 3s maxtropets:f/6505-error-receipt-500-when-recovery
maxtropets:f/6505-error-receipt-500-when-recovery
October 1, 2024 16:25 3s
COSE back-endorsements for previous service identities Long Verification #41: Pull request #6510 synchronize by maxtropets
October 1, 2024 15:56 4s maxtropets:f/6500-cose-service-identity-endorsements
maxtropets:f/6500-cose-service-identity-endorsements
October 1, 2024 15:56 4s
COSE back-endorsements for previous service identities Long Verification #40: Pull request #6510 synchronize by maxtropets
October 1, 2024 15:46 4s maxtropets:f/6500-cose-service-identity-endorsements
maxtropets:f/6500-cose-service-identity-endorsements
October 1, 2024 15:46 4s
Iteration on TLC wrapper script Long Verification #39: Pull request #6513 synchronize by achamayou
October 1, 2024 15:08 1h 36m 15s achamayou:tlc_cli
achamayou:tlc_cli
October 1, 2024 15:08 1h 36m 15s
ProTip! You can narrow down the results and go further in time using created:<2024-10-01 or the other filters available.