Skip to content
CI

Track lookup values in interpreter and proof #1163

Sign in to view logs

Track lookup values in interpreter and proof

Track lookup values in interpreter and proof #1163

Triggered via pull request January 13, 2025 18:49
@mrmr1993mrmr1993
opened #2951
feature/logup-values-tracking-again
Status Success
Total duration 4h 12m 55s
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.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.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.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.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.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