Fixes for MInt serialization into the proof trace #2361
theo25test.yml
on: pull_request
Matrix: Build LLVM backend from source
Matrix: Build Ubuntu package
Matrix: Nix flake
Annotations
1 error and 2 warnings
|
Nix flake (self-hosted, linux, normal, ubuntu-24.04)
Process completed with exit code 1.
|
|
Nix flake (self-hosted, linux, normal, ubuntu-24.04)
The following actions use a deprecated Node.js version and will be forced to run on node20: cachix/cachix-action@v12. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
Nix flake (MacM1, self-macos-12)
The following actions use a deprecated Node.js version and will be forced to run on node20: cachix/cachix-action@v12. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|