Skip to content
Ubuntu build

[Refractor] contradiction over ⊥-elim in ¬¬-pull def #4474

Sign in to view logs

[Refractor] contradiction over ⊥-elim in ¬¬-pull def

[Refractor] contradiction over ⊥-elim in ¬¬-pull def #4474

Triggered via pull request March 12, 2025 19:26
@jmougeotjmougeot
synchronize #2659
jmougeot:contradiction6
Status Success
Total duration 37m 44s
Artifacts –

ci-ubuntu.yml

on: pull_request
test-stdlib
37m 40s
test-stdlib
Fit to window
Zoom out
Zoom in