Skip to content
CI

feat: formalize slot_is_justifiable_after in Lean4 #787

Sign in to view logs

feat: formalize slot_is_justifiable_after in Lean4

feat: formalize slot_is_justifiable_after in Lean4 #787

Triggered via pull request April 9, 2026 22:46
@MegaRedHandMegaRedHand
synchronize #269
lean-formalization
Status Failure
Total duration 21m 41s
Artifacts –

ci.yml

on: pull_request
Test
8m 3s
Test
Build Lean
2m 38s
Build Lean
Lint
35s
Lint
Test with Lean FFI
13m 16s
Test with Lean FFI
Fit to window
Zoom out
Zoom in

Annotations

1 error
Test with Lean FFI
Process completed with exit code 101.