4 Commits

Author	SHA1	Message	Date
Jonas Platte	1d3d3ed82e	Unpin nightly in CI	2022-05-02 16:59:00 +02:00
Jonas Platte	22239c39fc	ci: Improve readability / reduce duplication of workflow files	2022-03-25 10:03:54 +01:00
Jonas Platte	a108c9a08f	ci: Explicitly install toolchain / activate cache for lint job	2022-03-25 10:02:56 +01:00
Kévin Commaille	806606c675	ci: Split CI in smaller tasks	2022-03-21 09:49:57 +01:00