Merge pull request #138 from tlaplus/mku-ci_ocaml_version #25

Sign in to view logs

Triggered via push June 8, 2024 08:16

kape1395

main

Status Success

Total duration 25m 34s

Artifacts –

ci.yml

on: push

Matrix: Build & Test