Skip to content

fix: the smt cache height #777

fix: the smt cache height

fix: the smt cache height #777

Triggered via pull request January 23, 2025 13:11
@SWvheerdenSWvheerden
synchronize #6757
Status Success
Total duration 9s
Artifacts

pr_signed_commits_check.yml

on: pull_request_target
Check signed commits in PR
1s
Check signed commits in PR
Fit to window
Zoom out
Zoom in

Annotations

2 warnings and 3 notices
Check signed commits in PR
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
1 out of 2 runs failed: Scenario: Simple reorg with burned output: tests/features/Reorgs.feature:33:3: /#L0
artifacts/junit-cucumber/cucumber-output-junit.xml [took 3m 48s]
36 tests found
There are 36 tests, see "Raw output" for the full list of tests.
1350 tests found (test 1 to 801)
There are 1350 tests, see "Raw output" for the list of tests 1 to 801.
1350 tests found (test 802 to 1350)
There are 1350 tests, see "Raw output" for the list of tests 802 to 1350.