GaloisInc / saw-script

The SAW scripting language.
BSD 3-Clause "New" or "Revised" License
442 stars 63 forks source link

Provisionally revert mergify.yml from #2135 #2136

Closed sauclovian-g closed 3 weeks ago

sauclovian-g commented 4 weeks ago

This is an experiment to see what happens in the CI run and not expected to be merged.

RyanGlScott commented 3 weeks ago

Given that the CI passes, shall we close this?

sauclovian-g commented 3 weeks ago

Yes, just hadn't got to it.