diff options
-rw-r--r-- | .travis.yml | 4 | ||||
-rw-r--r-- | README.md | 2 |
2 files changed, 1 insertions, 5 deletions
diff --git a/.travis.yml b/.travis.yml deleted file mode 100644 index dd99ef4..0000000 --- a/.travis.yml +++ /dev/null @@ -1,4 +0,0 @@ -language: nix # automatically runs nix-build - -git: - depth: 3 # not 1 to build commits in the queue @@ -1,4 +1,4 @@ -# Vericert [![Build Status](https://travis-ci.com/ymherklotz/vericert.svg?token=qfBKKGwxeWkjDsy7e16x&branch=master)](https://travis-ci.com/ymherklotz/vericert) +# VeriCert ![CI](https://github.com/ymherklotz/vericert/workflows/CI/badge.svg) A formally verified HLS tool in Coq, building on top of [CompCert](https://github.com/AbsInt/CompCert). |