Build #24 (Tue Jul 09 23:55:08 CEST 2024)

1. Use MLIR properties instead of attributes for IndexSet (commit: 3ee0352) (details / githubweb)

Started by upstream project "marco/master" build number 16
originally caused by:

• Push event to branch master at 23:38:47 on 2024 Jul 9

This run spent:

• 7 sec waiting;
• 8 min 42 sec build duration;
• 8 min 49 sec total from scheduled to completion.

• refs/remotes/origin/master