Garmelon
a3cb39eac9
chore: migrate more tests to new test suite ( #12809 )
...
This PR migrates most remaining tests to the new test suite. It also
completes the migration of directories like `tests/lean/run`, meaning
that PRs trying to add tests to those old directories will now fail.
2026-03-06 16:52:01 +00:00
Markus Himmel
3c100ada2a
doc: grove: update and add String data ( #11551 )
...
This PR bumps Grove to the latest revision and starts adding data about
the `String` library.
Just a small start, more to come.
2025-12-08 16:49:37 +00:00
David Thrane Christiansen
61c46fd5f8
fix: mark doc parser tests as eol=lf ( #10344 )
...
This PR sets the eol Git attribute on docstring parser tests. This is to
stop them from failing on Windows due to line ending translation.
2025-09-11 11:19:01 +00:00
Joachim Breitner
09b9fdbdc3
chore: Do not hide stage0/src/stdlib_flags.h from diffs
2023-09-13 19:29:25 +02:00
Sebastian Ullrich
4cc6057f4a
chore: ensure consistent (Unix) encoding for source files
2023-03-10 16:27:56 +01:00
Sebastian Ullrich
bdf9472069
chore: fix changelog path...
2022-02-09 09:42:17 +01:00
Wojciech Nawrocki
5668e2644a
fix: typo
2022-02-04 12:55:53 -08:00
Sebastian Ullrich
2b7427c962
chore: adjust changelog merge strategy config
...
/cc @leodemoura
2022-02-04 18:32:20 +01:00
Sebastian Ullrich
52ddf5396f
chore: restore marking stage0/ as binary files, which we lost at some point
2020-08-14 11:12:13 +02:00
Wojciech Nawrocki
9c7d91c67f
fix: don't normalize line endings but still diff
2020-08-13 09:21:35 -07:00
Wojciech Nawrocki
55655869b7
feat: default to binary file mode on Windows
2020-08-13 09:21:35 -07:00
Sebastian Ullrich
205fbd8136
chore(.gitattributes): use union merge strategy for doc/changes.md
...
No more changelog merge conflicts \o/
2017-12-11 12:49:10 +01:00
