.github/workflows/build_2021-1.yml

Fixed the form of an indep lemma #21

Sign in to view logs

Triggered via push July 7, 2025 01:54

main

Status Failure

Total duration 2m 4s

Artifacts –

build_2021-1.yml

on: push

Annotations

1 error

Build Theory

Process completed with exit code 1.