Skip to content

Actions: cardano-scaling/hydra-formal-specification

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
94 workflow runs
94 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Convert pdf images to svg (#16) CI #94: Commit 27d1777 pushed by locallycompact
January 27, 2025 18:41 17m 0s master
master
January 27, 2025 18:41 17m 0s
Convert pdf images to svg CI #93: Pull request #16 synchronize by locallycompact
January 27, 2025 18:21 17m 20s lc/pdf2svg
lc/pdf2svg
January 27, 2025 18:21 17m 20s
Convert pdf images to svg CI #92: Pull request #16 synchronize by locallycompact
January 27, 2025 15:23 12m 59s lc/pdf2svg
lc/pdf2svg
January 27, 2025 15:23 12m 59s
Merge pull request #12 from cardano-scaling/incremental-commits-changes CI #91: Commit 0fc3da2 pushed by v0d1ch
January 27, 2025 14:58 13m 36s master
master
January 27, 2025 14:58 13m 36s
Incremental commits spec changes CI #90: Pull request #12 synchronize by v0d1ch
January 27, 2025 14:40 14m 1s incremental-commits-changes
incremental-commits-changes
January 27, 2025 14:40 14m 1s
Incremental commits spec changes CI #89: Pull request #12 synchronize by v0d1ch
January 27, 2025 14:26 13m 46s incremental-commits-changes
incremental-commits-changes
January 27, 2025 14:26 13m 46s
Convert pdf images to svg CI #88: Pull request #16 opened by locallycompact
January 27, 2025 14:02 12m 32s lc/pdf2svg
lc/pdf2svg
January 27, 2025 14:02 12m 32s
Merge pull request #15 from cardano-scaling/lc/remove-unused-images CI #87: Commit 50dff76 pushed by noonio
January 27, 2025 11:54 12m 21s master
master
January 27, 2025 11:54 12m 21s
Remove unused images CI #86: Pull request #15 opened by locallycompact
January 27, 2025 10:54 12m 32s lc/remove-unused-images
lc/remove-unused-images
January 27, 2025 10:54 12m 32s
Incremental commits spec changes CI #85: Pull request #12 synchronize by noonio
January 23, 2025 10:24 14m 0s incremental-commits-changes
incremental-commits-changes
January 23, 2025 10:24 14m 0s
Incremental commits spec changes CI #84: Pull request #12 synchronize by v0d1ch
January 23, 2025 10:22 11m 43s incremental-commits-changes
incremental-commits-changes
January 23, 2025 10:22 11m 43s
Incremental commits spec changes CI #83: Pull request #12 synchronize by v0d1ch
January 23, 2025 10:08 12m 40s incremental-commits-changes
incremental-commits-changes
January 23, 2025 10:08 12m 40s
Incremental commits spec changes CI #82: Pull request #12 synchronize by v0d1ch
January 22, 2025 20:28 12m 12s incremental-commits-changes
incremental-commits-changes
January 22, 2025 20:28 12m 12s
Incremental commits spec changes CI #81: Pull request #12 synchronize by v0d1ch
January 22, 2025 18:10 12m 15s incremental-commits-changes
incremental-commits-changes
January 22, 2025 18:10 12m 15s
Incremental commits spec changes CI #80: Pull request #12 synchronize by v0d1ch
January 22, 2025 16:40 12m 26s incremental-commits-changes
incremental-commits-changes
January 22, 2025 16:40 12m 26s
WIP: typst CI #79: Pull request #13 synchronize by locallycompact
January 19, 2025 14:30 10m 23s lc/typst
lc/typst
January 19, 2025 14:30 10m 23s
WIP: typst CI #78: Pull request #13 synchronize by locallycompact
January 19, 2025 14:29 10m 29s lc/typst
lc/typst
January 19, 2025 14:29 10m 29s
WIP: typst CI #77: Pull request #13 synchronize by locallycompact
January 19, 2025 13:42 10m 25s lc/typst
lc/typst
January 19, 2025 13:42 10m 25s
WIP: typst CI #76: Pull request #13 synchronize by locallycompact
January 19, 2025 12:45 10m 41s lc/typst
lc/typst
January 19, 2025 12:45 10m 41s
WIP: typst CI #75: Pull request #13 synchronize by locallycompact
January 19, 2025 12:30 11m 48s lc/typst
lc/typst
January 19, 2025 12:30 11m 48s
WIP: typst CI #74: Pull request #13 synchronize by locallycompact
January 19, 2025 12:15 10m 33s lc/typst
lc/typst
January 19, 2025 12:15 10m 33s
WIP: typst CI #73: Pull request #13 synchronize by locallycompact
January 19, 2025 11:33 10m 26s lc/typst
lc/typst
January 19, 2025 11:33 10m 26s
WIP: typst CI #72: Pull request #13 synchronize by locallycompact
January 18, 2025 21:20 10m 21s lc/typst
lc/typst
January 18, 2025 21:20 10m 21s
WIP: typst CI #71: Pull request #13 synchronize by locallycompact
January 18, 2025 19:15 10m 22s lc/typst
lc/typst
January 18, 2025 19:15 10m 22s
Update nixpkgs and agda libraries (#14) CI #70: Commit 7355e7e pushed by locallycompact
January 18, 2025 18:49 12m 27s master
master
January 18, 2025 18:49 12m 27s