Build website, deploy to GH pages if on main

Adding ptxt-ctxt support to arith-to-cggi and cggi ops #5036

Sign in to view logs

Triggered via pull request January 27, 2025 17:13

WoutLegiest

synchronize #1285

WoutLegiest:ptxt-ctxt

Status Success

Total duration 6m 22s

Artifacts –

docs.yml

on: pull_request

build-and-deploy