Label PRs

Remove GHC repetitions from Github actions #75

Sign in to view logs

Triggered via pull request October 9, 2025 07:54

sodic

opened #3241

filip-remove-ghc-repetitions

Status Success

Total duration 9s

Artifacts –

pr-label.yml

on: pull_request

Label external PRs