MicroHs CI for containers

Deprecate Data.Set.fold and Data.IntSet.fold #20

Sign in to view logs

Triggered via pull request October 4, 2024 17:12

meooow25

synchronize #1049

meooow25:deprecate-set-fold

Status Success

Total duration 1m 39s

Artifacts –

mhs-ci.yml

on: pull_request

build-mhs-containers