MicroHs CI for containers

Use NonEmpty in intersections #22

Sign in to view logs

Triggered via pull request October 9, 2024 13:56

meooow25

opened #1052

meooow25:intersections-nonempty

Status Success

Total duration 1m 39s

Artifacts –

mhs-ci.yml

on: pull_request

build-mhs-containers