Main workflow

Merge pull request #12 from codex-semantics-library/map-difference #137

Sign in to view logs

Triggered via push July 24, 2024 08:16

dlesbre

main

Status Success

Total duration 6m 31s

Artifacts –

ocaml.yml

on: push

Matrix: build-test-doc

Matrix: build-test