search

BerkeleyLearnVerify / Scenic

A compiler and scenario generator for the Scenic scenario description language.
https://scenic-lang.org/
Other
283 stars 97 forks source link

Allow triggering CI manually #139

Closed dfremont closed 1 year ago

dfremont commented 1 year ago

Allows the main tests workflow to be invoked manually on a given Git ref, and adds a new test_examples workflow to manually run the example tests.