CI (Coq, opam) · mit-plv/rewriter@1e17dcd

Triggered via schedule February 1, 2025 01:16

JasonGross

master

Status Failure

Total duration 6h 31m 39s

Artifacts –

coq-opam-package.yml

on: schedule

Matrix: install

6 errors and 4 warnings

The job running on runner GitHub Actions 16 has exceeded the maximum execution time of 360 minutes.

The operation was canceled.

The job running on runner GitHub Actions 11 has exceeded the maximum execution time of 360 minutes.

The operation was canceled.

The job running on runner GitHub Actions 14 has exceeded the maximum execution time of 360 minutes.

The operation was canceled.

pkgconf 2.3.0_1 is already installed, it's just not linked. To link this version, run: brew link pkgconf

pkgconf 2.3.0_1 is already installed, it's just not linked. To link this version, run: brew link pkgconf

pkgconf 2.3.0_1 is already installed, it's just not linked. To link this version, run: brew link pkgconf

pkgconf 2.3.0_1 is already installed, it's just not linked. To link this version, run: brew link pkgconf