Skip to content

Actions: IntersectMBO/ouroboros-consensus

Actions

Project checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
checks.yml
2,487 workflow runs
2,487 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Decrease default permissible clock skew to 2s Project checks #2903: Pull request #1279 opened by amesgen
October 8, 2024 17:05 2m 37s amesgen/clock-skew-2-secs
amesgen/clock-skew-2-secs
October 8, 2024 17:05 2m 37s
WIP: UTxO-HD targeting main Project checks #2902: Pull request #1267 synchronize by jasagredo
October 8, 2024 12:59 15m 17s utxo-hd-main
utxo-hd-main
October 8, 2024 12:59 15m 17s
Project checks Project checks #2901: Merge group checks requested
October 7, 2024 18:43 3m 0s
October 7, 2024 18:43 3m 0s
Make all STSs in the Agda spec executable Project checks #2900: Pull request #1270 synchronize by javierdiaz72
October 7, 2024 17:59 2m 36s javierdiaz72/make-stss-computable
javierdiaz72/make-stss-computable
October 7, 2024 17:59 2m 36s
Make all STSs in the Agda spec executable Project checks #2899: Pull request #1270 synchronize by javierdiaz72
October 4, 2024 17:06 2m 34s javierdiaz72/make-stss-computable
javierdiaz72/make-stss-computable
October 4, 2024 17:06 2m 34s
Add a new GetFuturePParams query Project checks #2898: Pull request #1251 synchronize by crocodile-dentist
October 4, 2024 16:57 2m 58s dnadales/1204-add-query-future-pparams
dnadales/1204-add-query-future-pparams
October 4, 2024 16:57 2m 58s
Project checks Project checks #2897: Merge group checks requested
October 4, 2024 10:31 2m 39s
October 4, 2024 10:31 2m 39s
WIP: UTxO-HD targeting main Project checks #2896: Pull request #1267 synchronize by jasagredo
October 4, 2024 10:02 2m 43s utxo-hd-main
utxo-hd-main
October 4, 2024 10:02 2m 43s
Remove stale allow-newer in cabal.project Project checks #2895: Pull request #1276 synchronize by jasagredo
October 4, 2024 09:35 2m 57s js/remove-allow-newers
js/remove-allow-newers
October 4, 2024 09:35 2m 57s
Remove stale allow-newer in cabal.project Project checks #2894: Pull request #1276 synchronize by jasagredo
October 4, 2024 09:34 2m 1s js/remove-allow-newers
js/remove-allow-newers
October 4, 2024 09:34 2m 1s
Remove stale allow-newer in cabal.project Project checks #2893: Pull request #1276 opened by jasagredo
October 4, 2024 09:33 1m 4s js/remove-allow-newers
js/remove-allow-newers
October 4, 2024 09:33 1m 4s
Project checks Project checks #2892: Merge group checks requested
October 4, 2024 09:27 2m 36s
October 4, 2024 09:27 2m 36s
Bump cachix/install-nix-action from 29 to 30 Project checks #2891: Pull request #1275 opened by dependabot bot
October 3, 2024 23:21 6m 17s dependabot/github_actions/cachix/install-nix-action-30
dependabot/github_actions/cachix/install-nix-action-30
October 3, 2024 23:21 6m 17s
Make all STSs in the Agda spec executable Project checks #2890: Pull request #1270 synchronize by javierdiaz72
October 3, 2024 18:59 2m 37s javierdiaz72/make-stss-computable
javierdiaz72/make-stss-computable
October 3, 2024 18:59 2m 37s
Support for responding to a LocalStateQuery demand for a snapshot of big ledger peers Project checks #2889: Pull request #1067 synchronize by crocodile-dentist
October 3, 2024 15:58 2m 46s mwojtowicz/ledger-query-peer-snapshot
mwojtowicz/ledger-query-peer-snapshot
October 3, 2024 15:58 2m 46s
Support for responding to a LocalStateQuery demand for a snapshot of big ledger peers Project checks #2888: Pull request #1067 synchronize by crocodile-dentist
October 3, 2024 15:47 2m 39s mwojtowicz/ledger-query-peer-snapshot
mwojtowicz/ledger-query-peer-snapshot
October 3, 2024 15:47 2m 39s
Add a new GetFuturePParams query Project checks #2887: Pull request #1251 synchronize by crocodile-dentist
October 3, 2024 10:46 3m 15s dnadales/1204-add-query-future-pparams
dnadales/1204-add-query-future-pparams
October 3, 2024 10:46 3m 15s
For node 10.0 release: Integrate ledger & o-network Project checks #2886: Pull request #1262 edited by crocodile-dentist
October 3, 2024 10:44 3m 19s lehins/integrate-latest-ledger
lehins/integrate-latest-ledger
October 3, 2024 10:44 3m 19s
For node 10.0 release: Integrate ledger & o-network Project checks #2885: Pull request #1262 edited by crocodile-dentist
October 3, 2024 10:43 41s lehins/integrate-latest-ledger
lehins/integrate-latest-ledger
October 3, 2024 10:43 41s
For node 10.0 release: Integrate ledger & o-network Project checks #2884: Pull request #1262 synchronize by crocodile-dentist
October 3, 2024 10:42 1m 53s lehins/integrate-latest-ledger
lehins/integrate-latest-ledger
October 3, 2024 10:42 1m 53s
For node 10.0 release: Integrate ledger & o-network Project checks #2883: Pull request #1262 synchronize by crocodile-dentist
October 3, 2024 09:07 3m 5s lehins/integrate-latest-ledger
lehins/integrate-latest-ledger
October 3, 2024 09:07 3m 5s
For node 10.0 release: Integrate ledger & o-network Project checks #2882: Pull request #1262 synchronize by crocodile-dentist
October 2, 2024 16:39 4m 2s lehins/integrate-latest-ledger
lehins/integrate-latest-ledger
October 2, 2024 16:39 4m 2s
Project checks Project checks #2881: Merge group checks requested
October 2, 2024 14:14 2m 36s
October 2, 2024 14:14 2m 36s
Reimplement #1265 using modifyMVar Project checks #2880: Pull request #1273 synchronize by jasagredo
October 2, 2024 13:02 2m 50s amesgen/cache-modifymvar
amesgen/cache-modifymvar
October 2, 2024 13:02 2m 50s
Support typed-protocols-0.3.0.0 and changes to ouroboros-network-protocols Project checks #2879: Pull request #1274 edited by fraser-iohk
October 2, 2024 12:20 22m 3s fraser-iohk/typed-protocols-0.3
fraser-iohk/typed-protocols-0.3
October 2, 2024 12:20 22m 3s