Skip to content

Actions: input-output-hk/ouroboros-leios

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yaml
94 workflow runs
94 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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 abailly-iohk
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
Fix: only count unique IBs for throughput calculation CI #74: Commit f497b29 pushed by RenateEilers
August 8, 2024 09:08 13m 14s main
main
August 8, 2024 09:08 13m 14s
Experimental Leios executable specification in Lean4 CI #73: Pull request #11 opened by bwbush
August 2, 2024 20:11 13m 23s bwbush/lean4
bwbush/lean4
August 2, 2024 20:11 13m 23s
Updated logbook with Nix, CI, and simulation work CI #72: Commit 69a0c81 pushed by bwbush
July 26, 2024 17:11 13m 3s main
main
July 26, 2024 17:11 13m 3s
Added nix compile and test targets to CI (#9) CI #71: Commit 3cfaea2 pushed by bwbush
July 26, 2024 16:38 13m 38s main
main
July 26, 2024 16:38 13m 38s
Added nix compile and test targets to CI CI #70: Pull request #9 synchronize by bwbush
July 26, 2024 16:38 41s bwbush/ci
bwbush/ci
July 26, 2024 16:38 41s