Test opam package

Bump etc/coq-scripts from `8b66ebe` to `2df5dbe` (#1684) #667

Sign in to view logs

Triggered via push October 25, 2023 00:10

JasonGross

master

Status Success

Total duration 2h 31m 23s

Artifacts –

coq-opam-package.yml

on: push

Matrix: install