Skip to content
Deploy Documentation

build: migrate developer tasks to mise #509

Sign in to view logs

build: migrate developer tasks to mise

build: migrate developer tasks to mise #509

Triggered via pull request August 10, 2026 22:56
@binaryaaronbinaryaaron
synchronize #211
binaryaaron/add-mise
Status Success
Total duration 34s
Artifacts –

docs.yml

on: pull_request
build-notebooks  /  build
build-notebooks / build
Deploy docs to GitHub Pages
30s
Deploy docs to GitHub Pages
Deploy release docs to GitHub Pages
Deploy release docs to GitHub Pages
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Deploy docs to GitHub Pages
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/