Commit graph

3 commits

Author SHA1 Message Date
Fabian Joswig
bbc5f7814e [ci] Update action versions, add permissions and dependebot, speed up examples 2026-07-27 22:13:30 +02:00
Fabian Joswig
b8da9eaaa0
ci: binder workflow only runs for push to master. 2022-11-16 10:44:39 +00:00
Fabian Joswig
f62581ba69 ci: workflow for caching of binder build added. 2022-05-22 12:02:33 +01:00