Test the project · leanprover-community/lean4game@7bce50f

Triggered via pull request June 19, 2026 08:34

opened #531

Status Failure

Total duration 8m 1s

Artifacts 1

test.yml

on: pull_request

Matrix: test

3 errors

Process completed with exit code 1.

Process completed with exit code 1.

Process completed with exit code 1.

Produced during runtime

Name	Size	Digest
cypress-screenshots-macOS-electron Expired	135 KB	`sha256:b4e06897953372794023f447e88f1dd0d25e7ab77e18ec90d85140d8ab078032`