Merge remote-tracking branch 'origin/main'

This commit is contained in:
Florent
2024-03-29 15:42:12 +01:00

View File

@@ -1,5 +1,6 @@
name: Build documentation
on:
push:
# To trigger the workflow once you push to the `main` branch