Commit graph

6 commits

Author SHA1 Message Date
Jacob Lifshay 1761d7094e
update to latest fayalite and match rust version
All checks were successful
/ deps (push) Successful in 11m31s
/ test (push) Successful in 26m29s
2024-12-15 20:32:27 -08:00
Jacob Lifshay 265b5a9cec
add repository to cache key
All checks were successful
/ deps (push) Successful in 11m27s
/ test (push) Successful in 25m54s
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
All checks were successful
/ deps (push) Successful in 18s
/ test (push) Successful in 25m38s
2024-10-16 18:45:18 -07:00
Jacob Lifshay e5f59939cc
remove now-unnecessary memory-based parallelism limiting
Some checks are pending
/ test (push) Has started running
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
All checks were successful
/ test (push) Successful in 46m49s
2024-10-14 16:30:55 -07:00