Skip to content
continuous integration (mathlib forks)

draft: gsimp tactic #271479

Sign in to view logs

draft: gsimp tactic

draft: gsimp tactic #271479

Triggered via pull request February 20, 2026 23:39
@JovanGerbJovanGerb
opened #35591
Status Failure
Total duration 6m 37s
Artifacts –

build_fork.yml

on: pull_request_target
ci (fork)  /  Build
6m 34s
ci (fork) / Build
ci (fork)  /  Lint style
1m 57s
ci (fork) / Lint style
ci (fork)  /  Upload to cache
0s
ci (fork) / Upload to cache
ci (fork)  /  Post-Build Step
0s
ci (fork) / Post-Build Step
ci (fork)  /  Post-CI job
0s
ci (fork) / Post-CI job
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 1 warning
ci (fork) / Build
Process completed with exit code 1.
ci (fork) / Build
Process completed with exit code 2.
ci (fork) / Build
Cache directory does not exist: /home/lean/.cache/mathlib