Skip to content

Actions: input-output-hk/ouroboros-leios

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yaml
439 workflow runs
439 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

simulation: Remove Praos executable CI #364: Commit 43fea3a pushed by wenkokke
November 19, 2024 17:59 2m 31s main
main
November 19, 2024 17:59 2m 31s
simulation: Progress on loading Praos simulation from BenchTopology CI #363: Commit 30a3c71 pushed by wenkokke
November 19, 2024 15:56 3m 5s main
main
November 19, 2024 15:56 3m 5s
Fix needsUpkeep CI #362: Commit 663a541 pushed by WhatisRT
November 19, 2024 11:54 2m 26s main
main
November 19, 2024 11:54 2m 26s
Add a SlotUpkeep type to enforce dependencies between rules CI #361: Pull request #75 synchronize by WhatisRT
November 19, 2024 11:54 3m 9s andre/add-upkeep
andre/add-upkeep
November 19, 2024 11:54 3m 9s
Add a SlotUpkeep type to enforce dependencies between rules CI #360: Pull request #75 synchronize by WhatisRT
November 19, 2024 11:53 2m 26s andre/add-upkeep
andre/add-upkeep
November 19, 2024 11:53 2m 26s
Update Logbook.md CI #359: Commit a3cf790 pushed by bwbush
November 18, 2024 19:02 2m 44s main
main
November 18, 2024 19:02 2m 44s
Added log note on Intersect Network WG meeting CI #358: Commit 9c6dd36 pushed by bwbush
November 18, 2024 19:02 2m 32s main
main
November 18, 2024 19:02 2m 32s
Add a SlotUpkeep type to enforce dependencies between rules CI #357: Pull request #75 synchronize by WhatisRT
November 18, 2024 16:36 2m 28s andre/add-upkeep
andre/add-upkeep
November 18, 2024 16:36 2m 28s
Add a SlotUpkeep type to enforce dependencies between rules CI #356: Pull request #75 opened by WhatisRT
November 18, 2024 16:08 2m 28s andre/add-upkeep
andre/add-upkeep
November 18, 2024 16:08 2m 28s
Fine-tune rendering of topology files CI #355: Commit 93e1d6d pushed by wenkokke
November 18, 2024 15:10 2m 46s main
main
November 18, 2024 15:10 2m 46s
Cleanup some unnecessary type conversions in the spec CI #354: Commit 6728df8 pushed by WhatisRT
November 18, 2024 14:06 2m 47s main
main
November 18, 2024 14:06 2m 47s
Add support for rendering underspecified topologies in Haskell simula… CI #353: Commit 291ca84 pushed by wenkokke
November 18, 2024 13:43 2m 57s main
main
November 18, 2024 13:43 2m 57s
Merge branch 'main' of github.com:input-output-hk/ouroboros-leios CI #352: Commit 1a77fdd pushed by cjkoepke
November 15, 2024 23:31 2m 38s main
main
November 15, 2024 23:31 2m 38s
Analyzes Leios storage and fee challenges. (#74) CI #351: Commit e731800 pushed by bwbush
November 15, 2024 22:25 2m 24s main
main
November 15, 2024 22:25 2m 24s
Analyzes Leios storage and fee challenges. CI #350: Pull request #74 opened by bwbush
November 15, 2024 22:24 2m 44s bwbush/te-findings
bwbush/te-findings
November 15, 2024 22:24 2m 44s
fix: end of animation CI #349: Commit 225dffb pushed by cjkoepke
November 15, 2024 21:23 2m 33s main
main
November 15, 2024 21:23 2m 33s
chore: use area chart CI #348: Commit 2342fab pushed by cjkoepke
November 15, 2024 21:08 2m 34s main
main
November 15, 2024 21:08 2m 34s
Merge branch 'fix/timing' CI #347: Commit d5ac64c pushed by cjkoepke
November 15, 2024 21:04 2m 28s main
main
November 15, 2024 21:04 2m 28s
update thoughts on ΔQSD with load tracking CI #346: Commit c8068e4 pushed by rkuhn
November 15, 2024 19:00 2m 35s main
main
November 15, 2024 19:00 2m 35s
Updated Logbook CI #345: Commit 750b60d pushed by Saizan
November 15, 2024 16:50 4m 55s main
main
November 15, 2024 16:50 4m 55s
Notational cleanup, fix signal of Base₂a/b CI #344: Commit fb096a0 pushed by WhatisRT
November 15, 2024 14:59 2m 29s main
main
November 15, 2024 14:59 2m 29s
More detailed techno-economic analysis of Leios SPO costs (#73) CI #343: Commit 82d9a24 pushed by bwbush
November 15, 2024 13:57 2m 32s main
main
November 15, 2024 13:57 2m 32s
More detailed techno-economic analysis of Leios SPO costs CI #342: Pull request #73 opened by bwbush
November 15, 2024 13:57 2m 26s bwbush/te
bwbush/te
November 15, 2024 13:57 2m 26s
Changed notation for state transition relations CI #341: Commit 7ae8e1d pushed by yveshauser
November 15, 2024 13:32 2m 31s main
main
November 15, 2024 13:32 2m 31s
Update logbook CI #340: Commit c99f774 pushed by yveshauser
November 15, 2024 11:40 2m 39s main
main
November 15, 2024 11:40 2m 39s