Merge pull request #9383 from Kleidukos/master #105
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
quick-jobs.yml
on: push
Meta checks
8m 12s
Doctest Cabal
5m 12s