Skip to content

formal: refactor and unify formality checks - #61

Merged
Ansuel merged 1 commit into
openwrt:mainfrom
GeorgeSapkin:formal-check-for-github-sob
Nov 7, 2025
Merged

formal: refactor and unify formality checks#61
Ansuel merged 1 commit into
openwrt:mainfrom
GeorgeSapkin:formal-check-for-github-sob

formal: refactor and unify formality checks

710b121
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.