Skip to content

Actions: microsoft/CCF

Long Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
895 workflow runs
895 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Iteration on TLC wrapper script
Long Test #220: Pull request #6513 synchronize by achamayou
September 30, 2024 15:57 5s achamayou:tlc_cli
September 30, 2024 15:57 5s
Iteration on TLC wrapper script
Long Test #218: Pull request #6513 synchronize by achamayou
September 30, 2024 15:00 4s achamayou:tlc_cli
September 30, 2024 15:00 4s
Iteration on TLC wrapper script
Long Test #217: Pull request #6513 opened by achamayou
September 30, 2024 14:41 4s achamayou:tlc_cli
September 30, 2024 14:41 4s
Check refinement of high-level spec abs with all models
Long Test #213: Pull request #6509 synchronize by lemmy
September 30, 2024 13:26 6s lemmy:mku-refine
September 30, 2024 13:26 6s
Split Verification Jobs
Long Test #207: Pull request #6512 opened by achamayou
September 30, 2024 09:57 4s achamayou:split_verification_jobs
September 30, 2024 09:57 4s
End to end test for CBOR proof
Long Test #206: Pull request #6499 synchronize by achamayou
September 30, 2024 09:27 4s achamayou:update_proof_label_values
September 30, 2024 09:27 4s
End to end test for CBOR proof
Long Test #205: Pull request #6499 synchronize by achamayou
September 30, 2024 09:21 4s achamayou:update_proof_label_values
September 30, 2024 09:21 4s
Long Test
Long Test #204: Scheduled
September 30, 2024 00:01 3s main
September 30, 2024 00:01 3s
Minimize number of TLC configuration files.
Long Test #199: Pull request #6511 synchronize by lemmy
September 28, 2024 14:33 4s lemmy:mku-singleconfig
September 28, 2024 14:33 4s
Check refinement of high-level spec abs with all models
Long Test #198: Pull request #6509 synchronize by lemmy
September 28, 2024 05:08 4s lemmy:mku-refine
September 28, 2024 05:08 4s
Minimize number of TLC configuration files.
Long Test #197: Pull request #6511 synchronize by lemmy
September 28, 2024 04:19 3s lemmy:mku-singleconfig
September 28, 2024 04:19 3s
Minimize number of TLC configuration files.
Long Test #196: Pull request #6511 synchronize by lemmy
September 28, 2024 04:15 3s lemmy:mku-singleconfig
September 28, 2024 04:15 3s
ProTip! You can narrow down the results and go further in time using created:<2024-09-28 or the other filters available.