Check whitespace

[Refractor] contradiction over ⊥-elim `src/Data/Vec/Functional/Properties.agda` #1447

Sign in to view logs

Triggered via pull request March 12, 2025 20:33

jmougeot

opened #2664

jmougeot:contradiction12

Status Success

Total duration 11s

Artifacts –

whitespace.yml

on: pull_request

check-whitespace