various minor fixes #134

Merged
earl-warren merged 3 commits from refs/pull/134/head into main 2024-04-27 08:53:38 +00:00

3 commits

Author SHA1 Message Date
Earl Warren cd377ddbad
actions: push-cancel: fix typo 2024-03-26 09:21:32 +01:00
Earl Warren d8673b8c0b
actions: pull-request: squash main/setup functions 2024-03-26 08:35:16 +01:00
Earl Warren 36456ee74f
actions: pull-request: assert the existence of contexts
and not the existence of tokens
2024-03-26 08:31:26 +01:00