Skip to content
Publish docs via GitHub Pages

Merge pull request #512 from Remi-Gau/pre_commit #68

Sign in to view logs

Merge pull request #512 from Remi-Gau/pre_commit

Merge pull request #512 from Remi-Gau/pre_commit #68

Triggered via push June 18, 2024 15:14
@Remi-GauRemi-Gau
pushed 01f10db
main
Status Success
Total duration 39s
Artifacts –

publishdocs.yaml

on: push
Deploy docs
27s
Deploy docs
Fit to window
Zoom out
Zoom in