Verification Proof Corpora (weekly)

chore(licence): reconcile SPDX headers to the AGPL ruling — three-part split #22

Sign in to view logs

Triggered via pull request August 7, 2026 13:44

synchronize #354

chore/licence-reconciliation-agpl

Status Failure

Total duration 10m 35s

Artifacts –

verification-proofs-cron.yml

on: pull_request

Annotations

1 error

Isabelle/HOL

Process completed with exit code 28.