Commit 4a39f82c authored by pyMOR Bot's avatar pyMOR Bot

{"repo_url": "https://github.com/pymor/pymor.git", "pr": 1004, "base":...

{"repo_url": "https://github.com/pymor/pymor.git", "pr": 1004, "base": "master", "head_ref": "update-builtin-discretizer", "pr_branch": "github/PR_1004", "commit_sha": "f6f8eac0"}
parents c29a64d6 f6f8eac0
Pipeline #65638 passed with stages
in 79 minutes and 3 seconds
This diff is collapsed.
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment