Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
pyMOR
pymor
Commits
Unverified
Commit
22010b29
authored
Jan 20, 2023
by
René Fritze
Committed by
GitHub
Jan 20, 2023
Browse files
Merge pull request #1933 from pymor/ci_images
[ci] bump images
parents
a76092d2
c6be913b
Pipeline
#187638
passed with stages
in 36 minutes and 11 seconds
Changes
2
Pipelines
1