Skip to content

Actions: input-output-hk/ouroboros-leios-formal-spec

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
160 workflow runs
160 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

git: add module description for testing workflow formal-spec #60: Commit e9c68e2 pushed by will-break-it
6m 15s main
main
6m 15s
docs: add module description for testing redeployment workflow formal-spec #59: Commit 72ea888 pushed by will-break-it
6m 11s main
main
6m 11s
docs: add module description for testing leios workflow formal-spec #58: Commit 611e2bd pushed by will-break-it
12s main
main
12s
Merge pull request #14 from input-output-hk/docs formal-spec #57: Commit 3502cfa pushed by will-break-it
3m 44s main
main
3m 44s
docs: added base module description formal-spec #56: Pull request #14 synchronize by will-break-it
6m 6s docs
docs
6m 6s
docs: added base module description formal-spec #55: Pull request #14 opened by will-break-it
9m 55s docs
docs
9m 55s
Bootstrapping & Full-Short variant formal-spec #54: Pull request #12 synchronize by yveshauser
2m 28s yveshauser/bootstrapping
yveshauser/bootstrapping
2m 28s
Bootstrapping & Full-Short variant formal-spec #53: Pull request #12 synchronize by yveshauser
2m 31s yveshauser/bootstrapping
yveshauser/bootstrapping
2m 31s
Bootstrapping & Full-Short variant formal-spec #52: Pull request #12 opened by yveshauser
2m 32s yveshauser/bootstrapping
yveshauser/bootstrapping
2m 32s
Add a nix derivation to build html & improve the short Leios document… formal-spec #51: Commit 9ecb646 pushed by WhatisRT
2m 27s main
main
2m 27s
Slot information in Actions (#11) formal-spec #50: Commit 9741f8a pushed by yveshauser
2m 32s main
main
2m 32s
Slot information in Actions formal-spec #49: Pull request #11 opened by yveshauser
2m 26s yveshauser/slot-in-actions
yveshauser/slot-in-actions
2m 26s
Error handling for traces (#10) formal-spec #48: Commit d65ac7d pushed by yveshauser
4m 31s main
main
4m 31s
Error handling for traces formal-spec #47: Pull request #10 synchronize by yveshauser
2m 28s yveshauser/error-handling
yveshauser/error-handling
2m 28s
Error handling for traces formal-spec #46: Pull request #10 synchronize by yveshauser
2m 25s yveshauser/error-handling
yveshauser/error-handling
2m 25s
Error handling for traces formal-spec #45: Pull request #10 synchronize by yveshauser
4m 40s yveshauser/error-handling
yveshauser/error-handling
4m 40s
Error handling for traces formal-spec #44: Pull request #10 opened by yveshauser
4m 25s yveshauser/error-handling
yveshauser/error-handling
4m 25s
Fetching from base layer is total (#9) formal-spec #43: Commit 9aa6a9e pushed by yveshauser
4m 11s main
main
4m 11s
Fetching from the base layer formal-spec #42: Pull request #9 opened by yveshauser
4m 17s yveshauser/fetch-total
yveshauser/fetch-total
4m 17s
Add a nix derivation to build html & improve the short Leios documentation a bit formal-spec #41: Pull request #8 opened by WhatisRT
2m 27s add-documentation
add-documentation
2m 27s
Consistent naming formal-spec #40: Commit ee00e1d pushed by yveshauser
2m 31s main
main
2m 31s
Default lotteries (#7) formal-spec #39: Commit 30a0ba8 pushed by yveshauser
2m 34s main
main
2m 34s
Default lotteries formal-spec #38: Pull request #7 opened by yveshauser
2m 22s yveshauser/lotteries
yveshauser/lotteries
2m 22s
Unused formal-spec #37: Commit 8bf1fe5 pushed by yveshauser
2m 37s main
main
2m 37s
EndorserBlock schedule (#6) formal-spec #36: Commit 097664a pushed by yveshauser
2m 23s main
main
2m 23s