Skip to content

Use spec from hydra-formal-specification #4592

Use spec from hydra-formal-specification

Use spec from hydra-formal-specification #4592

Triggered via pull request August 6, 2024 15:23
Status Success
Total duration 23m 2s
Artifacts 11

ci-nix.yaml

on: pull_request
Matrix: Benchmarks
Matrix: Build & test
Build haddock using nix
1m 5s
Build haddock using nix
Build specification using nix
1m 41s
Build specification using nix
Publish benchmark results
7s
Publish benchmark results
Publish test results
18s
Publish test results
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
benchmarks-hydra-cluster-bench-e2e
747 Bytes
benchmarks-hydra-node-micro
96.7 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.2 KB
test-results-hydra-plutus
966 Bytes
test-results-plutus-cbor
709 Bytes
test-results-plutus-merkle-tree
869 Bytes