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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build Ubuntu Jammy package
10m 20s
Build Ubuntu Jammy package
10m 20s
Build LLVM backend from source
4m 31s
Build LLVM backend from source
4m 31s
Nix flake (self-hosted, linux, normal, ubuntu-20.04)
22m 11s
Nix flake (self-hosted, linux, normal, ubuntu-20.04)
22m 11s
Nix flake (MacM1, self-macos-12)
10m 29s
Nix flake (MacM1, self-macos-12)
19m 29s
1h 44m 2s