Autore | SHA1 Messaggio | Data |
---|---|---|
![]() |
dd0fadc0d1 Fix triggering GitHub action on PR. | 2 anni fa |
![]() |
4a8381ffb2 Trigger actions just on push, not push and PR. | 2 anni fa |
![]() |
de49346e9b Clarify action name. | 2 anni fa |