CI

Coneris flip #626

Sign in to view logs

Triggered via pull request September 20, 2024 14:02

hei411

synchronize #45

coneris_flip

Status Cancelled

Total duration 1m 58s

Artifacts –

build.yml

on: pull_request

Matrix: build

Annotations

2 errors

build (mathcomp/mathcomp:latest-coq-8.19)

The run was canceled by @hei411.

build (mathcomp/mathcomp:latest-coq-8.19)

The operation was canceled.