Test opam package

Merge pull request #1705 from mit-plv/dependabot/submodules/rupicola-… #680

Sign in to view logs

Triggered via push November 8, 2023 07:02

JasonGross

master

Status Success

Total duration 2h 13m 40s

Artifacts –

coq-opam-package.yml

on: push

Matrix: install