.github/workflows/build_2022.yml

Adaptations for new shallow expressions #86

Sign in to view logs

Triggered via push April 23, 2025 18:07

isabelle2025

Status Failure

Total duration 2m 7s

Artifacts –

build_2022.yml

on: push

Annotations

1 error

Build Theory

Process completed with exit code 1.