pre-commit

reinstating ignore-plugins-ghc-bounds #5883

Sign in to view logs

Triggered via pull request April 1, 2025 06:34

GuillaumedeVolpiano

opened #4532

GuillaumedeVolpiano:master

Status Success

Total duration 3m 17s

Artifacts –

pre-commit.yml

on: pull_request