Skip to content
PROS Make

Merge pull request #251 from alexDickhans/skills-4-13 #1084

Sign in to view logs

Merge pull request #251 from alexDickhans/skills-4-13

Merge pull request #251 from alexDickhans/skills-4-13 #1084

Run time

Learn about OS pricing on GitHub Actions
Job Run time
make
1m 6s
1m 6s