CI (Coq, docker, dev)

Update dependabot-automerge.yml: fix typo #910

Sign in to view logs

Summary
Jobs
- master
Run details
- Usage
- Workflow file

Triggered via push April 17, 2024 00:34

JasonGross

sp2019latest

Status Success

Total duration 8h 13m 14s

Artifacts –

docker-coq.yml

on: push

Matrix: docker-build