Skip to content

(spec) add spec for Jellyfish Merkle Tree #2

(spec) add spec for Jellyfish Merkle Tree

(spec) add spec for Jellyfish Merkle Tree #2

Triggered via pull request December 10, 2024 20:24
Status Success
Total duration 3m 31s
Artifacts

quint.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

8 warnings
lmt-check
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
lmt-check
Restore cache failed: Dependencies file is not found in /home/runner/work/left-curve/left-curve. Supported file pattern: go.sum
Simulate simple pruning
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Typecheck
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Simulate simple
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Simulate fancy pruning
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Simulate fancy
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Test
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636