Skip to content
lint and suggest

feat: generalize HasCompl.compl image/preimage lemmas to Involutive #142842

Sign in to view logs

feat: generalize HasCompl.compl image/preimage lemmas to Involutive

feat: generalize HasCompl.compl image/preimage lemmas to Involutive #142842

Triggered via pull request January 16, 2026 13:36
@Ruben-VandeVeldeRuben-VandeVelde
opened #34040
Ruben-VandeVelde:more-image
Status Success
Total duration 2m 18s
Artifacts –

lint_and_suggest_pr.yml

on: pull_request
Lint and suggest
2m 15s
Lint and suggest
Fit to window
Zoom out
Zoom in