Skip to content
ci

feat: add lemma code-action #7762

Sign in to view logs

feat: add lemma code-action

feat: add lemma code-action #7762

Triggered via pull request August 14, 2024 14:09
@adomaniadomani
synchronize #625
adomani:adomani/lemma_vs_theorem
Status Failure
Total duration 54s
Artifacts –

build.yml

on: pull_request
Build
42s
Build
Fit to window
Zoom out
Zoom in

Annotations

1 error
Build
Process completed with exit code 1.