Verification Proof Corpora (weekly)

Verification Proof Corpora (weekly) #13

Sign in to view logs

Triggered via schedule July 20, 2026 07:26

main

Status Failure

Total duration 10m 15s

Artifacts –

verification-proofs-cron.yml

on: schedule

Annotations

1 error

Isabelle/HOL

Process completed with exit code 28.