Skip to content

Use spec from hydra-formal-specification (#1548) #4599

Use spec from hydra-formal-specification (#1548)

Use spec from hydra-formal-specification (#1548) #4599

Triggered via push August 7, 2024 06:40
Status Success
Total duration 10m 3s
Artifacts 11

ci-nix.yaml

on: push
Matrix: Benchmarks
Matrix: Build & test
Build haddock using nix
1m 4s
Build haddock using nix
Build specification using nix
1m 28s
Build specification using nix
nix flake check
3m 56s
nix flake check
Publish benchmark results
0s
Publish benchmark results
Publish test results
9s
Publish test results
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
benchmarks-hydra-cluster-bench-e2e
754 Bytes
benchmarks-hydra-node-micro
96.9 KB
benchmarks-hydra-node-tx-cost
1.82 KB
benchmarks-plutus-merkle-tree-on-chain-cost
435 Bytes
haddocks
5.41 MB
hydra-spec
683 KB
test-results-hydra-cluster
5.04 KB
test-results-hydra-node
24.1 KB
test-results-hydra-plutus
964 Bytes
test-results-plutus-cbor
709 Bytes
test-results-plutus-merkle-tree
868 Bytes