3 commits

Author	SHA1	Message	Date
MarcoIeni	1b3abfea94	rename default branch to main	2025-11-11 10:04:15 +01:00
Jakub Beránek	e6c0136b68	Use GitHub app for authenticating sync workflows	2025-07-29 10:03:52 +02:00
Jakub Beránek	9de6e2c547	Add rustc-pull CI automation	2025-07-12 16:21:32 +02:00