Merge pull request #25 from JetBrains-Research/v2.2.0-dev #77

Sign in to view logs

Triggered via push May 23, 2024 08:42

K-dizzled

main

Status Cancelled

Total duration 3m 24s

Artifacts –

coqpilot.yml

on: push

Matrix: build

Annotations

2 errors

build (ubuntu-latest, 4.14)

The run was canceled by @K-dizzled.

build (ubuntu-latest, 4.14)

The operation was canceled.