Conversation
|
What are your intentions with this patch now that Mise landed? Do you want another one of these in or is the issue solved? |
Mise is good and convenient when working locally. |
Szelethus
left a comment
There was a problem hiding this comment.
I'm not opposed to merging a few of these, as long as we make it clear that its not expected of contributors to test with and maintain all of these tools, not until we actually make a decision on which one we want to keep, and get rid of the others.
| # Triggers the workflow on push or pull request events. | ||
| on: [push, pull_request] |
There was a problem hiding this comment.
@furtib and I are gettin little anxious about our CI budget. Are we sure about this? Can't we make it manual?
furtib
left a comment
There was a problem hiding this comment.
LGTM.
The biggest issue is the need to create a new yaml file for each environment.
|
|
||
| MICROMAMBA=".micromamba" | ||
| if [[ "$(basename $THIS_DIR)" == "$MICROMAMBA" ]]; then | ||
| PROCESSES="bazel java python3 CodeChecke" |
There was a problem hiding this comment.
Typo:
| PROCESSES="bazel java python3 CodeChecke" | |
| PROCESSES="bazel java python3 CodeChecker" |
Why:
We should run all tests for different configurations:
What:
Addresses:
Part of environment tools evaluation for #163