Skip to content

Allow Isabelle verify for trivial goals #74

Allow Isabelle verify for trivial goals

Allow Isabelle verify for trivial goals #74

Triggered via push January 19, 2026 03:10
Status Failure
Total duration 12s
Artifacts

mirror.yml

on: push
mirror-gitlab
4s
mirror-gitlab
mirror-bitbucket
6s
mirror-bitbucket
mirror-codeberg
8s
mirror-codeberg
mirror-sourcehut
8s
mirror-sourcehut
mirror-disroot
mirror-disroot
mirror-gitea
mirror-gitea
mirror-radicle
mirror-radicle
Fit to window
Zoom out
Zoom in

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.