Skip to content

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

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
21 workflow runs
21 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Trace verifier formal-spec #21: Pull request #3 synchronize by yveshauser
March 20, 2025 12:28 2m 24s trace-verifier
trace-verifier
March 20, 2025 12:28 2m 24s
Trace verifier formal-spec #20: Pull request #3 synchronize by yveshauser
March 19, 2025 18:27 2m 35s trace-verifier
trace-verifier
March 19, 2025 18:27 2m 35s
Trace verifier formal-spec #19: Pull request #3 synchronize by yveshauser
March 19, 2025 18:13 2m 34s trace-verifier
trace-verifier
March 19, 2025 18:13 2m 34s
Trace verifier formal-spec #18: Pull request #3 synchronize by yveshauser
March 19, 2025 18:08 2m 28s trace-verifier
trace-verifier
March 19, 2025 18:08 2m 28s
Trace verifier formal-spec #17: Pull request #3 synchronize by yveshauser
March 18, 2025 13:56 2m 32s trace-verifier
trace-verifier
March 18, 2025 13:56 2m 32s
Trace verifier formal-spec #16: Pull request #3 synchronize by yveshauser
March 18, 2025 10:47 2m 27s trace-verifier
trace-verifier
March 18, 2025 10:47 2m 27s
Trace verifier formal-spec #15: Pull request #3 synchronize by yveshauser
March 18, 2025 10:31 2m 35s trace-verifier
trace-verifier
March 18, 2025 10:31 2m 35s
Trace verifier formal-spec #14: Pull request #3 synchronize by yveshauser
March 18, 2025 09:36 2m 21s trace-verifier
trace-verifier
March 18, 2025 09:36 2m 21s
Trace verifier formal-spec #13: Pull request #3 synchronize by yveshauser
March 17, 2025 14:42 2m 39s trace-verifier
trace-verifier
March 17, 2025 14:42 2m 39s
Trace verifier formal-spec #12: Pull request #3 synchronize by yveshauser
March 14, 2025 14:49 2m 30s trace-verifier
trace-verifier
March 14, 2025 14:49 2m 30s
Trace verifier formal-spec #11: Pull request #3 synchronize by yveshauser
March 14, 2025 14:24 4m 13s trace-verifier
trace-verifier
March 14, 2025 14:24 4m 13s
Trace verifier formal-spec #10: Pull request #3 synchronize by yveshauser
March 14, 2025 14:22 8s trace-verifier
trace-verifier
March 14, 2025 14:22 8s
Trace verifier formal-spec #9: Pull request #3 opened by yveshauser
March 14, 2025 11:25 9s trace-verifier
trace-verifier
March 14, 2025 11:25 9s
Executable Short Leios (#1) formal-spec #8: Commit ee654a4 pushed by yveshauser
February 20, 2025 16:56 4m 5s main
main
February 20, 2025 16:56 4m 5s
Executable Short Leios formal-spec #7: Pull request #1 synchronize by yveshauser
February 20, 2025 16:42 3m 58s conformance-testing
conformance-testing
February 20, 2025 16:42 3m 58s
Executable Short Leios formal-spec #6: Pull request #1 synchronize by yveshauser
February 19, 2025 12:41 4m 18s conformance-testing
conformance-testing
February 19, 2025 12:41 4m 18s
Executable Short Leios formal-spec #5: Pull request #1 synchronize by yveshauser
February 19, 2025 08:35 3m 52s conformance-testing
conformance-testing
February 19, 2025 08:35 3m 52s
IsValid predicates formal-spec #4: Pull request #2 opened by yveshauser
February 18, 2025 09:29 4m 1s yveshauser/validity-impl
yveshauser/validity-impl
February 18, 2025 09:29 4m 1s
Executable Short Leios formal-spec #3: Pull request #1 opened by yveshauser
February 18, 2025 08:17 3m 50s conformance-testing
conformance-testing
February 18, 2025 08:17 3m 50s
Add reference implementation (#111) formal-spec #2: Commit 871c01f pushed by yveshauser
February 17, 2025 20:42 1m 49s main
main
February 17, 2025 20:42 1m 49s
Add reference implementation (#111) formal-spec #1: Commit db9c325 pushed by yveshauser
February 17, 2025 20:26 8m 52s main
main
February 17, 2025 20:26 8m 52s