Skip to content

Actions: input-output-hk/ouroboros-leios

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
660 workflow runs
660 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Updated Logbook CI #99: Commit 82eff55 pushed by ghost
October 1, 2024 08:00 2m 12s main
main
October 1, 2024 08:00 2m 12s
Bunch of old patches CI #98: Pull request #28 synchronize by wenkokke
September 30, 2024 15:10 2m 43s dcoutts:dcoutts/sim-old
dcoutts:dcoutts/sim-old
September 30, 2024 15:10 2m 43s
Add troubleshooting section to build delta-Q web app (#29) CI #97: Commit 5670718 pushed by rkuhn
September 30, 2024 10:10 2m 13s main
main
September 30, 2024 10:10 2m 13s
Add troubleshooting section to build delta-Q web app CI #96: Pull request #29 opened by ghost
September 30, 2024 09:16 2m 20s abailly/minor-fix-to-rust-build
abailly/minor-fix-to-rust-build
September 30, 2024 09:16 2m 20s
Bunch of old patches CI #95: Pull request #28 opened by dcoutts
September 27, 2024 21:40 2m 39s dcoutts:dcoutts/sim-old
dcoutts:dcoutts/sim-old
September 27, 2024 21:40 2m 39s
Added meeting notes from 2024-09-26 to logbook. CI #94: Commit 6f51d47 pushed by bwbush
September 26, 2024 16:47 2m 21s main
main
September 26, 2024 16:47 2m 21s
Updated Logbook with team discussion results CI #93: Commit 57b34c7 pushed by bwbush
September 25, 2024 17:56 2m 20s main
main
September 25, 2024 17:56 2m 20s
add initial version of ΔQ tooling in Rust (#20) CI #92: Commit 4190eae pushed by ghost
September 25, 2024 06:49 2m 19s main
main
September 25, 2024 06:49 2m 19s
Short pipeline document. (#24) CI #91: Commit 4157a01 pushed by bwbush
September 24, 2024 14:36 2m 3s main
main
September 24, 2024 14:36 2m 3s
Short pipeline document. CI #90: Pull request #24 opened by bwbush
September 24, 2024 14:36 2m 26s bwbush/short-pipeline-leios
bwbush/short-pipeline-leios
September 24, 2024 14:36 2m 26s
Pinned agda version to 2.6.4.3. (#22) CI #89: Commit 6831421 pushed by bwbush
September 24, 2024 13:49 19m 53s main
main
September 24, 2024 13:49 19m 53s
Pinned agda version to 2.6.4.3. CI #88: Pull request #22 synchronize by bwbush
September 24, 2024 13:28 20m 0s bwbush/pin-agda
bwbush/pin-agda
September 24, 2024 13:28 20m 0s
Pinned agda version to 2.6.4.3. CI #87: Pull request #22 opened by bwbush
September 24, 2024 13:16 1m 16s bwbush/pin-agda
bwbush/pin-agda
September 24, 2024 13:16 1m 16s
add initial version of ΔQ tooling in Rust CI #86: Pull request #20 opened by rkuhn
September 24, 2024 09:40 2m 19s rk-add-delta_q
rk-add-delta_q
September 24, 2024 09:40 2m 19s
Add WIP simple Leios spec (#12) CI #85: Commit c30a055 pushed by bwbush
September 20, 2024 16:16 18m 49s main
main
September 20, 2024 16:16 18m 49s
Add WIP simple Leios spec CI #84: Pull request #12 synchronize by bwbush
September 20, 2024 16:14 2m 5s formal-spec
formal-spec
September 20, 2024 16:14 2m 5s
Logged notes of team meeting CI #83: Commit f8acfcc pushed by bwbush
September 20, 2024 15:43 13m 53s main
main
September 20, 2024 15:43 13m 53s
Add WIP simple Leios spec CI #82: Pull request #12 synchronize by WhatisRT
September 19, 2024 15:13 2m 5s formal-spec
formal-spec
September 19, 2024 15:13 2m 5s
Add WIP simple Leios spec CI #81: Pull request #12 synchronize by bwbush
September 16, 2024 16:29 18m 56s formal-spec
formal-spec
September 16, 2024 16:29 18m 56s
Added formal spec to Nix shell and CI CI #80: Pull request #13 synchronize by bwbush
September 16, 2024 16:09 19m 1s bwbush/formal-spec
bwbush/formal-spec
September 16, 2024 16:09 19m 1s
Added formal spec to Nix shell and CI CI #79: Pull request #13 synchronize by bwbush
September 16, 2024 15:54 16m 24s bwbush/formal-spec
bwbush/formal-spec
September 16, 2024 15:54 16m 24s
Added formal spec to Nix shell and CI CI #78: Pull request #13 synchronize by bwbush
August 30, 2024 16:04 11m 26s bwbush/formal-spec
bwbush/formal-spec
August 30, 2024 16:04 11m 26s
Added formal spec to Nix shell and CI CI #77: Pull request #13 synchronize by bwbush
August 30, 2024 15:54 11m 51s bwbush/formal-spec
bwbush/formal-spec
August 30, 2024 15:54 11m 51s
Added typechecking of Leios spec to CI. CI #76: Commit d795ac3 pushed by bwbush
August 30, 2024 15:52 Failure bwbush/formal-spec
bwbush/formal-spec
August 30, 2024 15:52 Failure
Add WIP simple Leios spec CI #75: Pull request #12 opened by WhatisRT
August 29, 2024 15:00 14m 37s formal-spec
formal-spec
August 29, 2024 15:00 14m 37s
ProTip! You can narrow down the results and go further in time using created:<2024-08-29 or the other filters available.