Jörg Thalheim
4681807395
Revert "temporary delete github actions"
...
This reverts commit 256dbf6980
2020-07-31 17:34:37 +01:00
Jörg Thalheim
256dbf6980
temporary delete github actions
...
We are currently seeing a lot of misterious github actions failures.
They might be linked to our github actions:
https://github.com/nixos/nixpkgs/actions
2020-07-31 17:30:04 +01:00
zowoq
e0742ab146
.github/workflows/wait-ofborg.yml: 260 -> 360
2020-07-29 11:38:18 +10:00
Jörg Thalheim
369f7dbc64
github-ci/ofborg: progress indicator
2020-07-28 15:06:32 +01:00
Jörg Thalheim
88c60d97fc
github-action/ofborg: only run in main repo
2020-07-28 14:52:09 +01:00
Jörg Thalheim
13f1c2386c
github-actions: increase timeout to wait for ofborg
2020-07-28 14:39:20 +01:00
Jörg Thalheim
4f95d1f259
add github action to wait for ofborg
...
In case ofborg is down this will not mark the CI as green.
Also if other github actions are used and pass
checks will be still marked as pending even if other other github
actions have passed.
2020-07-21 09:39:38 +01:00
