Skip to content

Merge branch 'main' into track-consumers-pool-formatting #52

Merge branch 'main' into track-consumers-pool-formatting

Merge branch 'main' into track-consumers-pool-formatting #52

Triggered via push March 31, 2026 13:16
Status Success
Total duration 1m 23s
Artifacts

dev.yml

on: push
Check License Header
1m 19s
Check License Header
Use prettier to check formatting of documents
36s
Use prettier to check formatting of documents
Spell Check with Typos
1m 16s
Spell Check with Typos
Fit to window
Zoom out
Zoom in