search

ANSSI-FR / x509-parser

a RTE-free X.509 parser
Other
58 stars 13 forks source link

Travis-CI: build && verification reprove #2

Open evdenis opened 5 years ago

evdenis commented 5 years ago

CI for the project. Tests the build with gcc, clang. Checks for RTE with Frama-C.

After the merge the link (badge) in the README.md should be updated, Travis-CI account should be created.

Example run: https://travis-ci.org/evdenis/x509-parser/builds/545919641