fix(codegen): AOT BinaryI arithmetic on opaque-float operands uses fl… #330
old8manaudit-gates.yml
on: push
In-process audit gates
30m 17s
Differential Lean checker
30m 17s
External-prover replay (Lean / Coq / Isabelle)
2m 51s
Annotations
5 errors and 6 warnings
|
External-prover replay (Lean / Coq / Isabelle)
Process completed with exit code 2.
|
|
Differential Lean checker
The job has exceeded the maximum execution time of 30m0s
|
|
Differential Lean checker
The operation was canceled.
|
|
In-process audit gates
The job has exceeded the maximum execution time of 30m0s
|
|
In-process audit gates
The operation was canceled.
|
|
External-prover replay (Lean / Coq / Isabelle)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, actions/checkout@v4, actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
External-prover replay (Lean / Coq / Isabelle)
No files were found with the provided path: core/target/audit-reports/. No artifacts will be uploaded.
|
|
Differential Lean checker
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, actions/checkout@v4, actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Differential Lean checker
No files were found with the provided path: core/target/audit-reports/. No artifacts will be uploaded.
|
|
In-process audit gates
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, actions/checkout@v4, actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
In-process audit gates
No files were found with the provided path: core/target/audit-reports/. No artifacts will be uploaded.
|