CI: rework CI script for more extensibility #26
Merged
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
NickVolynkin
force-pushed
the
5-rework-ci-script
branch
2 times, most recently
from
4c16c69
to
c605d50
Compare
Rework script for more flexibility and extensibility: * Run any command in a container with `--docker` or in the current environment without this parameter. * Split compiling circuits and producing constraint & table, because further work with proof market requires the constraint only. Run each command as a separate step in CI. * Use single script for all commands. New commands with the proof-market-toolchain will use the same syntax. The new script syntax is heavily inspired by https://github.com/NilFoundation/dbms/blob/master/scripts/ci.sh Follow-up to #5
NickVolynkin
force-pushed
the
5-rework-ci-script
branch
from
c605d50
to
d64c5f9
Compare
olegrok
approved these changes
Jun 15, 2023
19 tasks
NickVolynkin
changed the title
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Rework script for more flexibility and extensibility:
--dockeror in the current environment without this parameter.The new script syntax is heavily inspired by
https://github.com/NilFoundation/dbms/blob/master/scripts/ci.sh
Follow-up to #5