CI (Coq, Alpine)

Bump etc/coq-scripts from `bf7754a` to `fdfd924` #109

Sign in to view logs

Triggered via pull request March 5, 2025 08:19

dependabot[bot]

opened #170

dependabot/submodules/etc/coq-scripts-fdfd924

Status Success

Total duration 5h 44m 57s

Artifacts –

coq-alpine.yml

on: pull_request

Matrix: build

alpine-check-all