Build website, deploy to GH pages if on main

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

Sign in to view logs

Triggered via pull request January 22, 2025 00:07

WoutLegiest

opened #1285

WoutLegiest:ptxt-ctxt

Status Success

Total duration 5m 7s

Artifacts –

docs.yml

on: pull_request

build-and-deploy