Skip to content
Test

Lean と Mathlib を v4.8.0 に更新する #36

Sign in to view logs

Lean と Mathlib を v4.8.0 に更新する

Lean と Mathlib を v4.8.0 に更新する #36

Triggered via pull request June 23, 2024 16:49
@SeasawherSeasawher
synchronize #39
Seasawher:Seasawher/issue38
Status Cancelled
Total duration 1m 36s
Artifacts –

test.yml

on: pull_request
build
1m 27s
build
Fit to window
Zoom out
Zoom in

Annotations

2 errors
build
Canceling since a higher priority waiting request for 'Test-refs/pull/39/merge' exists
build
The operation was canceled.