Skip to content

Fix #16708 / Some errors are not reported if any of previous files contain errors #16719

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
vzarytovskii merged 12 commits into from
Mar 22, 2024
Merged

Fix #16708 / Some errors are not reported if any of previous files contain errors #16719

Changes from 1 commit
Commits
Show all changes
12 commits
Select commit Hold shift + click to select a range
57bca60
test
0101 Feb 15, 2024
7555108
Merge branch 'main' into fix-16708
0101 Feb 16, 2024
a062710
See what happens...
0101 Feb 16, 2024
4e410d5
potential fix
0101 Feb 19, 2024
2ca2c6a
revert
0101 Feb 19, 2024
723138c
what about this
0101 Feb 20, 2024
7270d82
f
0101 Feb 20, 2024
31a8ef2
Release note
0101 Feb 21, 2024
5939328
revert
0101 Feb 21, 2024
062284a
Merge branch 'main' into fix-16708
0101 Feb 21, 2024
afc0bc2
Merge branch 'main' into fix-16708
vzarytovskii Mar 4, 2024
b039743
Merge branch 'main' into fix-16708
psfinaki Mar 22, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Merge branch 'main' into fix-16708
  • Loading branch information
@psfinaki
psfinaki authored Mar 22, 2024
commit b0397430a5516d26cfdbc2dcca4d610a923aae35

This merge commit was added into this branch cleanly.

There are no new changes to show, but you can still view the diff.