projects / feed / routing.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5911e00) | patch
CI: formal check: use shared workflow in actions-shared-workflows
authorJosef Schlehofer <[email protected]>
Sun, 25 May 2025 10:39:58 +0000 (12:39 +0200)
committerJosef Schlehofer <[email protected]>
Sat, 19 Jul 2025 20:55:52 +0000 (22:55 +0200)
commite8504be738ec1b20e698a176bed14d45c3e875d7
tree9739d636f64a556687e3262e406c23e0337d8abetree | snapshot
parent5911e00a49763caf6a44791b71daded6b8190e95commit | 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 <[email protected]>
.github/workflows/formal.yml diff | blob | history
Mirror of routing feed