CI

Merge pull request #2175 from Alizter/ps/rr/remove_implicit_arguments… #3198

Sign in to view logs

Triggered via push January 3, 2025 20:06

Alizter

master

Status Cancelled

Total duration 22s

Artifacts –

ci.yml

on: push

Matrix: build

Waiting for pending jobs

Matrix: opam-build

Waiting for pending jobs

Matrix: quick-build

Waiting for pending jobs

Matrix: coqchk

Waiting for pending jobs

Matrix: install

Waiting for pending jobs

delete-artifacts

Annotations

1 error

Canceling since a higher priority waiting request for 'CI @ refs/heads/master' exists