flip1995 c4c9453ccf Use defaults.run.shell instead of setting shell every time		2020-10-09 11:53:16 +02:00
..
clippy.yml	Remove all usage of set-env	2020-10-09 11:49:54 +02:00
clippy_bors.yml	Use defaults.run.shell instead of setting shell every time	2020-10-09 11:53:16 +02:00
clippy_dev.yml	Update actions due to deprecation of set-env and add-path	2020-10-09 09:17:48 +02:00
deploy.yml	Remove all usage of set-env	2020-10-09 11:49:54 +02:00
remark.yml	Update actions due to deprecation of set-env and add-path	2020-10-09 09:17:48 +02:00