diff options
| author | Emilio Jesus Gallego Arias | 2018-12-12 18:42:40 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2018-12-12 18:42:40 +0100 |
| commit | bb10141086110b8a736eb1e54292e5a48764f519 (patch) | |
| tree | ca783b7c7d5fdbc6ea7d73ce5ea0da334e9994f5 /plugins/syntax/plugin_base.dune | |
| parent | dfd4c4a2b50edf894a19cd50c43517e1804eadc9 (diff) | |
| parent | a984c960e63b6b1a0774cbbba63ea398100c0c3d (diff) | |
Merge PR #9087: Add CI job building stdlib with `async-proofs on`
Diffstat (limited to 'plugins/syntax/plugin_base.dune')
0 files changed, 0 insertions, 0 deletions