github.com/PDP-10.its
1
0
Fork 0
mirror of https://github.com/PDP-10/its.git synced 2026-03-05 02:54:55 +00:00
Code Issues Releases Wiki Activity

Don't build with KLH10 on CircleCI.

Browse Source 
It fails almost every time.
This commit is contained in:
Lars Brinkhoff
2019-08-14 16:40:32 +02:00
parent 4ec85d9e9f
commit f624d858bd
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
.circleci/config.yml
View File

@@ -66,5 +66,5 @@ workflows:
jobs:
- build_ka10
- build_kl10
- build_klh10
# build_klh10 # Fails almost all the time.
- build_simh