Skip to content

Merge pull request #329 from Jaspero/adding-number-increment-shortcut #219

Merge pull request #329 from Jaspero/adding-number-increment-shortcut

Merge pull request #329 from Jaspero/adding-number-increment-shortcut #219

Triggered via push January 16, 2025 12:30
Status Success
Total duration 1m 9s
Artifacts

deploy-docs.yml

on: push
Deploy to GitHub Pages
1m 0s
Deploy to GitHub Pages
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Deploy to GitHub Pages
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636