Skip to content
ci

feat: add lemma code-action #7761

Sign in to view logs

feat: add lemma code-action

feat: add lemma code-action #7761

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

build.yml

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

Annotations

1 error
Build
Process completed with exit code 1.