CI: need the opam file · proof-ninja/albhed@823daa8

Triggered via push October 31, 2024 14:29

main

Status Success

Total duration 7m 35s

Artifacts 5

build.yml

on: push

Matrix: build

Produced during runtime

Name	Size
macos-latest-4.14-main.bc.js Expired	824 KB
macos-latest-5.0-main.bc.js Expired	824 KB
ubuntu-latest-4.14-main.bc.js Expired	824 KB
ubuntu-latest-5.0-main.bc.js Expired	824 KB
windows-latest-4.14-main.bc.js Expired	804 KB