Build website, deploy to GH pages if on main

Merge pull request #1345 from WoutLegiest:bool_test #5125

Sign in to view logs

Triggered via push January 30, 2025 21:54

copybara-service[bot]

main

Status Success

Total duration 5m 7s

Artifacts –

docs.yml

on: push

build-and-deploy