diff options
| author | slaren <slarengh@gmail.com> | 2024-06-06 07:19:49 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-06-06 08:19:49 +0300 |
| commit | 2d08b7fbb483c14bd2b173d4cd51ea3a4f862e8f (patch) | |
| tree | e76949f5a24add7a8b44d4e017924d11c8d3c8a3 /examples/json_schema_to_grammar.py | |
| parent | d67caea0d6e6c303d31b01d0a010973e6c908dff (diff) | |
docker : build only main and server in their images (#7782)
* add openmp lib to dockerfiles
* build only main and server in their docker images
Diffstat (limited to 'examples/json_schema_to_grammar.py')
0 files changed, 0 insertions, 0 deletions