Skip to content

Actions: input-output-hk/ouroboros-leios

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yaml
408 workflow runs
408 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Formal specification: Ledger construction CI #293: Pull request #65 synchronize by yveshauser
November 6, 2024 15:44 4m 10s yveshauser/ledger-construction
yveshauser/ledger-construction
November 6, 2024 15:44 4m 10s
Use instances to resolve hashing CI #292: Commit bac93f2 pushed by WhatisRT
November 6, 2024 13:18 6m 51s main
main
November 6, 2024 13:18 6m 51s
Update Logbook.md CI #291: Commit 4170034 pushed by pagio
November 6, 2024 08:49 2m 44s main
main
November 6, 2024 08:49 2m 44s
Added notes of team session to logbook CI #290: Commit f6dc5db pushed by bwbush
November 5, 2024 20:22 2m 28s main
main
November 5, 2024 20:22 2m 28s
sim-rs: yield inside wait_until, even for times in the past CI #289: Commit eebfab1 pushed by SupernaviX
November 5, 2024 20:17 2m 28s main
main
November 5, 2024 20:17 2m 28s
sim-rs: correctly handle early shutdown in node CI #288: Commit 6f454bb pushed by SupernaviX
November 5, 2024 19:29 2m 30s main
main
November 5, 2024 19:29 2m 30s
Add To/FromJSON reader for topology-dense-52.json CI #287: Commit 0b8faa9 pushed by wenkokke
November 5, 2024 17:00 2m 43s main
main
November 5, 2024 17:00 2m 43s
simulation: Add To/FromJSON for P2P CI #286: Commit 2172654 pushed by wenkokke
November 5, 2024 16:31 2m 25s main
main
November 5, 2024 16:31 2m 25s
sim-rs: fix performance of file streaming CI #285: Commit 24131c7 pushed by SupernaviX
November 5, 2024 16:20 2m 23s main
main
November 5, 2024 16:20 2m 23s
Formal specification: Ledger construction CI #284: Pull request #65 synchronize by yveshauser
November 5, 2024 14:44 3m 4s yveshauser/ledger-construction
yveshauser/ledger-construction
November 5, 2024 14:44 3m 4s