search

epi-project / policy-reasoner

Implements the famous policy reasoner, known as `checker` in Brane terminology. Builds on top of reasoners like eFLINT and meant to be queried by Brane.
1 stars 1 forks source link

ci #38

Closed DanielVoogsgerd closed 2 months ago

DanielVoogsgerd commented 2 months ago

As promised the added CI. I recommend to merge this after the formatter pr and the build issue pr, so that those won't fail CI.

Lut99 commented 2 months ago

Cool beans! Thanks, Daniel!! :D