issues
search
input-output-hk
/
hydra-tools
custom GitHub Checks integration for Hydra
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
hydra-github-bridge: Ignore exception if file delete fails
#7
erikd
closed
7 months ago
0
[hydra-github-bridge] rare race condition from queue that results in crash
#6
dermetfan
opened
8 months ago
1
Log exceptions from runGitHubT
#5
erikd
closed
1 year ago
0
Replace forkIO with race
#4
erikd
closed
1 year ago
0
Store state to disk and reload it on startup if necessary
#3
erikd
closed
1 year ago
0
Make it build with ghc-9.2
#2
erikd
closed
1 year ago
2
report a github status for each job that failed to evaluate
#1
dermetfan
closed
1 year ago
0