Skip to content

Actions: input-output-hk/ouroboros-leios

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yaml
345 workflow runs
345 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
fix: assumption CI #333: Commit 0e58a81 pushed by cjkoepke
November 14, 2024 23:10 2m 39s main
main
November 14, 2024 23:10 2m 39s
fix: assumption CI #332: Commit 3aacb0d pushed by cjkoepke
November 14, 2024 23:08 2m 25s main
main
November 14, 2024 23:08 2m 25s
Merge branch 'main' of github.com:input-output-hk/ouroboros-leios CI #331: Commit 1582d87 pushed by cjkoepke
November 14, 2024 23:01 2m 41s main
main
November 14, 2024 23:01 2m 41s
sim-rs: generate empty IBs CI #330: Commit 0c4bd12 pushed by SupernaviX
November 14, 2024 22:45 2m 30s main
main
November 14, 2024 22:45 2m 30s
Formal specification: Message fetching CI #329: Pull request #69 synchronize by yveshauser
November 14, 2024 19:15 2m 39s yveshauser/fetch-messages
yveshauser/fetch-messages
November 14, 2024 19:15 2m 39s
Merge branch 'main' of github.com:input-output-hk/ouroboros-leios CI #328: Commit 1565748 pushed by cjkoepke
November 14, 2024 18:44 2m 38s main
main
November 14, 2024 18:44 2m 38s
Formal specification: Message fetching CI #327: Pull request #69 synchronize by yveshauser
November 14, 2024 13:47 2m 28s yveshauser/fetch-messages
yveshauser/fetch-messages
November 14, 2024 13:47 2m 28s
Update Logbook.md CI #326: Commit 464a395 pushed by will-break-it
November 14, 2024 11:02 2m 23s main
main
November 14, 2024 11:02 2m 23s
chore: misc CI #325: Commit b7f4602 pushed by cjkoepke
November 13, 2024 18:27 2m 29s main
main
November 13, 2024 18:27 2m 29s
working pause/resume/reset CI #324: Commit a16efa2 pushed by cjkoepke
November 13, 2024 18:16 2m 42s main
main
November 13, 2024 18:16 2m 42s
chore: working transactions animation CI #323: Commit 95d9430 pushed by cjkoepke
November 13, 2024 00:08 2m 24s main
main
November 13, 2024 00:08 2m 24s
Formal specification: Message fetching CI #322: Pull request #69 synchronize by yveshauser
November 12, 2024 19:39 2m 35s yveshauser/fetch-messages
yveshauser/fetch-messages
November 12, 2024 19:39 2m 35s
chore: format transactions CI #321: Commit 978e8a4 pushed by cjkoepke
November 12, 2024 17:02 2m 52s main
main
November 12, 2024 17:02 2m 52s