Merge pull request #11 from pymor/registration-extension #34

Sign in to view logs

Triggered via push August 22, 2023 14:36

pmli

main

Status Success

Total duration 1m 10s

Artifacts –

deploy.yml

on: push

Build, Check, Deploy