Skip to content

Actions: IntersectMBO/ouroboros-consensus

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

consensus: annotate headers with their slot's RelativeTime CI #4922: Pull request #1288 synchronize by nfrisby
December 18, 2024 16:59 35m 6s dnadales/annotate-headers-with-time
dnadales/annotate-headers-with-time
December 18, 2024 16:59 35m 6s
consensus: annotate headers with their slot's RelativeTime CI #4921: Pull request #1288 synchronize by nfrisby
December 18, 2024 14:49 41m 40s dnadales/annotate-headers-with-time
dnadales/annotate-headers-with-time
December 18, 2024 14:49 41m 40s
consensus: annotate headers with their slot's RelativeTime CI #4920: Pull request #1288 synchronize by nfrisby
December 18, 2024 14:36 11m 47s dnadales/annotate-headers-with-time
dnadales/annotate-headers-with-time
December 18, 2024 14:36 11m 47s
Generate Haskell code from the Agda spec CI #4919: Pull request #1315 synchronize by geo2a
December 18, 2024 11:22 38m 55s javierdiaz72/agda-spec-to-haskell
javierdiaz72/agda-spec-to-haskell
December 18, 2024 11:22 38m 55s
Use a script to check cabal files in GH actions (#1346) CI #4918: Commit e717d56 pushed by github-merge-queue bot
December 18, 2024 10:46 1h 27m 29s main
main
December 18, 2024 10:46 1h 27m 29s
CI CI #4917: Merge group checks requested
December 18, 2024 10:43 38m 57s
December 18, 2024 10:43 38m 57s
Generate Haskell code from the Agda spec CI #4916: Pull request #1315 synchronize by geo2a
December 18, 2024 10:41 40m 35s javierdiaz72/agda-spec-to-haskell
javierdiaz72/agda-spec-to-haskell
December 18, 2024 10:41 40m 35s
Generate Haskell code from the Agda spec CI #4915: Pull request #1315 synchronize by geo2a
December 18, 2024 10:20 21m 19s javierdiaz72/agda-spec-to-haskell
javierdiaz72/agda-spec-to-haskell
December 18, 2024 10:20 21m 19s
Use a script to check cabal files in GH actions CI #4914: Pull request #1346 opened by geo2a
December 18, 2024 10:03 38m 11s geo2a/issue-HOTFIX-cabal-check-with-script
geo2a/issue-HOTFIX-cabal-check-with-script
December 18, 2024 10:03 38m 11s
Generate Haskell code from the Agda spec CI #4913: Pull request #1315 synchronize by geo2a
December 18, 2024 09:57 23m 22s javierdiaz72/agda-spec-to-haskell
javierdiaz72/agda-spec-to-haskell
December 18, 2024 09:57 23m 22s
Generate Haskell code from the Agda spec CI #4912: Pull request #1315 synchronize by geo2a
December 18, 2024 09:48 9m 45s javierdiaz72/agda-spec-to-haskell
javierdiaz72/agda-spec-to-haskell
December 18, 2024 09:48 9m 45s
Generate Haskell code from the Agda spec CI #4911: Pull request #1315 synchronize by geo2a
December 18, 2024 09:24 24m 19s javierdiaz72/agda-spec-to-haskell
javierdiaz72/agda-spec-to-haskell
December 18, 2024 09:24 24m 19s
Integrate cardano-ledger releases CI #4910: Pull request #1345 opened by neilmayhew
December 18, 2024 05:28 1h 45m 46s neilmayhew/integrate-ledger
neilmayhew/integrate-ledger
December 18, 2024 05:28 1h 45m 46s
CI CI #4909: Scheduled
December 18, 2024 00:19 48m 28s main
main
December 18, 2024 00:19 48m 28s
Generate Haskell code from the Agda spec CI #4908: Pull request #1315 synchronize by javierdiaz72
December 17, 2024 22:17 38m 40s javierdiaz72/agda-spec-to-haskell
javierdiaz72/agda-spec-to-haskell
December 17, 2024 22:17 38m 40s
CI CI #4907: Scheduled
December 17, 2024 00:19 47m 54s main
main
December 17, 2024 00:19 47m 54s
Generate Haskell code from the Agda spec CI #4906: Pull request #1315 synchronize by geo2a
December 16, 2024 08:58 39m 26s javierdiaz72/agda-spec-to-haskell
javierdiaz72/agda-spec-to-haskell
December 16, 2024 08:58 39m 26s
CI CI #4905: Scheduled
December 16, 2024 00:20 48m 43s main
main
December 16, 2024 00:20 48m 43s
CI CI #4904: Scheduled
December 15, 2024 00:21 1h 2m 57s main
main
December 15, 2024 00:21 1h 2m 57s
CI CI #4903: Scheduled
December 14, 2024 00:19 56m 26s main
main
December 14, 2024 00:19 56m 26s
Integrate ouroboros-network CI #4902: Pull request #1314 synchronize by neilmayhew
December 13, 2024 22:30 43m 24s neilmayhew/release-srp
neilmayhew/release-srp
December 13, 2024 22:30 43m 24s
Integrate ouroboros-network 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 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