Jakub Konka bbe2a797ba Fix feature-gating of test-programs (#612) ...

* Fix feature-gating of test-programs

This commit fixes bugs in enabling feature-gating of `test-programs`
which was introduced in #600. It turns out, #600 accidentally
disabled `test-programs` from ever running, and this commit fixes
that.

* Fix the CI

2019-11-21 13:52:15 +01:00

..

actions

Migrate from Azure Pipelines to Github Actions (#474)

2019-11-05 17:21:52 -08:00

workflows

Fix feature-gating of test-programs (#612)

2019-11-21 13:52:15 +01:00