build

Merge pull request #477 from cryspen/opam_0_7_2 #781

Sign in to view logs

Triggered via push September 30, 2024 06:46

franziskuskiefer

main

Status Skipped

Total duration 6s

Artifacts –

build.yml

on: push

Matrix: android

Matrix: linux

Matrix: macos

Matrix: windows