Test opam package

Bump rupicola from `1c6bef7` to `6d4f40c` #653

Sign in to view logs

Triggered via push September 9, 2023 19:42

master

Status Success

Total duration 2h 31m 56s

Artifacts –

coq-opam-package.yml

on: push

Matrix: install