557
45%

Ran 01 Jul 2026 05:12PM UTC

Jobs 1

Files 52

Run time 1min

Badge

Embed ▾

Committed 01 Jul 2026 05:05PM UTC coverage: 44.592% (+0.02%) from 44.573%

Build # 557

Build Type

push

github

Committed by

filipeom

Commit Message

Cancel CI jobs when branch is updated

Uses a GitHub Actions concurrency group keyed by the workflow and branch
reference. When a new push arrives, it cancels any in-progress runs for
that same PR branch before starting the new one.

Prevents wasted runner time on outdated commits and, more importantly,
saves precious liters of water to cool our AI overlords.

Coverage Stats

2383 of 5344 relevant lines covered (44.59%)

38.83 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	557.1	01 Jul 2026 05:12PM UTC	52	44.59	GitHub Action Run

formalsec / smtml / 557
45%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 557

formalsec / smtml / 557 45%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 557

formalsec / smtml / 557
45%

README BADGES
x