Skip to content
Test

[RFC] fixpoint iteration support #1151

Sign in to view logs

[RFC] fixpoint iteration support

[RFC] fixpoint iteration support #1151

Triggered via pull request January 16, 2025 00:36
@carljmcarljm
synchronize #603
carljm:fixpoint
Status Failure
Total duration 19m 29s
Artifacts –

test.yml

on: pull_request
Miri
19m 19s
Miri
Benchmarks
1m 9s
Benchmarks
Matrix: Test
Fit to window
Zoom out
Zoom in

Annotations

6 errors and 3 warnings
Test (beta, false)
Process completed with exit code 101.
Test (nightly, true)
The job was canceled because "beta_false" failed.
Test (nightly, true)
The operation was canceled.
Test (stable, false)
The job was canceled because "beta_false" failed.
Test (stable, false)
The operation was canceled.
Miri
Process completed with exit code 101.
Test (beta, false)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Benchmarks
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Miri
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636