DoctorWkt/pdp7-unix

Fix CI badge

Closed this issue · 0 comments

teverett commented

Once we switch to github workflows we should switch the CI status badge in the readme from travis to github ci