Print print intermediate configurations after some function events in kore-proof-trace
#2300
Robertorosmaninhotest.yml
on: pull_request
Matrix: Build LLVM backend from source
Matrix: Build Ubuntu package
Matrix: Nix flake
Annotations
4 errors and 2 warnings
|
Build LLVM backend from source (jammy, 15)
Process completed with exit code 1.
|
|
Build LLVM backend from source (noble, 17)
Process completed with exit code 1.
|
|
Nix flake (MacM1, self-macos-12)
Process completed with exit code 1.
|
|
Nix flake (self-hosted, linux, normal, ubuntu-24.04)
Process completed with exit code 1.
|
|
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/
|
|
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/
|