Coq

Update dependabot.yml #678

Sign in to view logs

Triggered via push April 18, 2024 12:03

schedule-dependabot

Status Success

Total duration 9m 30s

Artifacts –

coq.yml

on: push

Matrix: build