CI

Merge pull request #2139 from Alizter/ps/rr/generalise_nat_mod_one_l_… #3018

Sign in to view logs

Triggered via push November 16, 2024 02:11

Alizter

master

Status Cancelled

Total duration 25s

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