A Dev $el ac43650f67 Ensure CI jobs don't run for longer than 15 minutes (#11496)
* fix: prevent long unwanted runs!

* add timeout-minutes to all the workflows

---------

Co-authored-by: Robin Malfait <malfait.robin@gmail.com>
2023-07-13 11:48:35 -04:00
..
2022-11-25 06:01:12 -05:00
2022-12-01 10:10:10 -05:00
2021-12-17 14:58:52 -05:00
2021-12-17 14:58:52 -05:00