Change default tricera path to assume that tri is in $PATH#4

Merged

woosh merged 4 commits intomainfrom change-tri-path

May 13, 2024

+9-5

Commits on May 13, 2024

Change default tricera path to assume that tri is in $PATH
Ola Wingbrant (sssowo)
committed
Bump version numbers in README
Ola Wingbrant (sssowo)
committed
Add dependencies in workflow file
Ola Wingbrant (sssowo)
committed
Add dependencies early
Ola Wingbrant (sssowo)
committed