Skip to content

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

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
157 workflow runs
157 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Code formatting formal-spec #32: Commit 23ea2f3 pushed by yveshauser
3m 21s main
main
3m 21s
Hide implementation details formal-spec #31: Commit 5f0d66f pushed by yveshauser
4m 3s main
main
4m 3s
Stake distribution as parameter (#5) formal-spec #30: Commit 70ab9b8 pushed by yveshauser
4m 45s main
main
4m 45s
Stake distribution as parameter formal-spec #29: Pull request #5 synchronize by yveshauser
4m 24s yveshauser/stake-distribution
yveshauser/stake-distribution
4m 24s
Stake distribution as parameter formal-spec #28: Pull request #5 opened by yveshauser
4m 24s yveshauser/stake-distribution
yveshauser/stake-distribution
4m 24s
Conformance testing (#4) formal-spec #27: Commit b3df2e8 pushed by yveshauser
2m 47s main
main
2m 47s
Conformance testing formal-spec #26: Pull request #4 synchronize by yveshauser
2m 38s conformance-testing
conformance-testing
2m 38s
IsValid predicates formal-spec #25: Pull request #2 synchronize by yveshauser
2m 21s yveshauser/validity-impl
yveshauser/validity-impl
2m 21s
IsValid predicates formal-spec #24: Pull request #2 synchronize by yveshauser
10s yveshauser/validity-impl
yveshauser/validity-impl
10s
Trace verifier (#3) formal-spec #23: Commit 377e998 pushed by yveshauser
4m 25s main
main
4m 25s
Trace verifier formal-spec #22: Pull request #3 synchronize by yveshauser
2m 33s trace-verifier
trace-verifier
2m 33s
Trace verifier formal-spec #21: Pull request #3 synchronize by yveshauser
2m 24s trace-verifier
trace-verifier
2m 24s
Trace verifier formal-spec #20: Pull request #3 synchronize by yveshauser
2m 35s trace-verifier
trace-verifier
2m 35s
Trace verifier formal-spec #19: Pull request #3 synchronize by yveshauser
2m 34s trace-verifier
trace-verifier
2m 34s
Trace verifier formal-spec #18: Pull request #3 synchronize by yveshauser
2m 28s trace-verifier
trace-verifier
2m 28s
Trace verifier formal-spec #17: Pull request #3 synchronize by yveshauser
2m 32s trace-verifier
trace-verifier
2m 32s
Trace verifier formal-spec #16: Pull request #3 synchronize by yveshauser
2m 27s trace-verifier
trace-verifier
2m 27s
Trace verifier formal-spec #15: Pull request #3 synchronize by yveshauser
2m 35s trace-verifier
trace-verifier
2m 35s
Trace verifier formal-spec #14: Pull request #3 synchronize by yveshauser
2m 21s trace-verifier
trace-verifier
2m 21s
Trace verifier formal-spec #13: Pull request #3 synchronize by yveshauser
2m 39s trace-verifier
trace-verifier
2m 39s
Trace verifier formal-spec #12: Pull request #3 synchronize by yveshauser
2m 30s trace-verifier
trace-verifier
2m 30s
Trace verifier formal-spec #11: Pull request #3 synchronize by yveshauser
4m 13s trace-verifier
trace-verifier
4m 13s
Trace verifier formal-spec #10: Pull request #3 synchronize by yveshauser
8s trace-verifier
trace-verifier
8s
Trace verifier formal-spec #9: Pull request #3 opened by yveshauser
9s trace-verifier
trace-verifier
9s
Executable Short Leios (#1) formal-spec #8: Commit ee654a4 pushed by yveshauser
4m 5s main
main
4m 5s