Cameron Zwarich
|
705dac4f77
|
chore: make @hargoniX code owner of the compiler (#10732)
|
2025-10-10 04:43:38 +00:00 |
|
Paul Reichert
|
4cd917aa65
|
chore: make datokrat code owner for iterators, ranges and slices (#9667)
This PR adds some lines for `datokrat` to the `CODEOWNERS` file.
|
2025-08-01 17:34:43 +00:00 |
|
Sebastian Graf
|
67d9d9d936
|
chore: Update CODEOWNERS (#9232)
Co-authored-by: Sebastian Graf <sg@lean-fro.org>
|
2025-07-07 13:11:41 +00:00 |
|
Cameron Zwarich
|
579d0ad15d
|
chore: add @zwarich to the compiler CODEOWNERS (#8305)
|
2025-05-12 18:42:54 +00:00 |
|
Sebastian Ullrich
|
a805946466
|
chore: adjust CODEOWNERS (#6327)
Remove some noise from my assignments
|
2024-12-10 08:37:20 +00:00 |
|
Henrik Böving
|
a167860e3b
|
chore: @hargoniX Std.Sat codeowner, fix Kim's user name (#5765)
|
2024-10-18 11:13:28 +00:00 |
|
Henrik Böving
|
da9c68a37a
|
feat: import LeanSAT's tactic frontends
Co-authored-by: Markus Himmel <markus@lean-fro.org>
|
2024-08-28 18:14:39 +02:00 |
|
Markus Himmel
|
818b9d7de0
|
chore: update codeowners (#4681)
|
2024-07-08 07:57:54 +00:00 |
|
Sebastian Ullrich
|
22a581f38d
|
chore: update code owners
|
2024-04-24 10:16:16 +02:00 |
|
Kim Morrison
|
3990a9b3be
|
chore: upstream Std material from Data/List|Array/Init (#3975)
See proposal on
[zulip](https://leanprover.zulipchat.com/#narrow/stream/348111-std4/topic/upstreaming.20of.20List.2FArray.20material/near/434879041);
I won't merge this until there's a chance for discussion there.
|
2024-04-24 03:23:25 +00:00 |
|
David Thrane Christiansen
|
864221d433
|
chore: rename fields of Subarray to follow Lean conventions (#3851)
Co-authored-by: Eric Wieser <wieser.eric@gmail.com>
|
2024-04-13 07:52:45 +00:00 |
|
Scott Morrison
|
68e3982eed
|
chore: update CODEOWNERS (#3878)
This adds @digama0 to the CODEOWNERS files for the tactics files which
have recently been upstreamed from Std.
|
2024-04-11 04:21:42 +00:00 |
|
Sebastian Ullrich
|
68eaf33e86
|
feat: snapshot trees and language processors (#3014)
This is the foundation for work on making processing in the language
server both more fine-grained (incremental tactics) as well as parallel.
|
2024-03-14 13:40:08 +00:00 |
|
Sebastian Ullrich
|
204b408df7
|
chore: remove noisy root code owners
|
2024-02-19 17:30:21 +01:00 |
|
Sebastian Ullrich
|
4e58b428e9
|
doc: add Kyle Miller as delaborator code owner
|
2024-02-15 17:42:57 +01:00 |
|
Sebastian Ullrich
|
24466a25f3
|
doc: widget code owner
|
2023-12-01 15:46:45 +00:00 |
|
Sebastian Ullrich
|
9bf0f5116b
|
chore: more code owners
|
2023-11-20 09:30:18 +01:00 |
|
Sebastian Ullrich
|
139973217c
|
chore: more code owners
|
2023-11-16 10:09:54 +01:00 |
|
Sebastian Ullrich
|
7cc2c9f1c9
|
doc: code owners (#2875)
|
2023-11-15 18:21:23 +01:00 |
|