.github/workflows/build.yml

Update for Isabelle2023 compatibility #32

Sign in to view logs

Summary
Jobs
- Build Theory
Run details
- Usage
- Workflow file

Triggered via push November 7, 2023 17:34

cplaursen

finite-sets

Status Failure

Total duration 2m 4s

Artifacts –

build.yml

on: push

Annotations

1 error

Build Theory

Process completed with exit code 1.