Skip to content
Lint

Fix 'gap --version' to send its output to stdout #2227

Sign in to view logs

Fix 'gap --version' to send its output to stdout

Fix 'gap --version' to send its output to stdout #2227

Run time

Learn about OS pricing on GitHub Actions
Job Run time
gaplint
38s
38s