aremmell / libsir / 1994

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
1993 johnsonjh/20260512/compcert-build Trigger CI (again) Signed-off-by: Jeffrey H. Johnson <johnsonjh.dev@gmail.com> Pull #495 johnsonjh gitlab-ci
95.5
1991 johnsonjh/20260512/compcert-build Update Chamois-CompCert to build with latest OCaml and Coq Signed-off-by: Jeffrey H. Johnson <johnsonjh.dev@gmail.com> push johnsonjh 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
1987 johnsonjh/20260511/ao6432 Merge branch 'master' into johnsonjh/20260511/ao6432 Pull #492 johnsonjh 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
1985 johnsonjh/20260511/chamois-compcert-x86_64 Cleanup Dockerfile Signed-off-by: Jeffrey H. Johnson <johnsonjh.dev@gmail.com> Pull #493 johnsonjh gitlab-ci
95.5
1984 johnsonjh/20260511/chamois-compcert-x86_64 Enable -Wno-unknown-pragmas for CompCert-C Valid in CompCert-C 3.11 and higher which is what we support Signed-off-by: Jeffrey H. Johnson <johnsonjh.dev@gmail.com> Pull #493 johnsonjh gitlab-ci
95.5
1981 johnsonjh/20260511/ao6432 No stdbuf on 32-bit binaries Signed-off-by: Jeffrey H. Johnson <johnsonjh.dev@gmail.com> Pull #492 johnsonjh gitlab-ci
95.5
1979 fc-roll-fail-fix Merge branch 'master' into fc-roll-fail-fix push johnsonjh gitlab-ci
95.47
1978 20250306/johnsonjh/mvs Merge branch 'master' into 20250306/johnsonjh/mvs Pull #449 johnsonjh gitlab-ci
95.5
1977 make-good-more-readme Merge branch 'master' into make-good-more-readme Pull #490 johnsonjh 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
1975 20260509/johnsonjh/ciupdate Fix Open64 5 linking Signed-off-by: Jeffrey H. Johnson <johnsonjh.dev@gmail.com> Pull #491 johnsonjh gitlab-ci
95.5
1974 20260509/johnsonjh/ciupdate Add Open64 5 CI job Signed-off-by: Jeffrey H. Johnson <johnsonjh.dev@gmail.com> Pull #491 johnsonjh gitlab-ci
95.5