28419628611
69%

Ran 30 Jun 2026 04:23AM UTC

Jobs 1

Files 494

Run time 2min

Badge

Embed ▾

Committed 30 Jun 2026 04:08AM UTC coverage: 69.402%. Remained the same

Build # 28419628611

Build Type

push

github

Committed by

web-flow

Commit Message

ci: harden Coveralls upload and bump actions to Node 24 (#646)

* ci: don't fail CI when the Coveralls upload errors

Coverage data is uploaded via coverallsapp/github-action; a transient
Coveralls outage (e.g. a 502 on upload) was failing the whole gcov job.
Set fail-on-error: false so a Coveralls hiccup no longer red-Xes CI.

* ci: bump actions to Node 24 runtimes

actions/checkout@v4 runs on the deprecated Node 20; bump to @v5 (Node 24).
Pin coverallsapp/github-action to @v2.3.6 (composite action, no Node 20)
instead of tracking @master unpinned. cygwin-install-action is already a
composite action, so it is left as-is.

* ci: make Coveralls upload non-blocking via continue-on-error

The coverallsapp/github-action 'fail-on-error' input is not portable
(absent on @master), so it was ignored and a transient Coveralls 502/504
still failed the gcov job. Use step-level continue-on-error: true instead.

Coverage Stats

91813 of 132292 relevant lines covered (69.4%)

1513545.88 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	28419628611.1	30 Jun 2026 04:23AM UTC	494	69.4	GitHub Action Run

SRI-CSL / yices2 / 28419628611
69%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 28419628611

SRI-CSL / yices2 / 28419628611 69%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 28419628611

SRI-CSL / yices2 / 28419628611
69%

README BADGES
x