Skip to content

Actions: microsoft/CCF

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
9,719 workflow run results
9,719 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Verification
Verification #2060: Scheduled
July 21, 2024 00:26 4m 51s main
July 21, 2024 00:26 4m 51s
Continuous Integration
Continuous Integration #198: Scheduled
July 21, 2024 00:12 33m 47s main
July 21, 2024 00:12 33m 47s
CodeQL
CodeQL #2973: Scheduled
July 21, 2024 00:01 26m 41s main
July 21, 2024 00:01 26m 41s
Rename job for readability
Continuous Integration #197: Pull request #6377 synchronize by eddyashton
July 19, 2024 15:32 34m 6s eddyashton:rename_gha_job
July 19, 2024 15:32 34m 6s
Rename job for readability
Continuous Integration #196: Pull request #6377 opened by eddyashton
July 19, 2024 15:29 2m 56s eddyashton:rename_gha_job
July 19, 2024 15:29 2m 56s
Upgrade ccf python package to pyproject.toml
Continuous Integration #195: Pull request #6376 synchronize by achamayou
July 19, 2024 15:27 33m 43s achamayou:upgrade_python_packaging
July 19, 2024 15:27 33m 43s
Upgrade ccf python package to pyproject.toml
Continuous Integration #194: Pull request #6376 synchronize by achamayou
July 19, 2024 15:03 22m 29s achamayou:upgrade_python_packaging
July 19, 2024 15:03 22m 29s
Move TLA+ from ADO to GHA
Verification #2059: Pull request #6369 synchronize by maxtropets
July 19, 2024 13:55 1h 13m 43s maxtropets:f/tla-plus-consensus-gh
July 19, 2024 13:55 1h 13m 43s
Move TLA+ from ADO to GHA
Continuous Integration #193: Pull request #6369 synchronize by maxtropets
July 19, 2024 13:55 34m 38s maxtropets:f/tla-plus-consensus-gh
July 19, 2024 13:55 34m 38s
Upgrade ccf python package to pyproject.toml
Continuous Integration #192: Pull request #6376 synchronize by achamayou
July 19, 2024 13:44 2m 34s achamayou:upgrade_python_packaging
July 19, 2024 13:44 2m 34s
Upgrade ccf python package to pyproject.toml
Continuous Integration #191: Pull request #6376 synchronize by achamayou
July 19, 2024 13:44 25s achamayou:upgrade_python_packaging
July 19, 2024 13:44 25s
Move TLA+ from ADO to GHA
Verification #2058: Pull request #6369 synchronize by achamayou
July 19, 2024 13:33 1h 15m 28s maxtropets:f/tla-plus-consensus-gh
July 19, 2024 13:33 1h 15m 28s
Move TLA+ from ADO to GHA
Continuous Integration #190: Pull request #6369 synchronize by achamayou
July 19, 2024 13:33 22m 30s 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 gh-pages
July 19, 2024 13:32 31s
Move TLA+ from ADO to GHA
Verification #2057: Pull request #6369 synchronize by maxtropets
July 19, 2024 13:30 2m 59s maxtropets:f/tla-plus-consensus-gh
July 19, 2024 13:30 2m 59s
Move TLA+ from ADO to GHA
Continuous Integration #189: Pull request #6369 synchronize by maxtropets
July 19, 2024 13:30 2m 50s maxtropets:f/tla-plus-consensus-gh
July 19, 2024 13:30 2m 50s
Upgrade ccf python package to pyproject.toml
Continuous Integration #188: Pull request #6376 synchronize by achamayou
July 19, 2024 13:27 2m 15s 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
July 19, 2024 13:24 12m 0s
Upgrade ccf python package to pyproject.toml
Continuous Integration #187: Pull request #6376 opened by achamayou
July 19, 2024 13:17 1m 47s achamayou:upgrade_python_packaging
July 19, 2024 13:17 1m 47s
Continuous Integration
Continuous Integration #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
Continuous Integration #185: Pull request #6369 synchronize by maxtropets
July 19, 2024 12:11 34m 19s maxtropets:f/tla-plus-consensus-gh
July 19, 2024 12:11 34m 19s
Move TLA+ from ADO to GHA
Verification #2056: Pull request #6369 synchronize by maxtropets
July 19, 2024 12:11 1h 19m 2s maxtropets:f/tla-plus-consensus-gh
July 19, 2024 12:11 1h 19m 2s
Move TLA+ from ADO to GHA
Verification #2055: Pull request #6369 synchronize by maxtropets
July 19, 2024 12:01 10m 29s maxtropets:f/tla-plus-consensus-gh
July 19, 2024 12:01 10m 29s
Move TLA+ from ADO to GHA
Continuous Integration #184: Pull request #6369 synchronize by maxtropets
July 19, 2024 12:01 10m 18s maxtropets:f/tla-plus-consensus-gh
July 19, 2024 12:01 10m 18s