Skip to content

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

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
158 workflow runs
158 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bootstrapping & Full-Short variant formal-spec #83: Pull request #12 synchronize by yveshauser
2m 27s yveshauser/bootstrapping
yveshauser/bootstrapping
2m 27s
Bootstrapping & Full-Short variant formal-spec #82: Pull request #12 synchronize by yveshauser
2m 27s yveshauser/bootstrapping
yveshauser/bootstrapping
2m 27s
Bootstrapping & Full-Short variant formal-spec #81: Pull request #12 synchronize by yveshauser
2m 21s yveshauser/bootstrapping
yveshauser/bootstrapping
2m 21s
Bootstrapping & Full-Short variant formal-spec #80: Pull request #12 synchronize by yveshauser
2m 27s yveshauser/bootstrapping
yveshauser/bootstrapping
2m 27s
Add some documentation & basic (incorrect) EB referencing in EBs formal-spec #79: Pull request #16 opened by WhatisRT
1m 30s andre/full-leios
andre/full-leios
1m 30s
Formatting formal-spec #78: Commit 8827d4a pushed by WhatisRT
4m 49s main
main
4m 49s
Bootstrapping & Full-Short variant formal-spec #77: Pull request #12 synchronize by yveshauser
2m 18s yveshauser/bootstrapping
yveshauser/bootstrapping
2m 18s
Bootstrapping & Full-Short variant formal-spec #76: Pull request #12 synchronize by yveshauser
2m 38s yveshauser/bootstrapping
yveshauser/bootstrapping
2m 38s
fix: remove safety flag formal-spec #75: Commit cb6f437 pushed by will-break-it
4m 37s main
main
4m 37s
docs: retrigger docs publishing formal-spec #74: Commit b65a370 pushed by will-break-it
1m 20s main
main
1m 20s
fix: spacing formal-spec #73: Commit 88771d2 pushed by will-break-it
Failure main
main
Failure
git: workflow remove closed prs formal-spec #72: Commit b187871 pushed by will-break-it
Failure main
main
Failure
fix: git workflow formal-spec #71: Commit 669c803 pushed by will-break-it
Failure main
main
Failure
git: fix workflow to trigger republish docs for prs merged to main wi… formal-spec #70: Commit f394cf0 pushed by will-break-it
Failure main
main
Failure
docs: add type docs for base module formal-spec #69: Commit 694a190 pushed by will-break-it
4m 48s main
main
4m 48s
Add Networking (#15) formal-spec #68: Commit 33113b7 pushed by WhatisRT
4m 46s main
main
4m 46s
Add Networking formal-spec #67: Pull request #15 opened by WhatisRT
5m 59s andre/networking
andre/networking
5m 59s
docs: add module description for vrf formal-spec #66: Commit 2955620 pushed by will-break-it
14s main
main
14s
docs: add simplified module docs formal-spec #65: Commit 27f0e11 pushed by will-break-it
4m 47s main
main
4m 47s
docs: add module description for network formal-spec #64: Commit 51157f8 pushed by will-break-it
5m 3s main
main
5m 3s
fix: unneeded safe option formal-spec #63: Commit a4a8ca1 pushed by will-break-it
4m 56s main
main
4m 56s
docs: add module description for testing leios workflow formal-spec #62: Commit d95364f pushed by will-break-it
1m 25s main
main
1m 25s
git: add module description for testing workflow formal-spec #61: Commit 3812e8d pushed by will-break-it
6m 15s main
main
6m 15s
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