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

Sign in to view logs

Triggered via push October 7, 2023 02:05

dependabot[bot]

master

Status Success

Total duration 1h 13m 6s

Artifacts –

coq.yml

on: push

Matrix: build