Skip to content
Ubuntu build

[Refractor] contradiction over ⊥-elim in conf⇒unf def #4468

Sign in to view logs

[Refractor] contradiction over ⊥-elim in conf⇒unf def

[Refractor] contradiction over ⊥-elim in conf⇒unf def #4468

Triggered via pull request March 12, 2025 18:30
@jmougeotjmougeot
opened #2656
jmougeot:contradiction3
Status Success
Total duration 45m 20s
Artifacts –

ci-ubuntu.yml

on: pull_request
test-stdlib
45m 15s
test-stdlib
Fit to window
Zoom out
Zoom in