Test the project · leanprover-community/lean4game@a077414

Triggered via pull request June 21, 2026 15:04

virusbb001

synchronize #511

Status Cancelled

Total duration 2m 45s

Artifacts –

test.yml

on: pull_request

Matrix: test

8 errors

Canceling since a higher priority waiting request for Test-511 exists

The operation was canceled.

Canceling since a higher priority waiting request for Test-511 exists

The operation was canceled.

Process completed with exit code 1.

Canceling since a higher priority waiting request for Test-511 exists

Canceling since a higher priority waiting request for Test-511 exists

The operation was canceled.