Skip to content

Actions: input-output-hk/ouroboros-leios

Actions

conformance-linear

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
conformance-linear.yaml
58 workflow runs
58 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Update haskell.nix conformance-linear #58: Pull request #771 synchronize by hamishmack
7m 41s hamishmack:hkm/update-haskell-nix
hamishmack:hkm/update-haskell-nix
7m 41s
Merge pull request #719 from input-output-hk/javierdiaz72/yet-another… conformance-linear #57: Commit bd06bb1 pushed by javierdiaz72
7m 46s main
main
7m 46s
Yet another example trace file conformance-linear #56: Pull request #719 synchronize by javierdiaz72
7m 49s javierdiaz72/yet-another-example-trace
javierdiaz72/yet-another-example-trace
7m 49s
Yet another example trace file conformance-linear #55: Pull request #719 opened by javierdiaz72
6m 53s javierdiaz72/yet-another-example-trace
javierdiaz72/yet-another-example-trace
6m 53s
Merge pull request #698 from input-output-hk/yveshauser/formal-spec-u… conformance-linear #54: Commit 874f225 pushed by javierdiaz72
4m 34s main
main
4m 34s
Referencing latest formal specification conformance-linear #53: Pull request #698 synchronize by yveshauser
7m 13s yveshauser/formal-spec-update
yveshauser/formal-spec-update
7m 13s
Referencing latest formal specification conformance-linear #52: Pull request #698 synchronize by yveshauser
7m 25s yveshauser/formal-spec-update
yveshauser/formal-spec-update
7m 25s
Merge pull request #701 from input-output-hk/perturbing/fix-nix-build conformance-linear #51: Commit 4e63131 pushed by perturbing
4m 56s main
main
4m 56s
Referencing latest formal specification conformance-linear #50: Pull request #698 synchronize by yveshauser
7m 37s yveshauser/formal-spec-update
yveshauser/formal-spec-update
7m 37s
Referencing latest formal specification conformance-linear #49: Pull request #698 synchronize by yveshauser
7m 19s yveshauser/formal-spec-update
yveshauser/formal-spec-update
7m 19s
fix leios-trace-verifier build conformance-linear #48: Pull request #701 synchronize by perturbing
6m 56s perturbing/fix-nix-build
perturbing/fix-nix-build
6m 56s
Referencing latest formal specification conformance-linear #47: Pull request #698 synchronize by yveshauser
7m 16s yveshauser/formal-spec-update
yveshauser/formal-spec-update
7m 16s
fix leios-trace-verifier build conformance-linear #46: Pull request #701 opened by perturbing
7m 14s perturbing/fix-nix-build
perturbing/fix-nix-build
7m 14s
Referencing latest formal specification conformance-linear #45: Pull request #698 synchronize by yveshauser
7m 9s yveshauser/formal-spec-update
yveshauser/formal-spec-update
7m 9s
Referencing latest formal specification conformance-linear #44: Pull request #698 synchronize by yveshauser
7m 6s yveshauser/formal-spec-update
yveshauser/formal-spec-update
7m 6s
Referencing latest formal specification conformance-linear #43: Pull request #698 synchronize by yveshauser
7m 21s yveshauser/formal-spec-update
yveshauser/formal-spec-update
7m 21s
Referencing latest formal specification conformance-linear #42: Pull request #698 synchronize by yveshauser
4m 16s yveshauser/formal-spec-update
yveshauser/formal-spec-update
4m 16s
Referencing latest formal specification conformance-linear #41: Pull request #698 synchronize by yveshauser
7m 31s yveshauser/formal-spec-update
yveshauser/formal-spec-update
7m 31s
Rename examples to conformance-traces conformance-linear #40: Commit 2fe62e4 pushed by javierdiaz72
4m 26s main
main
4m 26s
Referencing latest formal specification conformance-linear #39: Pull request #698 synchronize by yveshauser
10m 27s yveshauser/formal-spec-update
yveshauser/formal-spec-update
10m 27s
Referencing latest formal specification conformance-linear #38: Pull request #698 synchronize by yveshauser
10m 22s yveshauser/formal-spec-update
yveshauser/formal-spec-update
10m 22s
Referencing latest formal specification conformance-linear #37: Pull request #698 synchronize by yveshauser
11m 56s yveshauser/formal-spec-update
yveshauser/formal-spec-update
11m 56s
Referencing latest formal specification conformance-linear #36: Pull request #698 synchronize by yveshauser
9m 50s yveshauser/formal-spec-update
yveshauser/formal-spec-update
9m 50s
Referencing latest formal specification conformance-linear #35: Pull request #698 synchronize by yveshauser
15m 3s yveshauser/formal-spec-update
yveshauser/formal-spec-update
15m 3s
Referencing latest formal specification conformance-linear #34: Pull request #698 opened by yveshauser
10m 32s yveshauser/formal-spec-update
yveshauser/formal-spec-update
10m 32s