Build #271 (Jun 2, 2024, 5:05:55 PM)

1. Update GitHub workflow actions and use commit ids instead of tags (details / githubweb)

Push event to branch master at 5:05:40 PM on Jun 2, 2024

This run spent:

• 31 min waiting;
• 32 min build duration;
• 32 min total from scheduled to completion.

• master

Superseded by #272