Deploy dev to GitHub Pages

Add a link to the paper with some context. (#258) #25

Sign in to view logs

Triggered via push April 21, 2026 18:52

m-mohr

main

Status Success

Total duration 1m 1s

Artifacts –

deploy-dev.yml

on: push

build-and-deploy