Skip to content

Actions: microsoft/CCF

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
16,112 workflow runs
16,112 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
TLA+ Spec Verification TLA+ Spec Verification #2060: Scheduled
July 21, 2024 00:26 4m 51s main
main
July 21, 2024 00:26 4m 51s
CI CI #198: Scheduled
July 21, 2024 00:12 33m 47s main
main
July 21, 2024 00:12 33m 47s
CodeQL CodeQL #2973: Scheduled
July 21, 2024 00:01 26m 41s main
main
July 21, 2024 00:01 26m 41s
Rename job for readability CI #197: Pull request #6377 synchronize by eddyashton
July 19, 2024 15:32 34m 6s eddyashton:rename_gha_job
eddyashton:rename_gha_job
July 19, 2024 15:32 34m 6s
Rename job for readability CI #196: Pull request #6377 opened by eddyashton
July 19, 2024 15:29 2m 56s eddyashton:rename_gha_job
eddyashton:rename_gha_job
July 19, 2024 15:29 2m 56s
Upgrade to modern Python packaging tools CI #195: Pull request #6376 synchronize by achamayou
July 19, 2024 15:27 33m 43s achamayou:upgrade_python_packaging
achamayou:upgrade_python_packaging
July 19, 2024 15:27 33m 43s
Upgrade to modern Python packaging tools CI #194: Pull request #6376 synchronize by achamayou
July 19, 2024 15:03 22m 29s achamayou:upgrade_python_packaging
achamayou:upgrade_python_packaging
July 19, 2024 15:03 22m 29s
Move TLA+ from ADO to GHA TLA+ Spec Verification #2059: Pull request #6369 synchronize by maxtropets
July 19, 2024 13:55 1h 13m 43s maxtropets:f/tla-plus-consensus-gh
maxtropets:f/tla-plus-consensus-gh
July 19, 2024 13:55 1h 13m 43s
Move TLA+ from ADO to GHA CI #193: Pull request #6369 synchronize by maxtropets
July 19, 2024 13:55 34m 38s maxtropets:f/tla-plus-consensus-gh
maxtropets:f/tla-plus-consensus-gh
July 19, 2024 13:55 34m 38s
Upgrade to modern Python packaging tools CI #192: Pull request #6376 synchronize by achamayou
July 19, 2024 13:44 2m 34s achamayou:upgrade_python_packaging
achamayou:upgrade_python_packaging
July 19, 2024 13:44 2m 34s
Upgrade to modern Python packaging tools CI #191: Pull request #6376 synchronize by achamayou
July 19, 2024 13:44 25s achamayou:upgrade_python_packaging
achamayou:upgrade_python_packaging
July 19, 2024 13:44 25s
Move TLA+ from ADO to GHA TLA+ Spec Verification #2058: Pull request #6369 synchronize by achamayou
July 19, 2024 13:33 1h 15m 28s maxtropets:f/tla-plus-consensus-gh
maxtropets:f/tla-plus-consensus-gh
July 19, 2024 13:33 1h 15m 28s
Move TLA+ from ADO to GHA CI #190: Pull request #6369 synchronize by achamayou
July 19, 2024 13:33 22m 30s maxtropets:f/tla-plus-consensus-gh
maxtropets:f/tla-plus-consensus-gh
July 19, 2024 13:33 22m 30s
pages build and deployment pages-build-deployment #1867: by olgavrou
July 19, 2024 13:32 31s
July 19, 2024 13:32 31s
Move TLA+ from ADO to GHA CI #189: Pull request #6369 synchronize by maxtropets
July 19, 2024 13:30 2m 50s maxtropets:f/tla-plus-consensus-gh
maxtropets:f/tla-plus-consensus-gh
July 19, 2024 13:30 2m 50s
Move TLA+ from ADO to GHA TLA+ Spec Verification #2057: Pull request #6369 synchronize by maxtropets
July 19, 2024 13:30 2m 59s maxtropets:f/tla-plus-consensus-gh
maxtropets:f/tla-plus-consensus-gh
July 19, 2024 13:30 2m 59s
Upgrade to modern Python packaging tools CI #188: Pull request #6376 synchronize by achamayou
July 19, 2024 13:27 2m 15s achamayou:upgrade_python_packaging
achamayou:upgrade_python_packaging
July 19, 2024 13:27 2m 15s
Reduce fail->info on missing session id on close Backport PR to LTS release branch(es) #2806: Pull request #6375 closed by achamayou
July 19, 2024 13:24 1s
July 19, 2024 13:24 1s
Reduce fail->info on missing session id on close (#6375) Bencher: Run Benchmarks #158: Commit b04d1a0 pushed by github-merge-queue bot
July 19, 2024 13:24 12m 0s main
main
July 19, 2024 13:24 12m 0s
Upgrade to modern Python packaging tools CI #187: Pull request #6376 opened by achamayou
July 19, 2024 13:17 1m 47s achamayou:upgrade_python_packaging
achamayou:upgrade_python_packaging
July 19, 2024 13:17 1m 47s
CI CI #186: Merge group checks requested
July 19, 2024 12:50 33m 46s
July 19, 2024 12:50 33m 46s
Move TLA+ from ADO to GHA CI #185: Pull request #6369 synchronize by maxtropets
July 19, 2024 12:11 34m 19s maxtropets:f/tla-plus-consensus-gh
maxtropets:f/tla-plus-consensus-gh
July 19, 2024 12:11 34m 19s
Move TLA+ from ADO to GHA TLA+ Spec Verification #2056: Pull request #6369 synchronize by maxtropets
July 19, 2024 12:11 1h 19m 2s maxtropets:f/tla-plus-consensus-gh
maxtropets:f/tla-plus-consensus-gh
July 19, 2024 12:11 1h 19m 2s
Move TLA+ from ADO to GHA CI #184: Pull request #6369 synchronize by maxtropets
July 19, 2024 12:01 10m 18s maxtropets:f/tla-plus-consensus-gh
maxtropets:f/tla-plus-consensus-gh
July 19, 2024 12:01 10m 18s
Move TLA+ from ADO to GHA TLA+ Spec Verification #2055: Pull request #6369 synchronize by maxtropets
July 19, 2024 12:01 10m 29s maxtropets:f/tla-plus-consensus-gh
maxtropets:f/tla-plus-consensus-gh
July 19, 2024 12:01 10m 29s