This project is mirrored from https://*****@github.com/pymor/pymor.git.
Pull mirroring updated .
- 04 Dec, 2020 10 commits
- 03 Dec, 2020 9 commits
-
-
Petar Mlinarić authored
-
Petar Mlinarić authored
-
Petar Mlinarić authored
-
Petar Mlinarić authored
-
René Fritze authored
-
Petar Mlinarić authored
Improve sys-mor demos
-
René Fritze authored
While documenting the CI setup in the other PR I discovered that the "oldest" job actually no longer uses the packages from the "oldest" pypi mirror. This PR makes sure of that by removing all installed packages and installing again from the "oldest" mirror.
-
René Fritze authored
-
René Fritze authored
-
- 02 Dec, 2020 6 commits
-
-
René Fritze authored
Update mailmap before the 2020.2 release
-
René Fritze authored
-
René Fritze authored
-
Petar Mlinarić authored
-
Petar Mlinarić authored
-
René Fritze authored
This greatly increases the scope of the test runs on OSX and Windows
-
- 01 Dec, 2020 15 commits
-
-
René Fritze authored
-
Petar Mlinarić authored
-
Petar Mlinarić authored
-
Petar Mlinarić authored
-
Petar Mlinarić authored
-
René Fritze authored
-
René Fritze authored
-
René Fritze authored
-
René Fritze authored
fix issue 1193
-
René Fritze authored
switch automerge to create merge commits
-
René Fritze authored
-
René Fritze authored
shader compilation fails on software OGL on headless dockerized osx
-
René Fritze authored
-
René Fritze authored
-
René Fritze authored
-