(spec) add spec for Jellyfish Merkle Tree #1
quint.yml
on: pull_request
lmt-check
15s
Typecheck
1m 1s
Test
3m 29s
Simulate fancy
1m 13s
Simulate simple
58s
Simulate simple pruning
52s
Simulate fancy pruning
59s
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
|
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 simple
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 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
|