Skip to content

Actions: IntersectMBO/ouroboros-consensus

Project checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
43 workflow run results
43 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Seed a glossary
Project checks #1154: Pull request #438 synchronize by dnadales
November 9, 2023 17:08 19s dnadales/seed-a-glossary
November 9, 2023 17:08 19s
Normalise adjustment of number of QuickCheck tests
Project checks #1153: Pull request #500 synchronize by Niols
November 9, 2023 16:53 17s niols/adustQuickCheckTests
November 9, 2023 16:53 17s
Normalise adjustment of number of QuickCheck tests
Project checks #1152: Pull request #500 opened by Niols
November 9, 2023 15:45 16s niols/adustQuickCheckTests
November 9, 2023 15:45 16s
Adjust number of test cases
Project checks #1146: Pull request #496 opened by Niols
November 8, 2023 15:06 19s niols/ajust-test-cases
November 8, 2023 15:06 19s
Integration work for node 8.7.0
Project checks #1143: Pull request #495 synchronize by jasagredo
November 8, 2023 09:15 19s jasagredo/node-8.7.0
November 8, 2023 09:15 19s
Updates ouroboros-network to fix PeerSharing
Project checks #1142: Pull request #383 synchronize by bolt12
November 7, 2023 16:35 17s bolt12/fix-peerSharing-handshake
November 7, 2023 16:35 17s
Updates ouroboros-network to fix PeerSharing
Project checks #1141: Pull request #383 synchronize by bolt12
November 7, 2023 16:01 17s bolt12/fix-peerSharing-handshake
November 7, 2023 16:01 17s
Project checks
Project checks #1140: Merge group checks requested
November 7, 2023 11:38 20s
November 7, 2023 11:38 20s
Integration work for node 8.7.0
Project checks #1138: Pull request #495 opened by jasagredo
November 7, 2023 09:50 15s jasagredo/node-8.7.0
November 7, 2023 09:50 15s
Project checks
Project checks #1135: Merge group checks requested
November 2, 2023 15:59 19s
November 2, 2023 15:59 19s
cabal-lint: add tool
Project checks #1132: Pull request #486 opened by nfrisby
November 2, 2023 14:34 17s nfrisby/cabal-lint
November 2, 2023 14:34 17s
quickcheck-randomized: draft package
Project checks #1131: Pull request #485 opened by nfrisby
November 2, 2023 14:30 18s nfrisby/quickcheck-randomized
November 2, 2023 14:30 18s
ReleaseProcess.md: add a simple tip
Project checks #1130: Pull request #484 opened by nfrisby
November 2, 2023 14:15 19s nfrisby/releaseprocess-tip
November 2, 2023 14:15 19s