ofuhrer
commented
1 year ago Can one of the admins verify this patch?
Closed dependabot[bot] closed 1 year ago
ofuhrer
commented
1 year ago Can one of the admins verify this patch?
dependabot[bot]
commented
1 year ago Superseded by #436.
Bumps external/gt4py from
36c487ato013fd0a.Commits
013fd0aconfig: Update development tools configuration and development documentation ...e17370dImplementation for min and max in domain (#1184)7976d63Small fixes to FOAST -> ITIR lowering (#1196)1fa3535Implementations for as_offset (#1143)126ca4dGTFN: enable more tests (#1192)789d334Improve Gitpod pre-commit and remove obsolete files (#1176)51465aecompiledb name: strip non-alphanumeric chars (#1191)236d400Fix conditional test in frontend (#1190)96f661aUpdate CI docs (#1170)6402a53Eve: document behavior of annex (#1137)Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting
@dependabot rebase.Dependabot commands and options
You can trigger Dependabot actions by commenting on this PR: - `@dependabot rebase` will rebase this PR - `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it - `@dependabot merge` will merge this PR after your CI passes on it - `@dependabot squash and merge` will squash and merge this PR after your CI passes on it - `@dependabot cancel merge` will cancel a previously requested merge and block automerging - `@dependabot reopen` will reopen this PR if it is closed - `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually - `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself) - `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself) - `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)