Deploy to GitHub Pages

Rename lowering to lowering_v1 #40

Sign in to view logs

Triggered via push February 10, 2025 09:43

purefunctor

main

Status Success

Total duration 1m 3s

Artifacts –

docs.yml

on: push

Matrix: build_site