File tree Expand file tree Collapse file tree 1 file changed +0
-9
lines changed Expand file tree Collapse file tree 1 file changed +0
-9
lines changed Original file line number Diff line number Diff line change 1
- [ ![ Build Status] [ travis_img ]] [ travis ]
2
- ![ Build Status] [ codebuild_img ]
3
- ![ Build Status] [ codebuild_windows_img ]
4
-
5
1
About
6
2
=====
7
3
@@ -55,8 +51,3 @@ See [CBMC](https://github.com/diffblue/cbmc/blob/develop/README.md))
55
51
License
56
52
=======
57
53
4-clause BSD license, see ` LICENSE ` file.
58
-
59
- [ travis ] : https://travis-ci.org/diffblue/cbmc
60
- [ travis_img ] : https://travis-ci.org/diffblue/cbmc.svg?branch=develop
61
- [ codebuild_img ] : https://codebuild.us-east-1.amazonaws.com/badges?uuid=eyJlbmNyeXB0ZWREYXRhIjoieVl4UDBKaVU2NEZIeE9GKzhMVWJUQ1RORXRZeGFEdm9LZnhvbWt4Q3oxb29uOTdWZDhZUkUvK2Z0eTBndU5pWkcyUXFZb1pDRVpBNXVob3R0R2tYZkdFPSIsIml2UGFyYW1ldGVyU3BlYyI6IkZ0TzR2a21XbHFkWnlYMkwiLCJtYXRlcmlhbFNldFNlcmlhbCI6MX0%3D&branch=develop
62
- [ codebuild_windows_img ] : https://codebuild.us-east-1.amazonaws.com/badges?uuid=eyJlbmNyeXB0ZWREYXRhIjoiTFQ4Q0lCSEc1Rk5NcmlzaFZDdU44Vk8zY0c1VCtIVWMwWnJMRitmVFI5bE94Q3dhekVPMWRobFU2Q0xTTlpDSWZUQ3J1eksrWW1rSll1OExXdll2bExZPSIsIml2UGFyYW1ldGVyU3BlYyI6InpqcloyaEdxbjBiQUtvNysiLCJtYXRlcmlhbFNldFNlcmlhbCI6MX0%3D&branch=develop
You can’t perform that action at this time.
0 commit comments