CI

feat: add projected compilation #88

Sign in to view logs

Triggered via push October 8, 2024 16:44

uulm-janbaudisch

projected-dpll

Status Failure

Total duration 31s

Artifacts –

CI.yaml

on: push

Matrix: Build

Annotations

1 error

Build (x86_64-linux, x86_64-linux, ubuntu-24.04, bundled, /lib64/ld-linux-x86-64.so.2)

Process completed with exit code 1.