Skip to content

Actions: input-output-hk/ouroboros-leios

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
355 workflow runs
355 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
System-dynamics simulation of throughput techno-economics CI #308: Pull request #70 opened by bwbush
November 8, 2024 17:14 2m 27s bwbush/te-sim
bwbush/te-sim
November 8, 2024 17:14 2m 27s
sim-rs: generate config matching delta-q assumptions CI #307: Commit 2adc594 pushed by SupernaviX
November 8, 2024 16:24 9m 14s main
main
November 8, 2024 16:24 9m 14s
Formal specification: Message fetching CI #306: Pull request #69 opened by yveshauser
November 8, 2024 16:15 2m 27s yveshauser/fetch-messages
yveshauser/fetch-messages
November 8, 2024 16:15 2m 27s
updated Logbook CI #305: Commit 0a43646 pushed by Saizan
November 8, 2024 08:36 2m 26s main
main
November 8, 2024 08:36 2m 26s
Some Praos sim fixes (#68) CI #304: Commit 88962b6 pushed by Saizan
November 8, 2024 08:13 2m 43s main
main
November 8, 2024 08:13 2m 43s
Updated logbook CI #303: Commit f807695 pushed by SupernaviX
November 8, 2024 02:17 2m 30s main
main
November 8, 2024 02:17 2m 30s
add logbook entry for ΔQ meeting CI #302: Commit a7c236b pushed by rkuhn
November 7, 2024 20:35 2m 26s main
main
November 7, 2024 20:35 2m 26s
sim-rs: make uniform IB generation an option CI #301: Commit 985c753 pushed by SupernaviX
November 7, 2024 20:13 2m 28s main
main
November 7, 2024 20:13 2m 28s
sim-rs: stages are longer than slots CI #300: Commit 76837f0 pushed by SupernaviX
November 7, 2024 19:05 2m 31s main
main
November 7, 2024 19:05 2m 31s
Some Praos sim fixes CI #299: Pull request #68 opened by Saizan
November 7, 2024 14:47 2m 28s andrea/praos-debug
andrea/praos-debug
November 7, 2024 14:47 2m 28s
[delta_q] add simplified model for Short Leios CI #298: Commit d1ef79f pushed by rkuhn
November 7, 2024 12:05 2m 25s main
main
November 7, 2024 12:05 2m 25s
Merge branch 'main' of github.com:input-output-hk/ouroboros-leios CI #297: Commit f2cd858 pushed by rkuhn
November 6, 2024 18:37 6m 31s main
main
November 6, 2024 18:37 6m 31s
Formal specification: Ledger construction CI #296: Pull request #65 synchronize by yveshauser
November 6, 2024 16:43 5m 3s yveshauser/ledger-construction
yveshauser/ledger-construction
November 6, 2024 16:43 5m 3s
Formal specification: Ledger construction CI #295: Pull request #65 synchronize by yveshauser
November 6, 2024 15:48 7m 39s yveshauser/ledger-construction
yveshauser/ledger-construction
November 6, 2024 15:48 7m 39s
Formal specification: Ledger construction CI #294: Pull request #65 synchronize by yveshauser
November 6, 2024 15:47 5m 32s yveshauser/ledger-construction
yveshauser/ledger-construction
November 6, 2024 15:47 5m 32s