Skip to content

[RFC] fixpoint iteration support #995

[RFC] fixpoint iteration support

[RFC] fixpoint iteration support #995

Triggered via pull request November 15, 2024 16:38
Status Failure
Total duration 6h 0m 27s
Artifacts

test.yml

on: pull_request
Matrix: Test
Fit to window
Zoom out
Zoom in

Annotations

7 errors and 1 warning
Miri
Process completed with exit code 101.
Test (beta, false)
The job running on runner GitHub Actions 19 has exceeded the maximum execution time of 360 minutes.
Test (beta, false)
The operation was canceled.
Test (nightly, true)
The job running on runner GitHub Actions 20 has exceeded the maximum execution time of 360 minutes.
Test (nightly, true)
The operation was canceled.
Test (stable, false)
The job running on runner GitHub Actions 12 has exceeded the maximum execution time of 360 minutes.
Test (stable, false)
The operation was canceled.
CodSpeed Action Update
A new version v3 is available at https://github.com/CodSpeedHQ/action/releases . You're currently using version v2. Please update to the latest version for improved features and bug fixes.