ftsrg / gazer

An LLVM-based formal verification frontend for C programs.
24 stars 5 forks source link

Test Docker image with GH Actions #90

Closed hajduakos closed 3 years ago

hajduakos commented 3 years ago

It would be nice to have a CI action that actually builds the docker image and runs it on a simple example. This could help us detect cases where we forget to update something in the docker image.

For Theta, we have a separate workflow. It consists of 4 jobs because Theta has 4 docker images, but here we'd need only one.