Build and Deploy to Github Pages

Merge pull request #3045 from thin-edge/revert-3042-create-pull-reque… #1377

Sign in to view logs

Triggered via push August 1, 2024 17:01

github-merge-queue[bot]

main

Status Success

Total duration 2m 21s

Artifacts –

gh-pages.yml

on: push

Update Search Index