Build website, deploy to GH pages if on main

Merge pull request #1382 from ZenithalHourlyRate:lattigo-ckks-type #5366

Sign in to view logs

Triggered via push February 14, 2025 18:08

copybara-service[bot]

main

Status Success

Total duration 5m 25s

Artifacts –

docs.yml

on: push

build-and-deploy