Skip to content
Check github actions

index.c: Remove unused function erts_index_merge() #141

Sign in to view logs

index.c: Remove unused function erts_index_merge()

index.c: Remove unused function erts_index_merge() #141

Triggered via push March 4, 2025 07:08
@bjorngbjorng
pushed 0488edb
bjorn/erts/coverage
Status Success
Total duration 18s
Artifacts –

github-actions-checker.yaml

on: push
ratchet
13s
ratchet
Fit to window
Zoom out
Zoom in