small fixes (#2993) #6044

Triggered via push February 17, 2025 00:26

nbats

main

Status Success

Total duration 1m 19s

Artifacts 1

deploy-gh-pages.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	16.2 MB