githubsettings: debounce cred-check #111
actions.yml
on: pull_request
lint-and-check-formatting
43s
build
36s
run-tests
44s
run-typecheck
32s