Skip to content
Deploy to GitHub Pages

adding intro REPL text to the informal intro #36

Sign in to view logs

adding intro REPL text to the informal intro

adding intro REPL text to the informal intro #36

Triggered via push December 26, 2024 13:17
@daninus14daninus14
pushed 91df0d7
main
Status Success
Total duration 1m 9s
Artifacts –

deploy.yml

on: push
Deploy to GitHub Pages
59s
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