fix(slang): use arith.constant for i1 booleans #2172
hedgar2017test.yaml
on: pull_request
Annotations
14 errors, 5 warnings, and 6 notices
|
Linux x86 gnu
Canceling since a higher priority waiting request for Tests-359 exists
|
|
Linux x86 gnu
The operation was canceled.
|
|
Linux ARM64 gnu
Canceling since a higher priority waiting request for Tests-359 exists
|
|
Linux ARM64 gnu
The operation was canceled.
|
|
MacOS arm64
Canceling since a higher priority waiting request for Tests-359 exists
|
|
MacOS arm64
The operation was canceled.
|
|
cargo-checks
Canceling since a higher priority waiting request for Tests-359 exists
|
|
cargo-checks
The operation was canceled.
|
|
Windows
Canceling since a higher priority waiting request for Tests-359 exists
|
|
Windows
The operation was canceled.
|
|
MacOS x86
Canceling since a higher priority waiting request for Tests-359 exists
|
|
MacOS x86
The operation was canceled.
|
|
Tests
Canceling since a higher priority waiting request for Tests-359 exists
|
|
PR Checks (Tests)
Process completed with exit code 1.
|
|
Linux x86 gnu
SFW CA cert not found — skipping SFW to avoid opaque SSL errors
|
|
Linux ARM64 gnu
SFW CA cert not found — skipping SFW to avoid opaque SSL errors
|
|
cargo-checks
Docker network rm failed with exit code 1
|
|
cargo-checks
SFW CA cert not found — skipping SFW to avoid opaque SSL errors
|
|
Windows
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: msys2/setup-msys2@4f806de0a5a7294ffabaff804b38a9b435a73bda. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Linux x86 gnu
SFW available but CA cert missing — disabling to prevent SSL errors
|
|
Linux ARM64 gnu
SFW available but CA cert missing — disabling to prevent SSL errors
|
|
MacOS arm64
SFW skipped: MITM proxy not compatible with macOS TLS stack
|
|
cargo-checks
SFW available but CA cert missing — disabling to prevent SSL errors
|
|
Windows
SFW skipped: MITM proxy not compatible with Windows TLS stack
|
|
MacOS x86
SFW skipped: MITM proxy not compatible with macOS TLS stack
|