Skip to content
.github/workflows/config.yml

Update Latin Proofs #14

Sign in to view logs

Update Latin Proofs

Update Latin Proofs #14

Triggered via push January 22, 2024 11:33
@StefanPeevStefanPeev
pushed 5306f7b
main
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
Error
No event triggers defined in `on`