Skip to content

Revert "userguide/Makefile: don't add "install" to EXTRA_DIST" #3274

Revert "userguide/Makefile: don't add "install" to EXTRA_DIST"

Revert "userguide/Makefile: don't add "install" to EXTRA_DIST" #3274

Triggered via push February 20, 2026 17:02
Status Success
Total duration 13m 43s
Artifacts

rust.yml

on: push
Fit to window
Zoom out
Zoom in