github.com/PDP-10.its
1
0
Fork 0
mirror of https://github.com/PDP-10/its.git synced 2026-02-27 01:09:49 +00:00
Code Issues Releases Wiki Activity

Update build status badge.

Browse Source 
Remove Travis CI and GitLab CI badges.  Travis is increasingly
unreliable, and GitLab isn't visible when not logged in.

GitHub Actions is currently the best available CI service.
This commit is contained in:
Lars Brinkhoff
2021-02-08 10:36:52 +01:00
parent b748c052d3
commit 2067c0f749
1 changed files with 1 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
README.md
View File

@@ -1,7 +1,6 @@
# Incompatible Timesharing System
[![Travis CI Build Status](https://travis-ci.org/PDP-10/its.svg?branch=master)](https://travis-ci.org/PDP-10/its)
[![GitLab CI Build Status](https://gitlab.com/PDP-10/its/badges/master/pipeline.svg)](https://gitlab.com/PDP-10/its/commits/master)
![CI Build Status](https://github.com/PDP-10/its/workflows/Build/badge.svg)
### About ITS