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 StatsFile.tla Backport PR to LTS release branch(es) #2994: Pull request #6519 closed by achamayou
October 3, 2024 09:58 2s
October 3, 2024 09:58 2s
Remove StatsFile.tla (#6519) Bencher: Run Benchmarks #251: Commit c71b7ce pushed by github-merge-queue bot
October 3, 2024 09:58 12m 52s main
main
October 3, 2024 09:58 12m 52s
Remove StatsFile.tla (#6519) Doc #87: Commit c71b7ce pushed by github-merge-queue bot
October 3, 2024 09:58 5m 14s main
main
October 3, 2024 09:58 5m 14s
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 Verification #46: Pull request #6519 synchronize by achamayou
October 3, 2024 09:02 4h 20m 14s rm-statsfile
rm-statsfile
October 3, 2024 09:02 4h 20m 14s
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
Remove StatsFile.tla Long Verification #73: Pull request #6519 synchronize by achamayou
October 3, 2024 09:02 4s rm-statsfile
rm-statsfile
October 3, 2024 09:02 4s
Remove StatsFile.tla Long Test #287: Pull request #6519 synchronize by achamayou
October 3, 2024 09:02 5s rm-statsfile
rm-statsfile
October 3, 2024 09:02 5s
Long Test Long Test #286: Scheduled
October 3, 2024 00:01 4s main
main
October 3, 2024 00:01 4s
End to end test for CBOR proof Backport PR to LTS release branch(es) #2993: Pull request #6499 closed by achamayou
October 2, 2024 20:42 2s
October 2, 2024 20:42 2s
End to end test for CBOR proof (#6499) Doc #86: Commit fa850a6 pushed by github-merge-queue bot
October 2, 2024 20:42 5m 4s main
main
October 2, 2024 20:42 5m 4s
End to end test for CBOR proof (#6499) Bencher: Run Benchmarks #250: Commit fa850a6 pushed by github-merge-queue bot
October 2, 2024 20:42 13m 42s main
main
October 2, 2024 20:42 13m 42s
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 Long Test #285: Pull request #6519 labeled by heidihoward
October 2, 2024 20:01 5s rm-statsfile
rm-statsfile
October 2, 2024 20:01 5s
Remove StatsFile.tla Long Verification #72: Pull request #6519 labeled by heidihoward
October 2, 2024 20:01 4s rm-statsfile
rm-statsfile
October 2, 2024 20:01 4s
Remove StatsFile.tla Continuous Verification #45: Pull request #6519 opened by heidihoward
October 2, 2024 20:01 4h 18m 54s rm-statsfile
rm-statsfile
October 2, 2024 20:01 4h 18m 54s
Remove StatsFile.tla Long Test #284: Pull request #6519 opened by heidihoward
October 2, 2024 20:01 4s rm-statsfile
rm-statsfile
October 2, 2024 20:01 4s
Remove StatsFile.tla Long Verification #71: Pull request #6519 opened by heidihoward
October 2, 2024 20:01 4s rm-statsfile
rm-statsfile
October 2, 2024 20:01 4s
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
Remove StatsFile.tla Backport PR to LTS release branch(es) #2992: Pull request #6519 labeled by heidihoward
October 2, 2024 20:01 3s
October 2, 2024 20:01 3s
Remove writing state-space statistics after the demise of cimetrics. Backport PR to LTS release branch(es) #2991: Pull request #6518 closed by achamayou
October 2, 2024 17:28 2s
October 2, 2024 17:28 2s
Remove writing state-space statistics after the demise of cimetrics. … Doc #85: Commit e0a9ea3 pushed by github-merge-queue bot
October 2, 2024 17:28 5m 16s main
main
October 2, 2024 17:28 5m 16s
Remove writing state-space statistics after the demise of cimetrics. … Bencher: Run Benchmarks #249: Commit e0a9ea3 pushed by github-merge-queue bot
October 2, 2024 17:28 14m 23s main
main
October 2, 2024 17:28 14m 23s
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 Verification #44: Pull request #6518 synchronize by lemmy
October 2, 2024 16:31 4h 16m 43s lemmy:mku-statsfile
lemmy:mku-statsfile
October 2, 2024 16:31 4h 16m 43s