This repository has been archived by the owner on Jun 7, 2022. It is now read-only.

More advanced github actions #21

Closed

Jerald opened this issue Sep 24, 2020 · 0 comments · Fixed by #22

Assignees

Member

Jerald commented Sep 24, 2020

Formatting
Clippy
Other platforms

Jerald self-assigned this

Jerald mentioned this issue

21 advanced GitHub actions #22

Merged

3 tasks

bors bot closed this as completed in

37662fa

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.