marcoeilers / nagini

Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
Mozilla Public License 2.0
233 stars 8 forks source link

github workflow for running Nagini verfier on tests #200

Closed alex28sh closed 3 months ago

alex28sh commented 3 months ago

Hello, I'm collecting dataset of Nagini examples and trying to set up github workflow to test all of the examples automatically when pushing. Am I right that copypasting https://github.com/marcoeilers/nagini/blob/master/.github/workflows folder and changing some directories in test.yml will be enough for me?

alex28sh commented 3 months ago

solved