Back to pull request #98

Bump etc/coq-scripts from `8b66ebe` to `bbe2c4c` #192

Sign in to view logs

Triggered via pull request October 6, 2023 13:34

dependabot[bot]

opened #98

dependabot/submodules/etc/coq-scripts-bbe2c4c

Status Success

Total duration 13m 56s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

coq.yml

on: pull_request

Matrix: build