14 Commits

Author	SHA1	Message	Date
Garmelon	6a2a884372	chore: migrate pkg tests (#12889) ... Also refactor util.sh in the process, so test scripts become easier to write (inspired in part by lake's test suite).	2026-03-11 18:55:46 +00:00
Sebastian Ullrich	c02aa98c6a	doc: triage	2024-07-26 18:24:06 +02:00
Joachim Breitner	fbefbce8c7	doc: Adjust contributor's docs to squash merging (#2927) ... Co-authored-by: Sebastian Ullrich <sebasti@nullri.ch>	2023-11-21 10:13:43 +00:00
Denis Gorbachev	d126c099f4	doc: Update contribution guides (#2624) ... * doc: update contribution guides This moves the contribution guide from `doc/contributions.md` to `CONTRIBUTING.md`.	2023-10-25 13:05:55 +11:00
Sebastian Ullrich	dc60150b5a	chore: update domain	2023-09-20 15:13:27 -07:00
Leonardo de Moura	35ccf7b163	chore: update CONTRIBUTING.md	2023-02-01 12:07:15 -08:00
Sebastian Ullrich	b053679d6d	doc: fix a few links	2021-11-09 09:55:11 +01:00
Leonardo de Moura	03ba945be1	doc: more changes	2021-05-13 16:11:57 -07:00
Leonardo de Moura	51c324ce21	doc: incorporate feedback	2021-05-13 15:52:31 -07:00
Leonardo de Moura	5c101d056a	doc: update contribution guidelines	2021-05-13 15:17:11 -07:00
Daniel Fabian	0eaa36b38d	Update CONTRIBUTING.md	2021-05-12 07:06:18 -07:00
Sebastian Ullrich	1a8af48cca	doc: contribution guidelines & README update	2021-01-12 14:38:36 -08:00
Jared Roesch	47df98aaf0	chore(., .github): move templates to .github	2017-06-12 09:56:15 -07:00
Jared Roesch	5ff6f40897	feat(.): add first pass at contributing & issue & pr templates	2017-06-12 09:56:15 -07:00