Debian CI #12

Triggered via pull request August 7, 2023 16:23

synchronize #1632

andres-erbsen:debian-ci

Status Failure

Total duration 2m 56s

Artifacts 3

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

coq-debian.yml

on: pull_request

Matrix: build

2 errors

Process completed with exit code 125.

Process completed with exit code 125.

Produced during runtime