6 commits

Author	SHA1	Message	Date
Manlio Perillo	537b8167ad	workflows: improve the jobs configuration ... Reduce the timeout to 30 minutes for all the jobs, since it is enough. Set strategy.fail-fast to false, so that we can see the full logs.	2023-04-26 10:55:36 +02:00
Manlio Perillo	67ecf9a6af	workflows: use actions/checkout@v3 ... Use the new version of actions/checkout, since all Github Actions will begin running on Node16 instead of Node12. See https://github.blog/changelog/2022-09-22-github-actions-all-actions-will-begin-running-on-node16-instead-of-node12/.	2023-04-25 15:13:38 +02:00
Chris Boesch	96f12fd9c1	timeout to 60 minutes	2023-04-24 17:43:55 +02:00
Chris Boesch	f6cc2d0805	update goto-bus-stop	2023-01-27 21:39:33 +01:00
Dave Gauer	15a51084f9	workflow_dispatch test	2021-03-12 20:26:31 -05:00
Matt Knight	a78e39a73a	added eowyn build for running against master every day	2021-03-06 15:15:26 -08:00