ci

0 Followers · 0 Following

• Joined on 2019-01-05

Repositories Projects Packages Public Activity Starred Repositories

ci pushed to ci-builds at Isabelle_DOF/Isabelle_DOF 2019-01-09 18:21:57 +00:00

46362726eb Remove CI configuration to prevent rebuilds of ci-builds branch.

ci pushed to ci-builds at Isabelle_DOF/Isabelle_DOF 2019-01-09 18:15:53 +00:00