CI: need the opam file #3

Triggered via push October 31, 2024 14:34

main

Status Success

Total duration 4m 10s

Artifacts 1

deploy.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	12.1 MB