MicroHs CI for containers

Don't use reader for SetM on GHC #168

Sign in to view logs

Triggered via pull request February 1, 2025 13:58

meooow25

opened #1103

meooow25:graph-dfs-setm

Status Success

Total duration 3m 5s

Artifacts –

mhs-ci.yml

on: pull_request

build-mhs-containers