Skip to content

Actions: input-output-hk/ouroboros-leios

Actions

docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yaml
357 workflow runs
357 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

docs docs #207: completed by will-break-it
4s
4s
docs docs #206: Manually run by github-actions bot
5s main
main
5s
docs docs #205: completed by will-break-it
5s
5s
docs docs #204: Manually run by github-actions bot
6s main
main
6s
docs docs #203: completed by will-break-it
4s
4s
site: update agda docs docs #202: Commit 3bcf27d pushed by will-break-it
2m 43s main
main
2m 43s
site: add diagram docs #201: Commit 829b776 pushed by will-break-it
2m 11s main
main
2m 11s
Minor edits to May 12 tech updates (#365) docs #200: Commit 898cbc2 pushed by will-break-it
2m 16s main
main
2m 16s
Minor edits to May 12 tech updates docs #199: Pull request #365 opened by olgahryniuk
1m 56s olgahryniuk:patch-20
olgahryniuk:patch-20
1m 56s
site: remove unrelated modules docs #198: Commit a84cc21 pushed by will-break-it
2m 35s main
main
2m 35s
fix: merged main docs #197: Commit deca9bb pushed by will-break-it
6s main
main
6s
Update 2025-05-12-weekly-progress-summary.md docs #196: Commit 5394b0b pushed by will-break-it
2m 8s main
main
2m 8s
Weekly Update 2025-05-12 docs #195: Pull request #356 synchronize by will-break-it
2m 21s weekly-update-2025-05-12
weekly-update-2025-05-12
2m 21s
Weekly Update 2025-05-12 (#356) docs #194: Commit 8a42d3f pushed by will-break-it
2m 29s main
main
2m 29s
Agda Web Docs (#359) docs #193: Commit 4c506d3 pushed by will-break-it
2m 37s main
main
2m 37s
Agda Web Docs docs #192: Pull request #359 synchronize by will-break-it
2m 6s fs-web
fs-web
2m 6s
Weekly Update 2025-05-12 docs #191: Pull request #356 opened by will-break-it
2m 10s weekly-update-2025-05-12
weekly-update-2025-05-12
2m 10s
sim-rs: make fields non-optional docs #190: Commit 84edd5f pushed by SupernaviX
2m 7s main
main
2m 7s
sim-rs: display more info about EBs with TXs in UI docs #189: Commit 5e5eb48 pushed by SupernaviX
2m 6s main
main
2m 6s
site: add interactive formal spec (#349) docs #188: Commit 99bc4e1 pushed by will-break-it
2m 6s main
main
2m 6s
site: add interactive formal spec docs #187: Pull request #349 opened by will-break-it
1m 42s fs-web
fs-web
1m 42s
Minor tweaks to 2025-05-05-weekly-progress-summary.md (#327) docs #186: Commit 0febb06 pushed by will-break-it
1m 52s main
main
1m 52s
Leios documentation update complete review (#310) docs #185: Commit b59a0a2 pushed by will-break-it
1m 58s main
main
1m 58s
Minor tweaks to 2025-05-05-weekly-progress-summary.md docs #184: Pull request #327 opened by olgahryniuk
1m 37s olgahryniuk:patch-19
olgahryniuk:patch-19
1m 37s
site: weekly updates docs #183: Commit 9c357fb pushed by will-break-it
2m 5s main
main
2m 5s