Skip to content
ci

Trigger CI for https://github.com/leanprover/lean4/pull/6565 #10482

Sign in to view logs

Trigger CI for https://github.com/leanprover/lean4/pull/6565

Trigger CI for https://github.com/leanprover/lean4/pull/6565 #10482

Triggered via push January 7, 2025 20:43
@leanprover-community-mathlib4-botleanprover-community-mathlib4-bot
pushed b0fc7b4
lean-pr-testing-6565
Status Success
Total duration 2m 23s
Artifacts –

build.yml

on: push
Build
2m 12s
Build
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Build
Failed to save: reserveCache failed: Cache service responded with 500
Build
Cache save failed.