Skip to content

Actions: IntersectMBO/ouroboros-consensus

Project checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
2,288 workflow runs
2,288 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Generate Haskell code from the Agda spec
Project checks #3168: Pull request #1315 synchronize by javierdiaz72
December 5, 2024 19:33 2m 51s javierdiaz72/agda-spec-to-haskell
December 5, 2024 19:33 2m 51s
Generate Haskell code from the Agda spec
Project checks #3167: Pull request #1315 synchronize by javierdiaz72
December 5, 2024 19:26 2m 50s javierdiaz72/agda-spec-to-haskell
December 5, 2024 19:26 2m 50s
Calculate and compare CRC when writing and reading ledger snapshots
Project checks #3166: Pull request #1319 synchronize by geo2a
December 5, 2024 14:11 2m 59s 892-checksum-snaphot-file
December 5, 2024 14:11 2m 59s
Calculate and compare CRC when writing and reading ledger snapshots
Project checks #3165: Pull request #1319 synchronize by geo2a
December 5, 2024 14:09 2m 12s 892-checksum-snaphot-file
December 5, 2024 14:09 2m 12s
Calculate and compare CRC when writing and reading ledger snapshots
Project checks #3164: Pull request #1319 synchronize by geo2a
December 5, 2024 10:50 2m 53s 892-checksum-snaphot-file
December 5, 2024 10:50 2m 53s
Calculate and compare CRC when writing and reading ledger snapshots
Project checks #3163: Pull request #1319 synchronize by geo2a
December 5, 2024 10:08 2m 52s 892-checksum-snaphot-file
December 5, 2024 10:08 2m 52s
Calculate and compare CRC when writing and reading ledger snapshots
Project checks #3162: Pull request #1319 synchronize by geo2a
December 5, 2024 08:51 3m 3s 892-checksum-snaphot-file
December 5, 2024 08:51 3m 3s
Calculate and compare CRC when writing and reading ledger snapshots
Project checks #3161: Pull request #1319 synchronize by geo2a
December 5, 2024 08:49 1m 32s 892-checksum-snaphot-file
December 5, 2024 08:49 1m 32s
Project checks
Project checks #3160: Merge group checks requested
December 4, 2024 15:02 3m 48s
December 4, 2024 15:02 3m 48s
Integrate ouroboros-network
Project checks #3159: Pull request #1314 synchronize by neilmayhew
December 4, 2024 14:57 36s neilmayhew/release-srp
December 4, 2024 14:57 36s
Calculate and compare CRC when writing and reading ledger snapshots
Project checks #3158: Pull request #1319 synchronize by geo2a
December 4, 2024 13:51 2m 47s 892-checksum-snaphot-file
December 4, 2024 13:51 2m 47s
Clarify that ChainSync-client-bench is comparative
Project checks #3157: Pull request #1338 synchronize by jorisdral
December 4, 2024 13:44 3m 5s jdral/clarify-chainsync-bench
December 4, 2024 13:44 3m 5s
Clarify that ChainSync-client-bench is comparative
Project checks #3156: Pull request #1338 opened by jorisdral
December 4, 2024 13:43 1m 33s jdral/clarify-chainsync-bench
December 4, 2024 13:43 1m 33s
Calculate and compare CRC when writing and reading ledger snapshots
Project checks #3154: Pull request #1319 synchronize by geo2a
December 4, 2024 12:21 3m 10s 892-checksum-snaphot-file
December 4, 2024 12:21 3m 10s
Integrate ouroboros-network
Project checks #3152: Pull request #1314 synchronize by neilmayhew
December 3, 2024 23:25 3m 4s neilmayhew/release-srp
December 3, 2024 23:25 3m 4s
Calculate and compare CRC when writing and reading ledger snapshots
Project checks #3150: Pull request #1319 synchronize by geo2a
December 3, 2024 07:53 2m 53s 892-checksum-snaphot-file
December 3, 2024 07:53 2m 53s
Project checks
Project checks #3149: Merge group checks requested
December 2, 2024 15:49 3m 26s
December 2, 2024 15:49 3m 26s
Documentation about Praos and the HFC/civic time
Project checks #3148: Pull request #1320 synchronize by nfrisby
December 2, 2024 15:12 2m 48s nfrisby/docs-CardanoPraos
December 2, 2024 15:12 2m 48s
Documentation about Praos and the HFC/civic time
Project checks #3147: Pull request #1320 synchronize by nfrisby
December 2, 2024 14:57 2m 54s nfrisby/docs-CardanoPraos
December 2, 2024 14:57 2m 54s
Documentation about Praos and the HFC/civic time
Project checks #3146: Pull request #1320 synchronize by nfrisby
December 2, 2024 14:52 2m 48s nfrisby/docs-CardanoPraos
December 2, 2024 14:52 2m 48s
Calculate and compare CRC when writing and reading ledger snapshots
Project checks #3144: Pull request #1319 synchronize by geo2a
December 2, 2024 10:37 2m 49s 892-checksum-snaphot-file
December 2, 2024 10:37 2m 49s