Skip to content
Run LLVM backend tests

Remove sentinel for end of KORE terms in the proof hint format #2053

Sign in to view logs

Remove sentinel for end of KORE terms in the proof hint format

Remove sentinel for end of KORE terms in the proof hint format #2053

Re-run triggered May 31, 2024 18:42
@theo25theo25
#1076
delimeter
Status Success
Total duration 19m 37s
Artifacts –

test.yml

on: pull_request
Build LLVM backend from source
4m 31s
Build LLVM backend from source
Build Ubuntu Jammy package
10m 20s
Build Ubuntu Jammy package
Matrix: Nix flake
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Nix flake (self-hosted, linux, normal, ubuntu-20.04)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: cachix/cachix-action@v12. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Nix flake (MacM1, self-macos-12)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: cachix/cachix-action@v12. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.