7 commits

Author	SHA1	Message	Date
Jacob Lifshay	ca3bcd7df2	switch CI to use mirrors	2025-03-02 18:04:09 -08:00
Jacob Lifshay	1761d7094e	update to latest fayalite and match rust version	2024-12-15 20:32:27 -08:00
Jacob Lifshay	265b5a9cec	add repository to cache key	2024-10-30 20:57:17 -07:00
Jacob Lifshay	4c94f5d91a	split deps out into separate job with cache and build z3 4.13.3	2024-10-16 18:45:18 -07:00
Jacob Lifshay	e5f59939cc	remove now-unnecessary memory-based parallelism limiting	2024-10-15 23:51:41 -07:00
Jacob Lifshay	b54e40561f	limit parallelism based on available memory too	2024-10-15 21:56:53 -07:00
Jacob Lifshay	d0aa86e335	add forgejo CI	2024-10-14 16:30:55 -07:00