Build #217 (Aug 22, 2022, 5:56:30 PM)

1. Make shell scripts executable (details / githubweb)

Started by user Jonah Graham

This run spent:

• 0.13 sec waiting;
• 2 min 23 sec build duration;
• 2 min 23 sec total from scheduled to completion.

• refs/remotes/origin/main