Merged
Conversation
commit f90e3b3d1dfe6798c175435da8ddab194ffdbe2f Author: Jan Kwakkel <[email protected]> Date: Mon Feb 16 16:02:54 2026 +0100 Update build_lint.yml commit 8c408448fc8dcb0a82067c0c775840f62e8eacbe Author: Jan Kwakkel <[email protected]> Date: Mon Feb 16 16:02:27 2026 +0100 remove batch_run commit 348270b Merge: b9e6ccf f7e038a Author: Jan Kwakkel <[email protected]> Date: Mon Feb 16 16:12:47 2026 +0100 Merge remote-tracking branch 'upstream/main' into batch_run commit b9e6ccf Author: Jan Kwakkel <[email protected]> Date: Mon Feb 16 16:02:54 2026 +0100 Update build_lint.yml commit 3aa27e3 Author: Jan Kwakkel <[email protected]> Date: Mon Feb 16 16:02:27 2026 +0100 remove batch_run commit 0a23c17 Merge: 3b4bf30 16e7928 Author: Jan Kwakkel <[email protected]> Date: Mon Feb 16 15:49:30 2026 +0100 Merge remote-tracking branch 'upstream/main' commit 3b4bf30 Merge: a57cb14 1365047 Author: Jan Kwakkel <[email protected]> Date: Sun Feb 15 21:29:00 2026 +0100 Merge remote-tracking branch 'upstream/main' commit a57cb14 Merge: 4b240ab 5e18969 Author: Jan Kwakkel <[email protected]> Date: Sun Feb 15 16:20:13 2026 +0100 Merge remote-tracking branch 'upstream/main' commit 4b240ab Merge: cee29b3 5e0a90a Author: Jan Kwakkel <[email protected]> Date: Sat Feb 14 19:02:21 2026 +0100 Merge remote-tracking branch 'upstream/main' commit cee29b3 Merge: 3f027b2 d6ad80f Author: Jan Kwakkel <[email protected]> Date: Fri Feb 13 15:11:55 2026 +0100 Merge remote-tracking branch 'upstream/main' commit 3f027b2 Merge: 6cbafd5 7b9e184 Author: Jan Kwakkel <[email protected]> Date: Thu Feb 12 22:05:56 2026 +0100 Merge remote-tracking branch 'upstream/main' commit 6cbafd5 Merge: 2d82303 61da796 Author: Jan Kwakkel <[email protected]> Date: Wed Feb 11 15:24:23 2026 +0100 Merge remote-tracking branch 'upstream/main' commit 2d82303 Merge: d7a38f5 48d08c3 Author: Jan Kwakkel <[email protected]> Date: Tue Feb 10 20:37:43 2026 +0100 Merge remote-tracking branch 'upstream/main' commit d7a38f5 Merge: 4fbc22f 05e2a0a Author: Jan Kwakkel <[email protected]> Date: Tue Feb 10 15:29:19 2026 +0100 Merge remote-tracking branch 'upstream/main' commit 4fbc22f Merge: c98aba9 6a1bc50 Author: Jan Kwakkel <[email protected]> Date: Sun Feb 8 16:42:33 2026 +0100 Merge remote-tracking branch 'upstream/main' commit c98aba9 Merge: f7e5e48 ede1d53 Author: Jan Kwakkel <[email protected]> Date: Sun Feb 8 14:57:54 2026 +0100 Merge remote-tracking branch 'upstream/main' commit f7e5e48 Merge: b4812bd 352c46c Author: Jan Kwakkel <[email protected]> Date: Thu Feb 5 08:10:25 2026 +0100 Merge remote-tracking branch 'upstream/main' commit b4812bd Merge: 3aa468d 1c1a75e Author: Jan Kwakkel <[email protected]> Date: Fri Jan 30 19:52:39 2026 +0100 Merge remote-tracking branch 'upstream/main' commit 3aa468d Merge: 50d5551 e99e37d Author: Jan Kwakkel <[email protected]> Date: Mon Jan 26 10:50:06 2026 +0100 Merge remote-tracking branch 'upstream/main' commit 50d5551 Author: Jan Kwakkel <[email protected]> Date: Sun Jan 25 13:47:58 2026 +0100 Revert "Update grid.py" This reverts commit b4d39d4. commit b4d39d4 Author: Jan Kwakkel <[email protected]> Date: Sun Jan 25 13:40:21 2026 +0100 Update grid.py commit 0ffaf57 Merge: 1139ed4 5895a66 Author: Jan Kwakkel <[email protected]> Date: Sun Jan 25 11:48:47 2026 +0100 Merge remote-tracking branch 'upstream/main' commit 1139ed4 Merge: 6ea6d6a 9d36047 Author: Jan Kwakkel <[email protected]> Date: Sun Jan 25 08:38:13 2026 +0100 Merge remote-tracking branch 'upstream/main' commit 6ea6d6a Merge: 6af2c20 c71d2d5 Author: Jan Kwakkel <[email protected]> Date: Sat Jan 24 12:36:19 2026 +0100 Merge remote-tracking branch 'upstream/main' commit 6af2c20 Merge: 3b21e95 d287b21 Author: Jan Kwakkel <[email protected]> Date: Fri Jan 23 18:39:50 2026 +0100 Merge remote-tracking branch 'upstream/main' commit 3b21e95 Merge: f1b1d78 b6e96d1 Author: Jan Kwakkel <[email protected]> Date: Wed Jan 21 08:04:37 2026 +0100 Merge remote-tracking branch 'upstream/main' commit f1b1d78 Merge: ea8e91c ea1c165 Author: Jan Kwakkel <[email protected]> Date: Mon Jan 19 17:25:34 2026 +0100 Merge remote-tracking branch 'upstream/main' commit ea8e91c Merge: 6d669e5 a32e163 Author: Jan Kwakkel <[email protected]> Date: Mon Jan 19 08:06:40 2026 +0100 Merge remote-tracking branch 'upstream/main' commit 6d669e5 Merge: 43ffbed bf76c1c Author: Jan Kwakkel <[email protected]> Date: Fri Jan 16 18:54:13 2026 +0100 Merge remote-tracking branch 'upstream/main' commit 43ffbed Merge: d5b8915 690216c Author: Jan Kwakkel <[email protected]> Date: Wed Jan 14 22:35:43 2026 +0100 Merge remote-tracking branch 'upstream/main' commit d5b8915 Merge: 481b688 14a94c9 Author: Jan Kwakkel <[email protected]> Date: Tue Jan 13 09:46:32 2026 +0100 Merge remote-tracking branch 'upstream/main' commit 481b688 Merge: 2e68c55 b5bd3cc Author: Jan Kwakkel <[email protected]> Date: Mon Jan 12 15:47:21 2026 +0100 Merge remote-tracking branch 'upstream/main' commit 2e68c55 Merge: 242ffec d3781de Author: Jan Kwakkel <[email protected]> Date: Mon Jan 12 15:19:30 2026 +0100 Merge remote-tracking branch 'upstream/main' commit 242ffec Merge: d270544 76d1c35 Author: Jan Kwakkel <[email protected]> Date: Fri Jan 9 19:45:41 2026 +0100 Merge remote-tracking branch 'upstream/main' commit d270544 Merge: 587de94 f962207 Author: Jan Kwakkel <[email protected]> Date: Fri Jan 9 18:50:09 2026 +0100 Merge remote-tracking branch 'upstream/main' commit 587de94 Merge: e474689 19defd3 Author: Jan Kwakkel <[email protected]> Date: Thu Jan 8 08:34:26 2026 +0100 Merge remote-tracking branch 'upstream/main' commit e474689 Merge: 2490109 6ac86ac Author: Jan Kwakkel <[email protected]> Date: Wed Jan 7 10:00:43 2026 +0100 Merge remote-tracking branch 'upstream/main' commit 2490109 Merge: bf0a5dd 83d268a Author: Jan Kwakkel <[email protected]> Date: Tue Jan 6 21:07:53 2026 +0100 Merge remote-tracking branch 'upstream/main' commit bf0a5dd Merge: 44db538 6ffee80 Author: Jan Kwakkel <[email protected]> Date: Mon Jan 5 15:34:14 2026 +0100 Merge remote-tracking branch 'upstream/main' commit 44db538 Merge: b7a103d cefa5dc Author: Jan Kwakkel <[email protected]> Date: Mon Jan 5 13:09:25 2026 +0100 Merge remote-tracking branch 'upstream/main' commit b7a103d Merge: e3df717 2ef2f61 Author: Jan Kwakkel <[email protected]> Date: Mon Jan 5 08:10:24 2026 +0100 Merge remote-tracking branch 'upstream/main' commit e3df717 Merge: c9d3b70 e9054ad Author: Jan Kwakkel <[email protected]> Date: Tue Dec 30 10:40:15 2025 +0100 Merge remote-tracking branch 'upstream/main' commit c9d3b70 Merge: e302489 7a9a308 Author: Jan Kwakkel <[email protected]> Date: Mon Dec 29 14:22:51 2025 +0100 Merge remote-tracking branch 'upstream/main' commit e302489 Merge: 7e6c36b 6232196 Author: Jan Kwakkel <[email protected]> Date: Fri Dec 26 22:24:17 2025 +0100 Merge remote-tracking branch 'upstream/main' commit 7e6c36b Merge: 53bd513 0b8a60d Author: Jan Kwakkel <[email protected]> Date: Wed Dec 24 09:19:09 2025 +0100 Merge remote-tracking branch 'upstream/main' commit 53bd513 Merge: 70c7614 afaff2c Author: Jan Kwakkel <[email protected]> Date: Tue Dec 23 23:10:01 2025 +0100 Merge remote-tracking branch 'upstream/main' commit 70c7614 Merge: 1086ee6 a674749 Author: Jan Kwakkel <[email protected]> Date: Thu Dec 18 15:11:39 2025 +0100 Merge remote-tracking branch 'upstream/main' commit 1086ee6 Merge: 84cf32e 4ecebb1 Author: Jan Kwakkel <[email protected]> Date: Wed Dec 17 12:43:05 2025 +0100 Merge remote-tracking branch 'upstream/main' commit 84cf32e Merge: 4b6968f e9c49d5 Author: Jan Kwakkel <[email protected]> Date: Thu Dec 11 08:06:08 2025 +0100 Merge remote-tracking branch 'upstream/main' commit 4b6968f Merge: 52a0ceb bad2c96 Author: Jan Kwakkel <[email protected]> Date: Wed Dec 10 08:38:13 2025 +0100 Merge remote-tracking branch 'upstream/main' commit 52a0ceb Merge: 1ef7ab5 1d3c36c Author: Jan Kwakkel <[email protected]> Date: Wed Nov 12 10:19:20 2025 +0100 Merge remote-tracking branch 'upstream/main' commit 1ef7ab5 Merge: 2203cb8 fb6d832 Author: Jan Kwakkel <[email protected]> Date: Tue Oct 28 13:19:29 2025 +0100 Merge remote-tracking branch 'upstream/main' commit 2203cb8 Merge: 478e97b 6246a87 Author: Jan Kwakkel <[email protected]> Date: Mon Sep 8 08:34:53 2025 +0200 Merge remote-tracking branch 'upstream/main' commit 478e97b Merge: 6e200aa f9e6dbb Author: Jan Kwakkel <[email protected]> Date: Mon Jul 14 09:23:18 2025 +0200 Merge remote-tracking branch 'upstream/main' commit 6e200aa Merge: adc36f5 08ff1ed Author: Jan Kwakkel <[email protected]> Date: Mon Apr 14 19:50:15 2025 +0200 Merge remote-tracking branch 'upstream/main' commit adc36f5 Merge: e4012c1 41be443 Author: Jan Kwakkel <[email protected]> Date: Sun Mar 2 15:07:32 2025 +0100 Merge remote-tracking branch 'upstream/main' commit e4012c1 Merge: d865a82 661a9c9 Author: Jan Kwakkel <[email protected]> Date: Sat Feb 15 12:44:40 2025 +0100 Merge remote-tracking branch 'upstream/main' commit d865a82 Merge: 276c6d0 22817e7 Author: Jan Kwakkel <[email protected]> Date: Thu Feb 13 08:44:51 2025 +0100 Merge remote-tracking branch 'upstream/main' commit 276c6d0 Merge: 5d47ed3 09cfde8 Author: Jan Kwakkel <[email protected]> Date: Tue Feb 11 19:13:06 2025 +0100 Merge remote-tracking branch 'upstream/main' commit 5d47ed3 Merge: ebcbe88 ba5104f Author: Jan Kwakkel <[email protected]> Date: Sun Feb 9 13:52:23 2025 +0100 Merge remote-tracking branch 'upstream/main' commit ebcbe88 Merge: 6456705 efed03e Author: Jan Kwakkel <[email protected]> Date: Tue Jan 28 13:59:09 2025 +0100 Merge remote-tracking branch 'upstream/main' commit 6456705 Merge: 634a13e 13518b2 Author: Jan Kwakkel <[email protected]> Date: Sun Jan 26 14:13:06 2025 +0100 Merge remote-tracking branch 'upstream/main' commit 634a13e Merge: d0c8c07 d680bf4 Author: Jan Kwakkel <[email protected]> Date: Mon Jan 20 08:13:05 2025 +0100 Merge remote-tracking branch 'upstream/main' commit d0c8c07 Merge: 9831c42 9bad195 Author: Jan Kwakkel <[email protected]> Date: Sat Jan 18 15:28:56 2025 +0100 Merge remote-tracking branch 'upstream/main' commit 9831c42 Merge: fd746a7 cfb1925 Author: Jan Kwakkel <[email protected]> Date: Tue Jan 14 10:31:41 2025 +0100 Merge remote-tracking branch 'upstream/main' commit fd746a7 Merge: 454c624 3a85213 Author: Jan Kwakkel <[email protected]> Date: Fri Jan 10 17:17:50 2025 +0100 Merge remote-tracking branch 'upstream/main' commit 454c624 Merge: adec2e8 29d0f3b Author: Jan Kwakkel <[email protected]> Date: Fri Jan 10 11:04:03 2025 +0100 Merge remote-tracking branch 'upstream/main' commit adec2e8 Merge: 130db54 72e8acc Author: Jan Kwakkel <[email protected]> Date: Mon Jan 6 16:55:26 2025 +0100 Merge remote-tracking branch 'upstream/main' commit 130db54 Merge: b88d26d 9de3dab Author: Jan Kwakkel <[email protected]> Date: Sun Jan 5 11:24:53 2025 +0100 Merge remote-tracking branch 'upstream/main' commit b88d26d Author: Jan Kwakkel <[email protected]> Date: Sat Jan 4 12:33:08 2025 +0100 Update model.py commit 337ddfe Author: Jan Kwakkel <[email protected]> Date: Fri Jan 3 21:37:49 2025 +0100 Update model.py
|
Performance benchmarks:
|
EwoutH
approved these changes
Feb 18, 2026
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Remove batch_run.py and all associated files and usages.
See also #3134