diff options
| author | Maxime Dénès | 2018-11-27 10:56:09 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2019-01-09 11:18:31 +0100 |
| commit | 48ae6cec009554a337f64b0402daea2c653e25e2 (patch) | |
| tree | a2423644dfefc1ce03029e6d5970f08ffeec1b32 /doc/plugin_tutorial/tuto2/src | |
| parent | d61f17be123b1d7f2aaba3291ad4c51c78e63df5 (diff) | |
Add a CI job running test suite with `-async-proofs on`
Diffstat (limited to 'doc/plugin_tutorial/tuto2/src')
0 files changed, 0 insertions, 0 deletions