CI

Update to v4.14.0-rc2 (`FirstOrder`, `Propositional`, `IntFO`) #798

Sign in to view logs

Triggered via pull request November 12, 2024 01:37

iehality

opened #162

update-latest-fo

Status Failure

Total duration 5m 8s

Artifacts –

ci.yml

on: pull_request

Annotations

2 errors

Build project

lake build failed

Build project

Process completed with exit code 1.