CI (Coq)

Bump etc/coq-scripts from `d3dc888` to `7b54b75` #359

Sign in to view logs

Summary
Jobs
- 8.17.0
- master
Run details
- Usage
- Workflow file

Triggered via push December 25, 2023 03:58

dependabot[bot]

dependabot/submodules/etc/coq-scripts-7b54b75

Status Success

Total duration 1m 19s

Artifacts –

coq.yml

on: push

Matrix: build