git.99rst.org / openwrt-packages.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d1f9862)
CI: formal check: use shared workflow in actions-shared-workflows
authorJosef Schlehofer <redacted>
Sun, 25 May 2025 10:39:58 +0000 (12:39 +0200)
committerJosef Schlehofer <redacted>
Sun, 25 May 2025 16:34:41 +0000 (18:34 +0200)
commit3621fded1eaa2f3baf17b9362de41c546b454dcb
tree18a3395a4e7862775b982c4d654546ea8d116a18tree | snapshot
parentd1f98628934f00180b87097ce5a32eadbbf1edf9commit | diff
CI: formal check: use shared workflow in actions-shared-workflows

Lets switch to shared workflow in actions-shared-workflows instead of having
this separate file here. It will track and use the latest changes to avoid
being outdated.

Signed-off-by: Josef Schlehofer <redacted>
.github/workflows/formal.yml diff | blob | history
git clone https://git.99rst.org/PROJECT