pre-commit

enable gadt for ghc-9.12 (#4568) #6027

Sign in to view logs

Triggered via push April 22, 2025 14:43

GuillaumedeVolpiano

master

Status Success

Total duration 3m 33s

Artifacts –

pre-commit.yml

on: push