Skip to content

Actions: input-output-hk/ouroboros-leios

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,865 workflow runs
2,865 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #601 from input-output-hk/ch1bo/design-edit Build Leios Design PDF #24: Commit 500078e pushed by msmbcn
5m 52s main
main
5m 52s
Leios design: Re-organize chapters and seed technical design with impact analysis Build Leios Design PDF #23: Pull request #601 synchronize by ch1bo
5m 30s ch1bo/design-edit
ch1bo/design-edit
5m 30s
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
npm_and_yarn in /cost-dashboard for webpack-dev-server - Update #1143444064 Dependabot Updates #9: by dependabot bot
1m 4s main
main
1m 4s
Bump on-headers and compression in /site (#612) docs #358: Commit 669eea8 pushed by bwbush
2m 27s main
main
2m 27s
Bump on-headers and compression in /site docs #357: Pull request #612 opened by dependabot bot
2m 2s dependabot/npm_and_yarn/site/multi-96c788614a
dependabot/npm_and_yarn/site/multi-96c788614a
2m 2s
npm_and_yarn in /site for on-headers - Update #1143440332 Dependabot Updates #8: by dependabot bot
1m 10s main
main
1m 10s
Bump brace-expansion from 1.1.11 to 1.1.12 in /site (#611) docs #356: Commit 34d6831 pushed by bwbush
2m 21s main
main
2m 21s
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
Bump brace-expansion from 1.1.11 to 1.1.12 in /site docs #355: Pull request #611 opened by dependabot bot
2m 27s dependabot/npm_and_yarn/site/brace-expansion-1.1.12
dependabot/npm_and_yarn/site/brace-expansion-1.1.12
2m 27s
npm_and_yarn in /site for brace-expansion - Update #1143436448 Dependabot Updates #7: by dependabot bot
1m 18s main
main
1m 18s
npm_and_yarn in /cost-dashboard for on-headers - Update #1143430689 Dependabot Updates #6: by dependabot bot
1m 11s main
main
1m 11s
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
Build Leios Design PDF Build Leios Design PDF #22: Manually run by msmbcn
4m 55s main
main
4m 55s
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
Merge pull request #605 from input-output-hk/javierdiaz/trace-verifie… conformance-linear #16: Commit 4d23b82 pushed by javierdiaz72
7m 42s main
main
7m 42s
Merge pull request #605 from input-output-hk/javierdiaz/trace-verifie… conformance #126: Commit 4d23b82 pushed by javierdiaz72
7m 28s main
main
7m 28s
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
Add code comments to leios trace verifier (#590) conformance-linear #15: Commit ab68b77 pushed by bwbush
7m 22s main
main
7m 22s
Add code comments to leios trace verifier (#590) conformance #125: Commit ab68b77 pushed by bwbush
6m 15s main
main
6m 15s