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)
committerJiri Slachta <[email protected]>
Tue, 17 Jun 2025 02:33:35 +0000 (04:33 +0200)
commit509ce7777b61540f08976bc6430e4420b839f1b9
treec7e06c5f97027ee451b34cb99a6a43388c63943e
parent1582286bca4f47ee402af61e4bae55d5c1b96574
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