Merge pull request #7 from pymor/announcement #29

Sign in to view logs

Triggered via push July 21, 2023 15:33

pmli

main

Status Success

Total duration 1m 12s

Artifacts –

deploy.yml

on: push

Build, Check, Deploy