Skip to content

Actions: input-output-hk/ouroboros-leios

Actions

conformance

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
conformance.yaml
88 workflow runs
88 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Reference formal specification that includes Full-Short Leios (#405) conformance #88: Commit a34d495 pushed by yveshauser
July 2, 2025 08:09 4m 16s main
main
July 2, 2025 08:09 4m 16s
Reference formal specification that includes Full-Short Leios conformance #87: Pull request #405 synchronize by yveshauser
July 2, 2025 07:52 8m 3s yveshauser/full-short-leios-trace-verifier
yveshauser/full-short-leios-trace-verifier
July 2, 2025 07:52 8m 3s
Reference formal specification that includes Full-Short Leios conformance #86: Pull request #405 synchronize by yveshauser
July 2, 2025 07:35 4m 38s yveshauser/full-short-leios-trace-verifier
yveshauser/full-short-leios-trace-verifier
July 2, 2025 07:35 4m 38s
Update Logbook (#441) conformance #85: Commit 96b6a65 pushed by yveshauser
July 2, 2025 07:24 12m 52s main
main
July 2, 2025 07:24 12m 52s
Update Logbook conformance #84: Pull request #441 synchronize by yveshauser
July 2, 2025 07:23 13m 3s yveshauser/trace-verifier-profiling
yveshauser/trace-verifier-profiling
July 2, 2025 07:23 13m 3s
Update Logbook conformance #83: Pull request #441 synchronize by yveshauser
July 2, 2025 07:22 13m 7s yveshauser/trace-verifier-profiling
yveshauser/trace-verifier-profiling
July 2, 2025 07:22 13m 7s
Update Logbook conformance #82: Pull request #441 synchronize by yveshauser
July 2, 2025 07:20 13m 7s yveshauser/trace-verifier-profiling
yveshauser/trace-verifier-profiling
July 2, 2025 07:20 13m 7s
Update Logbook conformance #81: Pull request #441 opened by yveshauser
July 2, 2025 07:14 21m 47s yveshauser/trace-verifier-profiling
yveshauser/trace-verifier-profiling
July 2, 2025 07:14 21m 47s
Add leios-late-ib-inclusion to the Haskell simulator (#413) conformance #80: Commit b5993e0 pushed by nfrisby
June 25, 2025 14:55 3m 33s main
main
June 25, 2025 14:55 3m 33s
Add leios-late-ib-inclusion to the Haskell simulator conformance #79: Pull request #413 synchronize by nfrisby
June 25, 2025 14:42 8m 36s nfrisby/issue-410-LateIbs
nfrisby/issue-410-LateIbs
June 25, 2025 14:42 8m 36s
Reference formal specification that includes Full-Short Leios conformance #78: Pull request #405 synchronize by yveshauser
June 25, 2025 08:53 7m 41s yveshauser/full-short-leios-trace-verifier
yveshauser/full-short-leios-trace-verifier
June 25, 2025 08:53 7m 41s
Reference formal specification that includes Full-Short Leios conformance #77: Pull request #405 synchronize by yveshauser
June 25, 2025 08:45 8m 20s yveshauser/full-short-leios-trace-verifier
yveshauser/full-short-leios-trace-verifier
June 25, 2025 08:45 8m 20s
Reference formal specification that includes Full-Short Leios conformance #76: Pull request #405 synchronize by yveshauser
June 25, 2025 08:03 6m 48s yveshauser/full-short-leios-trace-verifier
yveshauser/full-short-leios-trace-verifier
June 25, 2025 08:03 6m 48s
Add EB links to EBGenerated event (#416) conformance #75: Commit 37f7c35 pushed by nfrisby
June 23, 2025 20:44 5m 43s main
main
June 23, 2025 20:44 5m 43s
Add EB links to EBGenerated event conformance #74: Pull request #416 synchronize by yveshauser
June 23, 2025 20:00 6m 5s nfrisby/issue-387-ebs-in-EBGenerated
nfrisby/issue-387-ebs-in-EBGenerated
June 23, 2025 20:00 6m 5s
Add leios-late-ib-inclusion to the Haskell simulator conformance #73: Pull request #413 synchronize by nfrisby
June 23, 2025 19:04 6m 49s nfrisby/issue-410-LateIbs
nfrisby/issue-410-LateIbs
June 23, 2025 19:04 6m 49s
Add leios-late-ib-inclusion to the Haskell simulator conformance #72: Pull request #413 synchronize by nfrisby
June 23, 2025 18:55 7m 44s nfrisby/issue-410-LateIbs
nfrisby/issue-410-LateIbs
June 23, 2025 18:55 7m 44s
Add EB links to EBGenerated event conformance #71: Pull request #416 synchronize by nfrisby
June 23, 2025 14:03 4m 51s nfrisby/issue-387-ebs-in-EBGenerated
nfrisby/issue-387-ebs-in-EBGenerated
June 23, 2025 14:03 4m 51s
Add EB links to EBGenerated event conformance #70: Pull request #416 synchronize by yveshauser
June 18, 2025 15:21 6m 53s nfrisby/issue-387-ebs-in-EBGenerated
nfrisby/issue-387-ebs-in-EBGenerated
June 18, 2025 15:21 6m 53s
Add EB links to EBGenerated event conformance #69: Pull request #416 synchronize by nfrisby
June 18, 2025 14:13 5m 28s nfrisby/issue-387-ebs-in-EBGenerated
nfrisby/issue-387-ebs-in-EBGenerated
June 18, 2025 14:13 5m 28s
Add EB links to EBGenerated event conformance #68: Pull request #416 opened by nfrisby
June 18, 2025 13:48 4m 59s nfrisby/issue-387-ebs-in-EBGenerated
nfrisby/issue-387-ebs-in-EBGenerated
June 18, 2025 13:48 4m 59s
Add leios-late-ib-inclusion to the Haskell simulator conformance #67: Pull request #413 synchronize by nfrisby
June 17, 2025 18:52 8m 0s nfrisby/issue-410-LateIbs
nfrisby/issue-410-LateIbs
June 17, 2025 18:52 8m 0s
Add leios-late-ib-inclusion to the Haskell simulator conformance #66: Pull request #413 synchronize by nfrisby
June 17, 2025 18:41 7m 57s nfrisby/issue-410-LateIbs
nfrisby/issue-410-LateIbs
June 17, 2025 18:41 7m 57s
Add leios-late-ib-inclusion to the Haskell simulator conformance #65: Pull request #413 synchronize by nfrisby
June 17, 2025 18:29 5m 8s nfrisby/issue-410-LateIbs
nfrisby/issue-410-LateIbs
June 17, 2025 18:29 5m 8s
Add leios-late-ib-inclusion to the Haskell simulator conformance #64: Pull request #413 synchronize by nfrisby
June 17, 2025 17:47 4m 46s nfrisby/issue-410-LateIbs
nfrisby/issue-410-LateIbs
June 17, 2025 17:47 4m 46s