Commit graph

2 commits

Author SHA1 Message Date
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