Skip to content
Deploy Docs to GitHub Pages

update rules documentation based on GUI 1.1.1 #25

Sign in to view logs

update rules documentation based on GUI 1.1.1

update rules documentation based on GUI 1.1.1 #25

Triggered via push November 24, 2025 16:01
@PhilippSalvisbergPhilippSalvisberg
pushed 4955a2f
main
Status Success
Total duration 3m 39s
Artifacts –

deploy-docs.yml

on: push
build
28s
build
deploy
3m 2s
deploy
Fit to window
Zoom out
Zoom in