mbeddr.formal icon indicating copy to clipboard operation
mbeddr.formal copied to clipboard

Published 20 hours ago • verified publisher icon mbeddr

[WiP] github actions now also performing checks

Open norro opened this issue 4 years ago • 1 comments

This PR adds performing checks to the github actions.

Fixes https://github.com/mbeddr/mbeddr.formal/issues/42

norro avatar Sep 15 '20 09:09 norro

Doesn't seem to actually perform the checks and react to its results, yet.

norro avatar Sep 17 '20 12:09 norro

This PR seems to be stalled - I am closing this ...

danielratiu avatar Jun 21 '23 05:06 danielratiu