Use spec from hydra-formal-specification #4591
ci-nix.yaml
on: pull_request
Matrix: Benchmarks
Matrix: Build & test
Build haddock using nix
1m 5s
Build specification using nix
1m 29s
nix flake check
6m 32s
Publish benchmark results
0s
Publish test results
0s
Documentation
0s
Annotations
22 errors
Build & test (hydra-tui)
Canceling since a higher priority waiting request for 'CI-1548' exists
|
Build & test (hydra-tui)
The operation was canceled.
|
Build & test (hydra-plutus)
Canceling since a higher priority waiting request for 'CI-1548' exists
|
Build & test (hydra-plutus)
The operation was canceled.
|
Benchmarks (hydra-cluster, bench-e2e, datasets datasets/1-node.json datasets/3-nodes.json --outpu...
Canceling since a higher priority waiting request for 'CI-1548' exists
|
Benchmarks (hydra-cluster, bench-e2e, datasets datasets/1-node.json datasets/3-nodes.json --outpu...
The operation was canceled.
|
Build & test (plutus-cbor)
Canceling since a higher priority waiting request for 'CI-1548' exists
|
Build & test (plutus-cbor)
The operation was canceled.
|
Benchmarks (plutus-merkle-tree, on-chain-cost, $(pwd)/../benchmarks)
Canceling since a higher priority waiting request for 'CI-1548' exists
|
Benchmarks (plutus-merkle-tree, on-chain-cost, $(pwd)/../benchmarks)
The operation was canceled.
|
Build & test (hydra-cluster)
Canceling since a higher priority waiting request for 'CI-1548' exists
|
Build & test (hydra-cluster)
The operation was canceled.
|
Benchmarks (hydra-node, tx-cost, --output-directory $(pwd)/../benchmarks)
Canceling since a higher priority waiting request for 'CI-1548' exists
|
Benchmarks (hydra-node, tx-cost, --output-directory $(pwd)/../benchmarks)
The operation was canceled.
|
Benchmarks (hydra-node, micro, -o $(pwd)/../benchmarks/ledger-bench.html)
Canceling since a higher priority waiting request for 'CI-1548' exists
|
Benchmarks (hydra-node, micro, -o $(pwd)/../benchmarks/ledger-bench.html)
The operation was canceled.
|
Build & test (plutus-merkle-tree)
Canceling since a higher priority waiting request for 'CI-1548' exists
|
Build & test (plutus-merkle-tree)
The operation was canceled.
|
Build & test (hydra-node)
Canceling since a higher priority waiting request for 'CI-1548' exists
|
Build & test (hydra-node)
The operation was canceled.
|
nix flake check
Canceling since a higher priority waiting request for 'CI-1548' exists
|
nix flake check
The operation was canceled.
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
haddocks
|
5.41 MB |
|
hydra-spec
|
683 KB |
|