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

Workflow fixes CI #44: Pull request #8 synchronize by ch1bo
August 20, 2024 16:36 9m 19s workflow-fixes
workflow-fixes
August 20, 2024 16:36 9m 19s
Workflow fixes CI #43: Pull request #8 synchronize by ch1bo
August 20, 2024 16:32 51s workflow-fixes
workflow-fixes
August 20, 2024 16:32 51s
Workflow fixes CI #42: Pull request #8 synchronize by ch1bo
August 20, 2024 16:30 50s workflow-fixes
workflow-fixes
August 20, 2024 16:30 50s
Revive incremental commit figure updates CI #41: Pull request #9 opened by ch1bo
August 20, 2024 16:09 8m 35s revive-offchain-fig
revive-offchain-fig
August 20, 2024 16:09 8m 35s
Workflow fixes CI #40: Pull request #8 synchronize by ch1bo
August 20, 2024 15:54 45s workflow-fixes
workflow-fixes
August 20, 2024 15:54 45s
Workflow fixes CI #39: Pull request #8 synchronize by ch1bo
August 20, 2024 15:42 9m 28s workflow-fixes
workflow-fixes
August 20, 2024 15:42 9m 28s
Workflow fixes CI #38: Pull request #8 synchronize by ch1bo
August 20, 2024 15:27 8m 57s workflow-fixes
workflow-fixes
August 20, 2024 15:27 8m 57s
Workflow fixes CI #37: Pull request #8 synchronize by ch1bo
August 20, 2024 15:20 8m 40s workflow-fixes
workflow-fixes
August 20, 2024 15:20 8m 40s
Workflow fixes CI #36: Pull request #8 synchronize by ch1bo
August 20, 2024 13:07 22s workflow-fixes
workflow-fixes
August 20, 2024 13:07 22s
Update the spec with decommit offchain changes (#7) CI #35: Commit 56f025e pushed by ch1bo
August 7, 2024 15:34 8m 56s master
master
August 7, 2024 15:34 8m 56s
No processing of transactions during a decommit CI #34: Pull request #7 synchronize by v0d1ch
August 7, 2024 14:58 9m 0s spec-no-processing-of-transactions-during-decommit
spec-no-processing-of-transactions-during-decommit
August 7, 2024 14:58 9m 0s
No processing of transactions during a decommit CI #33: Pull request #7 opened by v0d1ch
August 7, 2024 13:35 9m 23s spec-no-processing-of-transactions-during-decommit
spec-no-processing-of-transactions-during-decommit
August 7, 2024 13:35 9m 23s
Update from incremental commit work CI #32: Commit 607b383 pushed by locallycompact
August 5, 2024 12:17 8m 38s master
master
August 5, 2024 12:17 8m 38s
Recopy over master from hydra repo CI #31: Commit 035baae pushed by locallycompact
July 31, 2024 09:20 8m 37s master
master
July 31, 2024 09:20 8m 37s
Call derivation hydra-spec.pdf CI #30: Commit 0f0a88a pushed by locallycompact
July 16, 2024 16:03 8m 47s master
master
July 16, 2024 16:03 8m 47s
Use inherit CI #29: Commit 5f67a95 pushed by locallycompact
July 5, 2024 07:25 8m 54s master
master
July 5, 2024 07:25 8m 54s
README: Add devShell CI #28: Commit 2b99a9a pushed by locallycompact
July 5, 2024 07:16 8m 44s master
master
July 5, 2024 07:16 8m 44s
Import rest of sections CI #27: Commit 4bc42bf pushed by locallycompact
June 27, 2024 14:29 8m 51s master
master
June 27, 2024 14:29 8m 51s
Add bibliography CI #26: Commit 3e36a5f pushed by locallycompact
June 26, 2024 17:00 9m 2s master
master
June 26, 2024 17:00 9m 2s
Convert from book to article CI #25: Commit bdf9144 pushed by locallycompact
June 26, 2024 16:03 8m 51s master
master
June 26, 2024 16:03 8m 51s
Plain tex (#6) CI #24: Commit e7f28bf pushed by locallycompact
June 26, 2024 15:38 8m 46s master
master
June 26, 2024 15:38 8m 46s
Plain tex CI #23: Pull request #6 opened by locallycompact
June 26, 2024 15:36 8m 47s plain-tex
plain-tex
June 26, 2024 15:36 8m 47s
Don't run latex triplicated (#5) CI #22: Commit 624ccdb pushed by locallycompact
June 26, 2024 10:40 9m 8s master
master
June 26, 2024 10:40 9m 8s
Don't run latex triplicated CI #21: Pull request #5 opened by locallycompact
June 26, 2024 10:40 9m 13s no-triplicate
no-triplicate
June 26, 2024 10:40 9m 13s
Try importing multiple agda files (#4) CI #20: Commit 6b196a0 pushed by locallycompact
June 26, 2024 10:34 9m 0s master
master
June 26, 2024 10:34 9m 0s