Skip to content

Add some theorems

Add some theorems #94

Triggered via push February 2, 2024 10:13
Status Failure
Total duration
Artifacts

This workflow graph cannot be shown

A graph will be generated the next time this workflow is run.

Annotations

1 error
Invalid workflow file: .github/workflows/preview.yml#L12
You have an error in your yaml syntax on line 12