Ubuntu build

[Refractor] contradiction over ⊥-elim in `Data/List/Fresh/Relation.Unary.Any.Propreties` #4484

Sign in to view logs

Triggered via pull request March 12, 2025 21:24

jmougeot

opened #2669

jmougeot:Cont17

Status Success

Total duration 38m 55s

Artifacts –

ci-ubuntu.yml

on: pull_request