Pipelines · Merge pull request #1925 from pymor/docs_dev (a875cf93) · Commits · pyMOR / pymor

Unverified Commit a875cf93 authored Jan 20, 2023 by

René Fritze Committed by GitHub Jan 20, 2023

[docs] update notes for the git{lab,hub} bridge service

Pipeline #187855 passed with stages

in 67 minutes and 32 seconds