Skip to content
Regenerate Documentation

Teach the devcontainer image to install Mathlib and use nvim 0.10. #25

Sign in to view logs

Teach the devcontainer image to install Mathlib and use nvim 0.10.

Teach the devcontainer image to install Mathlib and use nvim 0.10. #25

Triggered via push September 22, 2024 16:24
@JulianJulian
pushed 65d6408
main
Status Success
Total duration 15s
Artifacts –

docs.yml

on: push
docs
8s
docs
Fit to window
Zoom out
Zoom in