You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
As in the title. It leads to unnecessarily too many confusion ( #39159#39046 (comment) )
Proposed Solution
I suggest the following
the meson GitHub CI action automatically runs the script before building, then gives a failure if git diff returns nonzero diff (but proceed with the build and test anyway to save time)
pre-commit hook?
at the head of each meson.build file, say "this file is autogenerated" etc. (or only "mostly autogenerated"? I don't know)
Maybe @tobiasdiez is the best one to do this. (I'm not entirely sure how to use the script either (just run it?), or is it supposed to be fully automatic)
The text was updated successfully, but these errors were encountered:
sagemathgh-39527: Test on CI that update-meson is properly ran
Fixessagemath#39172
Side note, can we just include the `__init__.py` to be tracked by git?
### 📝 Checklist
<!-- Put an `x` in all the boxes that apply. -->
- [x] The title is concise and informative.
- [x] The description explains in detail what this PR is about.
- [x] I have linked a relevant issue or discussion.
- [x] I have created tests covering the changes. (not applicable)
- [x] I have updated the documentation and checked the documentation
preview. (no documentation change? Do we need to mention this in
developer guide somewhere?)
### ⌛ Dependencies
<!-- List all open PRs that this PR logically depends on. For example,
-->
<!-- - sagemath#12345: short description why this is a dependency -->
<!-- - sagemath#34567: ... -->
URL: sagemath#39527
Reported by: user202729
Reviewer(s): Tobias Diez, user202729
Problem Description
As in the title. It leads to unnecessarily too many confusion ( #39159 #39046 (comment) )
Proposed Solution
I suggest the following
git diff
returns nonzero diff (but proceed with the build and test anyway to save time)Maybe @tobiasdiez is the best one to do this. (I'm not entirely sure how to use the script either (just run it?), or is it supposed to be fully automatic)
The text was updated successfully, but these errors were encountered: