Skip to content
Dogfood Proof Corpus

feat(lexicon): lexicon v2 schema as a Nickel contract; loader learns relations and evidence (stage 6c PR 1) #94

Sign in to view logs

feat(lexicon): lexicon v2 schema as a Nickel contract; loader learns relations and evidence (stage 6c PR 1)

feat(lexicon): lexicon v2 schema as a Nickel contract; loader learns relations and evidence (stage 6c PR 1) #94

Triggered via pull request October 20, 2026 13:32
@hyperpolymathhyperpolymath
synchronize #444
claude/zen-brahmagupta-opqqle
Status Success
Total duration 23m 14s
Artifacts –

dogfood-proofs-ci.yml

on: pull_request
Coq
29s
Coq
Lean 4
19s
Lean 4
Lean 4 (verification)
20s
Lean 4 (verification)
Idris2 (verification)
8m 22s
Idris2 (verification)
Agda
3m 17s
Agda
Fit to window
Zoom out
Zoom in

Annotations

4 notices
Lean 4 (verification)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Lean 4
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Coq
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Idris2 (verification)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"