Skip to content

Actions: cardano-scaling/hydra-formal-specification

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
57 workflow runs
57 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Replace latex definitions of validator and minting policy types with … CI #57: Pull request #11 synchronize by locallycompact
September 28, 2024 18:10 4m 22s lc/example-agda-typedef
lc/example-agda-typedef
September 28, 2024 18:10 4m 22s
Replace latex definitions of validator and minting policy types with … CI #56: Pull request #11 synchronize by locallycompact
September 28, 2024 18:09 4m 17s lc/example-agda-typedef
lc/example-agda-typedef
September 28, 2024 18:09 4m 17s
Replace latex definitions of validator and minting policy types with … CI #55: Pull request #11 opened by locallycompact
September 28, 2024 18:09 4m 21s lc/example-agda-typedef
lc/example-agda-typedef
September 28, 2024 18:09 4m 21s
Merge pull request #10 from cardano-scaling/commit-via-deposit CI #54: Commit 34ea745 pushed by ch1bo
September 2, 2024 07:01 9m 24s master
master
September 2, 2024 07:01 9m 24s
Commit via deposit CI #53: Pull request #10 synchronize by ch1bo
September 2, 2024 06:50 9m 22s commit-via-deposit
commit-via-deposit
September 2, 2024 06:50 9m 22s
Commit via deposit CI #52: Pull request #10 synchronize by ch1bo
August 26, 2024 17:29 9m 28s commit-via-deposit
commit-via-deposit
August 26, 2024 17:29 9m 28s
Commit via deposit CI #51: Pull request #10 synchronize by ch1bo
August 26, 2024 17:25 37m 18s commit-via-deposit
commit-via-deposit
August 26, 2024 17:25 37m 18s
Commit via deposit CI #50: Pull request #10 opened by ch1bo
August 26, 2024 17:12 9m 22s commit-via-deposit
commit-via-deposit
August 26, 2024 17:12 9m 22s
Merge pull request #9 from cardano-scaling/revive-offchain-fig CI #49: Commit c024a96 pushed by ch1bo
August 22, 2024 15:52 9m 14s master
master
August 22, 2024 15:52 9m 14s
Revive incremental commit figure updates CI #48: Pull request #9 synchronize by ch1bo
August 22, 2024 15:52 9m 14s revive-offchain-fig
revive-offchain-fig
August 22, 2024 15:52 9m 14s
Merge pull request #8 from cardano-scaling/workflow-fixes CI #47: Commit 62f2481 pushed by ch1bo
August 22, 2024 15:52 9m 16s master
master
August 22, 2024 15:52 9m 16s
Revive incremental commit figure updates CI #46: Pull request #9 synchronize by ch1bo
August 20, 2024 16:42 9m 17s revive-offchain-fig
revive-offchain-fig
August 20, 2024 16:42 9m 17s
Revive incremental commit figure updates CI #45: Pull request #9 synchronize by ch1bo
August 20, 2024 16:36 8m 38s revive-offchain-fig
revive-offchain-fig
August 20, 2024 16:36 8m 38s
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