Coq

Update dependabot.yml #680

Sign in to view logs

Triggered via push April 18, 2024 12:05

schedule-dependabot

Status Success

Total duration 11m 14s

Artifacts –

coq.yml

on: push

Matrix: build