Build

Merge pull request #20 from formalsec/opam-jobs #41

Sign in to view logs

Triggered via push June 13, 2024 12:51

main

Status Success

Total duration 16m 58s

Artifacts –

build.yml

on: push

Matrix: build