5 commits

Author	SHA1	Message	Date
Jöran Karl	c58ed0e51a	workflows: Perform the setup uncached	2024-06-20 22:59:05 +02:00
Jöran Karl	f475220e67	workflows/test: Bump version of setup & checkout actions ... This will correct the following warning: "Node.js 16 actions are deprecated."	2024-06-20 22:59:05 +02:00
Jöran Karl	57375e0732	workflows/nightly: Allow manual trigger for better testability	2024-06-20 22:59:05 +02:00
Jöran Karl	c701ba66af	nightly: Use GitHub Actions for scheduled builds and artifact uploads	2024-06-15 13:24:36 +02:00
Zachary Yedidia	d1af21f626	Convert ci to github actions	2023-01-30 17:34:37 -08:00