Skip to content
Test

[RFC] fixpoint iteration support #1057

Sign in to view logs

[RFC] fixpoint iteration support

[RFC] fixpoint iteration support #1057

Triggered via pull request December 18, 2024 02:44
@carljmcarljm
synchronize #603
carljm:fixpoint
Status Failure
Total duration 22m 1s
Artifacts –

test.yml

on: pull_request
Miri
21m 52s
Miri
Benchmarks
1m 42s
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