6 commits

Author	SHA1	Message	Date
Daniëlle Huisman	1683afb3bc	ci: use GitHub app token for upstream workflow (#100)	2025-06-24 08:37:13 +00:00
Daniëlle Huisman	bb33a76bfe	ci: change user to Rust for Web bot (#82)	2025-05-16 23:24:54 +00:00
Daniëlle Huisman	284126b725	ci: add pull-requests to upstream workflow permissions (#76)	2025-05-17 00:00:29 +02:00
Daniëlle Huisman	2f6b686044	ci: change rust toolchain to nightly (#75)	2025-05-16 23:57:02 +02:00
Daniëlle Huisman	66a1aa3b27	ci: change rust toolchain profile to default (#74)	2025-05-16 21:52:53 +00:00
Daniëlle Huisman	693caab503	ci: add upstream update script and workflow (#73)	2025-05-16 21:40:44 +00:00