Allow Isabelle verify for trivial goals #74
hyperpolymathmirror.yml
on: push
mirror-gitlab
4s
mirror-bitbucket
6s
mirror-codeberg
8s
mirror-sourcehut
8s
mirror-disroot
mirror-gitea
mirror-radicle
Annotations
3 errors
|
mirror-gitlab
Process completed with exit code 1.
|
|
mirror-bitbucket
Process completed with exit code 1.
|
|
mirror-codeberg
Process completed with exit code 128.
|