aremmell / libsir
96%

DEFAULT BRANCH: master
Repo Added
Files 25
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH master
branch: master
CHANGE BRANCH
x

coverage: 95.5%. Remained the same
Relevant lines Covered
3867 RELEVANT LINES 3693 COVERED LINES
354921.11 HITS PER LINE
Source Files on master

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
1994 master Update Chamois-CompCert to build with latest OCaml and Coq; add upstream CompCert CI job (#495) * Update Chamois-CompCert to build with latest OCaml and Coq * Add upstream CompCert container and CI job --------- Signed-off-by: Jeffrey H. Johnso... push web-flow gitlab-ci
95.5
1989 master Add a CI job for 32-bit builds using AMD Open64 4.5.2.1 (#492) Add a CI job for 32-bit builds using AMD Open64 4.5.2.1 --------- Signed-off-by: Jeffrey H. Johnson <johnsonjh.dev@gmail.com> push web-flow gitlab-ci
95.5
1986 master Add Chamois-CompCert x86_64 CI test job (#493) Add Chamois-CompCert x86_64 CI test job --------- Signed-off-by: Jeffrey H. Johnson <johnsonjh.dev@gmail.com> push web-flow gitlab-ci
95.5
1976 master Update all CI tooling and regenerate all container images, etc. (#491) Updated base CI container image to Fedora 43, rebuilt all downstream containers and got CI green again. --------- Signed-off-by: Jeffrey H. Johnson <johnsonjh.dev@gmail.com> push web-flow gitlab-ci
95.5
1941 master v2.2.6 (#469) - See the associated Release/tag for information Signed-off-by: Ryan M. Lederman <lederman@gmail.com> push web-flow gitlab-ci
95.5
1938 master Vindaloop (#467) Signed-off-by: Ryan M. Lederman <lederman@gmail.com> Signed-off-by: RML <lederman@gmail.com> push web-flow gitlab-ci
95.5
1932 master Doxyfile reuse erased by Doxygen (#464) Yeah. --------- Signed-off-by: Ryan M. Lederman <lederman@gmail.com> Signed-off-by: RML <lederman@gmail.com> push web-flow gitlab-ci
95.5
1925 master Update.... docs? (#461) - Upgraded Doxygen config file; - Upgraded Layout; - Built with graphviz/htags installed. --------- Signed-off-by: Ryan M. Lederman <lederman@gmail.com> Signed-off-by: RML <lederman@gmail.com> push web-flow gitlab-ci
95.5
1917 master fix potential leaked thread handle (#458) Not gonna lie; Claude found it. --------- Signed-off-by: Ryan M. Lederman <lederman@gmail.com> push web-flow gitlab-ci
95.5
1912 master CI: Use Clang 21 and GCC 15 for FreeBSD; disable OS400 syslog output (#456) * CI Updates: * Update FreeBSD Clang to 21 * Update FreeBSD GCC to 15 * Disable OS400 syslog output --------- Signed-off-by: Jeffrey H. Johnson <johnsonjh.dev@gma... push web-flow gitlab-ci
95.5
See All Builds (1678)