Skip to content
GitLab
Explore
Sign in
This is an archived project. Repository and other project resources are read-only.
Tags
Tags give the ability to mark specific points in history as being important
This project is mirrored from
https://*****@github.com/pymor/docker.git
. Pull mirroring updated
Jul 12, 2023
.
2022.2.1
3ecc92a0
·
bump fedora deploy check base
·
Mar 28, 2023
2022.2.1
2022.2.0
c643e911
·
Merge pull request #161 from pymor/scipy-pin-1-5-1
·
Dec 23, 2022
2022.2.0
test_tag_build_03
4dbadbdb
·
bump pypi-oldest-requirements
·
Dec 22, 2022
dummy
Unverified
test_tag_build_01
ae5d1f64
·
[ci] also build for tagged versions with VER=X
·
Dec 21, 2022
01
Unverified
2022.1.0
27853dfb
·
Merge pull request #135 from pymor/ci_pinned_reqs
·
Jun 30, 2022
2022.1.0
Unverified
2020.2.0
5f48d38f
·
fix sanity image build
·
Dec 09, 2020
2020.2.0
Unverified
2020.1.1
90754bbd
·
[docs] add 2020.1
·
Jul 23, 2020
2020.1.1
Unverified
2020.1.0
d4cc6ff3
·
try to hardcode cmarkgfm
·
Jul 14, 2020
2020.1.0
Unverified