Skip to content
CI

Track lookup values in interpreter and proof #1152

Sign in to view logs

Track lookup values in interpreter and proof

Track lookup values in interpreter and proof #1152

Triggered via pull request January 12, 2025 12:19
@mrmr1993mrmr1993
synchronize #2946
feature/logup-values-tracking
Status Success
Total duration 57m 35s
Artifacts –

ci.yml

on: pull_request
Matrix: Run checks and tests
Matrix: Formatting
Matrix: Building MDBook
Fit to window
Zoom out
Zoom in

Annotations

9 warnings
Formatting (nightly)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Building MDBook (1.72)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Run checks and tests (1.79, 4.14, 20)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Run checks and tests (1.78, 4.14, 20)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Run checks and tests (1.77, 4.14, 20)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Run checks and tests (1.76, 4.14, 20)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Run checks and tests (1.75, 4.14, 20)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Run checks and tests (1.73, 4.14, 20)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Run checks and tests (1.72, 4.14, 20)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636