chore(ci): add dormant push-email notification workflow (#53) #63
hyperpolymathproof-corpus.yml
on: push
idris2 0.8.0 --build git-reticulator-proofs
1h 35m
Annotations
2 errors
|
idris2 0.8.0 --build git-reticulator-proofs
Canceling since a higher priority waiting request for Proof Corpus-refs/heads/main exists
|
|
Proof Corpus
Canceling since a higher priority waiting request for Proof Corpus-refs/heads/main exists
|