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

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
Formal specification: Message fetching CI #320: Pull request #69 synchronize by yveshauser
November 12, 2024 07:01 2m 31s yveshauser/fetch-messages
yveshauser/fetch-messages
November 12, 2024 07:01 2m 31s
Formal specification: Message fetching CI #319: Pull request #69 synchronize by yveshauser
November 11, 2024 14:18 2m 28s yveshauser/fetch-messages
yveshauser/fetch-messages
November 11, 2024 14:18 2m 28s
Formal specification: Message fetching CI #318: Pull request #69 synchronize by yveshauser
November 11, 2024 13:53 2m 42s yveshauser/fetch-messages
yveshauser/fetch-messages
November 11, 2024 13:53 2m 42s
Formal specification: Message fetching CI #317: Pull request #69 synchronize by yveshauser
November 11, 2024 13:51 2m 29s yveshauser/fetch-messages
yveshauser/fetch-messages
November 11, 2024 13:51 2m 29s
Formal specification: Message fetching CI #316: Pull request #69 synchronize by yveshauser
November 11, 2024 09:05 2m 30s yveshauser/fetch-messages
yveshauser/fetch-messages
November 11, 2024 09:05 2m 30s
Formal specification: Ledger construction CI #315: Pull request #65 synchronize by yveshauser
November 11, 2024 08:57 2m 28s yveshauser/ledger-construction
yveshauser/ledger-construction
November 11, 2024 08:57 2m 28s
update Logbook CI #314: Commit be3609c pushed by rkuhn
November 10, 2024 15:50 2m 24s main
main
November 10, 2024 15:50 2m 24s
add simulation-model-parameters.{json,md} content CI #313: Commit f819cf5 pushed by rkuhn
November 10, 2024 14:37 2m 35s main
main
November 10, 2024 14:37 2m 35s
Formal specification: Message fetching CI #312: Pull request #69 synchronize by yveshauser
November 9, 2024 17:40 2m 27s yveshauser/fetch-messages
yveshauser/fetch-messages
November 9, 2024 17:40 2m 27s
Merge branch 'main' of github.com:input-output-hk/ouroboros-leios int… CI #311: Commit b0f8631 pushed by cjkoepke
November 8, 2024 23:02 2m 29s main
main
November 8, 2024 23:02 2m 29s
Merge branch 'main' of github.com:input-output-hk/ouroboros-leios CI #310: Commit d4c687e pushed by rkuhn
November 8, 2024 18:16 2m 45s main
main
November 8, 2024 18:16 2m 45s
System-dynamics simulation of throughput techno-economics (#70) CI #309: Commit 3d8a256 pushed by bwbush
November 8, 2024 17:14 2m 27s main
main
November 8, 2024 17:14 2m 27s