added 1 commit
Compare with previous version
changed title from Check if using eic-shell fixes CI environment woes to Fix environment setup for CI usage
merged
mentioned in commit 0c9bda20