Skip to content

Actions: input-output-hk/ouroboros-leios

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
420 workflow runs
420 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Formal specification: Ledger construction (#65) CI #339: Commit 7056baf pushed by yveshauser
November 15, 2024 11:27 2m 29s main
main
November 15, 2024 11:27 2m 29s
Formal specification: Ledger construction CI #338: Pull request #65 synchronize by yveshauser
November 15, 2024 11:24 2m 34s yveshauser/ledger-construction
yveshauser/ledger-construction
November 15, 2024 11:24 2m 34s
Formal specification: Message fetching CI #337: Pull request #69 synchronize by yveshauser
November 15, 2024 11:18 2m 28s yveshauser/fetch-messages
yveshauser/fetch-messages
November 15, 2024 11:18 2m 28s
Update Logbook.md CI #336: Commit 17c58a0 pushed by pagio
November 15, 2024 10:51 2m 26s main
main
November 15, 2024 10:51 2m 26s
Formal specification: Message fetching CI #335: Pull request #69 synchronize by yveshauser
November 15, 2024 10:19 2m 24s yveshauser/fetch-messages
yveshauser/fetch-messages
November 15, 2024 10:19 2m 24s
Update logbook CI #334: Commit d2d7ac7 pushed by SupernaviX
November 14, 2024 23:19 2m 38s main
main
November 14, 2024 23:19 2m 38s