This repository has been archived by the owner on Oct 3, 2024. It is now read-only.

Add missing license field in opam file #7

Triggered via push September 6, 2024 16:40

main

Status Success

Total duration 2m 29s

Artifacts 1

docs.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	600 KB