8 commits

Author	SHA1	Message	Date
Chris Boesch	4fee940778	timeout error fixed	2023-04-26 11:35:19 +02:00
Chris Boesch	65f3672ca5	back to checkout@2	2023-04-26 11:13:19 +02:00
Manlio Perillo	fa335d4166	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	b5036b776a	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	64d90c3397	timeout to 60 minutes	2023-04-24 17:43:55 +02:00
Chris Boesch	00e6ad1f98	update goto-bus-stop	2023-01-27 21:39:33 +01:00
Dave Gauer	20f6a0f69d	workflow_dispatch test	2021-03-12 20:26:31 -05:00
Matt Knight	5f3af7fb97	added eowyn build for running against master every day	2021-03-06 15:15:26 -08:00