Skip to content

Actions: IntersectMBO/ouroboros-consensus

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
4,188 workflow runs
4,188 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Integrate ouroboros-network and cardano-ledger CI #4901: Pull request #1314 synchronize by neilmayhew
December 13, 2024 15:23 1h 30m 50s neilmayhew/release-srp
neilmayhew/release-srp
December 13, 2024 15:23 1h 30m 50s
Integrate ouroboros-network and cardano-ledger CI #4900: Pull request #1314 synchronize by neilmayhew
December 13, 2024 15:06 17m 20s neilmayhew/release-srp
neilmayhew/release-srp
December 13, 2024 15:06 17m 20s
Integrate the Haskell code emitted from agda-spec into CI CI #4899: Pull request #1344 synchronize by geo2a
December 13, 2024 11:36 37m 49s geo2a/issue-1312-agda-spec
geo2a/issue-1312-agda-spec
December 13, 2024 11:36 37m 49s
Integrate the Haskell code emitted from agda-spec into CI CI #4898: Pull request #1344 opened by geo2a
December 13, 2024 10:56 38m 2s geo2a/issue-1312-agda-spec
geo2a/issue-1312-agda-spec
December 13, 2024 10:56 38m 2s
CI CI #4897: Scheduled
December 13, 2024 00:20 50m 51s main
main
December 13, 2024 00:20 50m 51s
Integrate ouroboros-network and cardano-ledger CI #4896: Pull request #1314 synchronize by neilmayhew
December 12, 2024 22:41 37m 31s neilmayhew/release-srp
neilmayhew/release-srp
December 12, 2024 22:41 37m 31s
Integrate ouroboros-network and cardano-ledger CI #4895: Pull request #1314 synchronize by neilmayhew
December 12, 2024 21:14 1h 27m 26s neilmayhew/release-srp
neilmayhew/release-srp
December 12, 2024 21:14 1h 27m 26s
Generate Haskell code from the Agda spec CI #4894: Pull request #1315 synchronize by javierdiaz72
December 12, 2024 19:14 40m 50s javierdiaz72/agda-spec-to-haskell
javierdiaz72/agda-spec-to-haskell
December 12, 2024 19:14 40m 50s
Generate Haskell code from the Agda spec CI #4893: Pull request #1315 synchronize by javierdiaz72
December 12, 2024 19:07 7m 38s javierdiaz72/agda-spec-to-haskell
javierdiaz72/agda-spec-to-haskell
December 12, 2024 19:07 7m 38s
Generate Haskell code from the Agda spec CI #4892: Pull request #1315 synchronize by javierdiaz72
December 12, 2024 19:05 2m 2s javierdiaz72/agda-spec-to-haskell
javierdiaz72/agda-spec-to-haskell
December 12, 2024 19:05 2m 2s
Generate Haskell code from the Agda spec CI #4891: Pull request #1315 synchronize by javierdiaz72
December 12, 2024 19:03 3m 0s javierdiaz72/agda-spec-to-haskell
javierdiaz72/agda-spec-to-haskell
December 12, 2024 19:03 3m 0s
Generate Haskell code from the Agda spec CI #4890: Pull request #1315 synchronize by javierdiaz72
December 12, 2024 18:57 6m 14s javierdiaz72/agda-spec-to-haskell
javierdiaz72/agda-spec-to-haskell
December 12, 2024 18:57 6m 14s
Change serialization of OneEraGenTxId to treat it as though it's simply a ShortByteString CI #4889: Pull request #1311 synchronize by fraser-iohk
December 12, 2024 12:22 37m 54s fraser-iohk/one-era-gen-tx-id-bytestring
fraser-iohk/one-era-gen-tx-id-bytestring
December 12, 2024 12:22 37m 54s
CI CI #4888: Scheduled
December 12, 2024 00:19 51m 16s main
main
December 12, 2024 00:19 51m 16s
Integrate ouroboros-network and cardano-ledger CI #4887: Pull request #1314 synchronize by neilmayhew
December 11, 2024 17:54 3m 10s neilmayhew/release-srp
neilmayhew/release-srp
December 11, 2024 17:54 3m 10s
Update CI changelog checking script to ignore unstable components (… CI #4886: Commit c0564af pushed by github-merge-queue bot
December 11, 2024 12:21 1h 42m 18s main
main
December 11, 2024 12:21 1h 42m 18s
CI CI #4885: Merge group checks requested
December 11, 2024 11:54 1h 2m 40s
December 11, 2024 11:54 1h 2m 40s
CI CI #4884: Scheduled
December 11, 2024 00:19 54m 19s main
main
December 11, 2024 00:19 54m 19s
Update CI changelog checking script to ignore unstable components CI #4883: Pull request #1342 synchronize by jasagredo
December 10, 2024 15:00 39m 9s js/changelog-script
js/changelog-script
December 10, 2024 15:00 39m 9s
Calculate and compare CRC when writing and reading ledger snapshots (… CI #4882: Commit 24e48cc pushed by github-merge-queue bot
December 10, 2024 14:53 1h 30m 26s main
main
December 10, 2024 14:53 1h 30m 26s
CI CI #4881: Merge group checks requested
December 10, 2024 14:44 40m 55s
December 10, 2024 14:44 40m 55s
Calculate and compare CRC when writing and reading ledger snapshots CI #4880: Pull request #1319 synchronize by geo2a
December 10, 2024 14:35 40m 35s 892-checksum-snaphot-file
892-checksum-snaphot-file
December 10, 2024 14:35 40m 35s
Update CI changelog checking script to ignore unstable components CI #4879: Pull request #1342 synchronize by jasagredo
December 10, 2024 14:35 25m 55s js/changelog-script
js/changelog-script
December 10, 2024 14:35 25m 55s
Update docusaurus (#1341) CI #4878: Commit 236b0ee pushed by github-merge-queue bot
December 10, 2024 14:33 19m 43s main
main
December 10, 2024 14:33 19m 43s
Update CI changelog checking script to ignore unstable components CI #4877: Pull request #1342 opened by jasagredo
December 10, 2024 14:33 2m 22s js/changelog-script
js/changelog-script
December 10, 2024 14:33 2m 22s