Skip to content
Quick jobs

Merge pull request #9264 from cabalism/doc/flags-in-constraints #100

Sign in to view logs

Merge pull request #9264 from cabalism/doc/flags-in-constraints

Merge pull request #9264 from cabalism/doc/flags-in-constraints #100

Triggered via push October 21, 2023 16:07
@ffaf1ffaf1
pushed a260cde
master
Status Success
Total duration 9m 7s
Artifacts –

quick-jobs.yml

on: push
Meta checks
8m 54s
Meta checks
Doctest Cabal
7m 54s
Doctest Cabal
Fit to window
Zoom out
Zoom in