Skip to content
Back to pull request #769

Make 'a signed word have a different name than 'a word #2584

Sign in to view logs

Make 'a signed word have a different name than 'a word

Make 'a signed word have a different name than 'a word #2584

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Trailing Whitespace
34s
Gitlint
35s
Portable Shell
31s
Style
54s
Theory Linter
34s
3m 8s