| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2023-04-14 | ci: run ShellCheck on `*.inc` shell scripts | Jan Macku | |
| 2023-03-27 | ci(lint): add shell linter - Differential ShellCheck | Jan Macku | |
| It performs differential ShellCheck scans and report results directly in pull request. documentation: https://github.com/redhat-plumbers-in-action/differential-shellcheck Signed-off-by: Jan Macku <jamacku@redhat.com> | |||
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |