Skip to content

Actions: input-output-hk/ouroboros-leios

Actions

Lean Action CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lean_action_ci.yml
57 workflow runs
57 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

GH Workflow that runs "nix flake check" Lean Action CI #57: Pull request #670 synchronize by bladyjoker
10m 47s bladyjoker/nix-flake-check-gh-workflow
bladyjoker/nix-flake-check-gh-workflow
10m 47s
GH Workflow that runs "nix flake check" Lean Action CI #56: Pull request #670 synchronize by bladyjoker
10m 57s bladyjoker/nix-flake-check-gh-workflow
bladyjoker/nix-flake-check-gh-workflow
10m 57s
GH Workflow that runs "nix flake check" Lean Action CI #55: Pull request #670 opened by bladyjoker
13m 54s bladyjoker/nix-flake-check-gh-workflow
bladyjoker/nix-flake-check-gh-workflow
13m 54s
Nix rework Lean Action CI #54: Pull request #650 synchronize by bladyjoker
11m 40s bladyjoker/nix-rework
bladyjoker/nix-rework
11m 40s
Nix rework Lean Action CI #53: Pull request #650 synchronize by bladyjoker
11m 18s bladyjoker/nix-rework
bladyjoker/nix-rework
11m 18s
Nix rework Lean Action CI #52: Pull request #650 synchronize by bladyjoker
10m 56s bladyjoker/nix-rework
bladyjoker/nix-rework
10m 56s
Nix rework Lean Action CI #51: Pull request #650 synchronize by bladyjoker
10m 39s bladyjoker/nix-rework
bladyjoker/nix-rework
10m 39s
Nix rework Lean Action CI #50: Pull request #650 synchronize by bladyjoker
11m 4s bladyjoker/nix-rework
bladyjoker/nix-rework
11m 4s
Nix rework Lean Action CI #49: Pull request #650 opened by bladyjoker
14m 34s bladyjoker/nix-rework
bladyjoker/nix-rework
14m 34s
Created page of post-CIP findings. (#619) Lean Action CI #48: Commit 3613b5c pushed by bwbush
11m 58s main
main
11m 58s
Created page of post-CIP findings. Lean Action CI #47: Pull request #619 opened by bwbush
11m 50s bwbush/post-cip
bwbush/post-cip
11m 50s
Minor correction to FA algorithm (#614) Lean Action CI #46: Commit 7d87970 pushed by bwbush
11m 0s main
main
11m 0s
Minor correction to FA algorithm Lean Action CI #45: Pull request #614 opened by bwbush
11m 29s bwbush/markov-fa
bwbush/markov-fa
11m 29s
Property-based tests for markovian model (#609) Lean Action CI #44: Commit ac3f5fe pushed by bwbush
12m 17s main
main
12m 17s
Property-based tests for markovian model Lean Action CI #43: Pull request #609 synchronize by bwbush
1m 32s bwbush/markov-props
bwbush/markov-props
1m 32s
Property-based tests for markovian model Lean Action CI #42: Pull request #609 synchronize by bwbush
10m 52s bwbush/markov-props
bwbush/markov-props
10m 52s
Property-based tests for markovian model Lean Action CI #41: Pull request #609 synchronize by bwbush
12m 58s bwbush/markov-props
bwbush/markov-props
12m 58s
Property-based tests for markovian model Lean Action CI #40: Pull request #609 synchronize by bwbush
3m 2s bwbush/markov-props
bwbush/markov-props
3m 2s
Property-based tests for markovian model Lean Action CI #39: Pull request #609 synchronize by bwbush
2m 20s bwbush/markov-props
bwbush/markov-props
2m 20s
Property-based tests for markovian model Lean Action CI #38: Pull request #609 opened by bwbush
1m 26s bwbush/markov-props
bwbush/markov-props
1m 26s
Added code comments and documentation to markovian model (#591) Lean Action CI #37: Commit 961bcf2 pushed by bwbush
2m 55s main
main
2m 55s
Added code comments and documentation to markovian model Lean Action CI #36: Pull request #591 synchronize by bwbush
2m 55s bwbush/doc-markov
bwbush/doc-markov
2m 55s
Added code comments and documentation to markovian model Lean Action CI #35: Pull request #591 opened by bwbush
3m 6s bwbush/doc-markov
bwbush/doc-markov
3m 6s
Markov-model experiment (#576) Lean Action CI #34: Commit 17542f3 pushed by bwbush
2m 57s main
main
2m 57s
Markov-model experiment Lean Action CI #33: Pull request #576 synchronize by bwbush
1m 37s bwbush/markove-expt
bwbush/markove-expt
1m 37s