5 Commits

Author	SHA1	Message	Date
Dario Nieuwenhuis	ba9cc102e2	ci: cache lockfiles ... - Removes the slow "updating crates.io index, updating git" at start of the job. - Avoids CI being randomly slower if a widely-used dep (like serde) gets bumped causing rebuilding everything.	2023-11-21 17:33:07 +01:00
Dario Nieuwenhuis	a2a26f489b	ci: set net.git-fetch-with-cli=true	2023-09-16 02:16:33 +02:00
Dario Nieuwenhuis	9dd58660c3	Add teleprobe cache.	2023-09-03 01:41:52 +02:00
Dario Nieuwenhuis	020e956f1b	ci: run HIL tests in parallel.	2023-05-30 01:10:53 +02:00
Dario Nieuwenhuis	421ee4dfbf	ci: add stable build, add tests.	2023-05-29 19:51:06 +02:00