Repository navigation

Migrate to GitHub Actions - #124

Merged

ivberg merged 3 commits into

user/ivberg/MigrateToGitHubActionsCIBuild

Jun 4, 2024

Merged

Migrate to GitHub Actions#124
ivberg merged 3 commits into
developfrom
user/ivberg/MigrateToGitHubActionsCIBuild

Commits on Jun 4, 2024
- Migrate to GitHub Actions
  ivberg
  committed
  d7c9a66
- Add test --no-build per PR comment
  ivberg
  committed
  1d7e2ca
- Revert "Add test --no-build per PR comment"
  ivberg
  committed
  b8d1336