github.com/PDP-10.its
1
0
Fork 0
mirror of https://github.com/PDP-10/its.git synced 2026-04-19 09:20:00 +00:00
Code Issues Releases Wiki Activity
794 Commits 115 Branches 0 Tags
1814765cb52c3ea449ad557d2dc2225cf03ff894
Commit Graph

2 Commits

Author SHA1 Message Date
Lars Brinkhoff
c45a1920c7 Parallel CircleCI build with all three emulators. 2018-08-05 17:12:03 +02:00
Lars Brinkhoff
e99721a7e2 Build with Circle CI. 
- Needs the same sudo stub as GitLab.
- Some X11 libraries are required for building with the KA10 simulator.
 2018-08-04 21:35:10 +02:00