Build on other platforms

Add a dune package management GHA workflow #1017

Sign in to view logs

Re-run triggered April 22, 2025 13:52

Julow

#2696

Sudha247:dune-pkg-ci

Status Success

Total duration 6m 25s

Artifacts –

build-others.yml

on: pull_request

Matrix: build-others