Skip to content
continuous integration (mathlib forks)

feat: add PartialHomeomorph.extend_target' #71529

Sign in to view logs

feat: add PartialHomeomorph.extend_target'

feat: add PartialHomeomorph.extend_target' #71529

Triggered via push January 24, 2024 21:57
@grunweggrunweg
pushed ee5938c
MR-sphere-eversion-extend-target
Status Success
Total duration 12s
Artifacts –

build_fork.yml

on: push
Lint style (fork)
0s
Lint style (fork)
Check all files imported (fork)
0s
Check all files imported (fork)
Build (fork)
0s
Build (fork)
Cancel Previous Runs (CI)
4s
Cancel Previous Runs (CI)
check workflows (fork)
0s
check workflows (fork)
Post-CI job (fork)
0s
Post-CI job (fork)
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Cancel Previous Runs (CI)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: styfle/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.