Skip to content
continuous integration (mathlib forks)

fix: typo in module docstring (#13661) #1

Sign in to view logs

fix: typo in module docstring (#13661)

fix: typo in module docstring (#13661) #1

Triggered via push June 12, 2024 13:23
@mkaratarakismkaratarakis
pushed 7bee189
master
Status Success
Total duration 26m 48s
Artifacts –

build_fork.yml

on: push
Lint style (fork)
1m 0s
Lint style (fork)
Build (fork)
26m 14s
Build (fork)
Cancel Previous Runs (CI)
0s
Cancel Previous Runs (CI)
check workflows (fork)
8s
check workflows (fork)
summarize_declarations
10s
summarize_declarations
Post-CI job (fork)
11s
Post-CI job (fork)
Fit to window
Zoom out
Zoom in

Annotations

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