Isitha Subasinghe
Isitha Subasinghe
# Summary We need to ensure that when we generate facts, say for example the pod name, we only do so once. # Use Cases This would significantly reduce the...
# Summary As the title states, security updates should immediately be available in release channels. ## Use Cases It is difficult to individually perform releases and currently is a manual...
This is a change needed to verify the code (see [this](https://docs.sel4.systems/processes/style-guide.html#verification-requirements) page on C parser restrictions), instead of taking the address of local variables we should take the address of...
I needed to make this change to make the C-parser accept the code. Not entirely sure why the C-parser blew up when it saw the continue statement, I am unsure...
# Motivation These artefacts are needed as part of the verification pipeline, these concatenated files are cleaned and then fed into the C parser.
Waiting on adding support for macOS in the nixified compiler here: https://github.com/isubasinghe/arm-gcc-binutils
### Motivation ### Modifications This supersedes https://github.com/argoproj/argo-workflows/pull/13365 allowing for the evaluation of expr-lang expressions before running a CronWorkflow. The scope of variables in this PR is quite limited, but can...
# Summary We currently support multiple templating/expression engines without any strong reason. This issue attempts to formalize what the new expression syntax should look like. # Suggestion We support expr-lang...
# Summary We need to replace gogoprotobuf dependencies with some other tool. The reason we need to do this is because this package is deprecated. See [this](https://github.com/gogo/protobuf/issues/691) List of alarming...
Fixes #TODO ### Motivation ### Modifications ### Verification