Code

Update GitHub Actions (2024-05)#21

Code

Merged

msakai merged 5 commits intomastermsakai/nonlinear-optimization-ad:masterfrom update-github-actions-202405msakai/nonlinear-optimization-ad:update-github-actions-202405Copy head branch name to clipboardMay 23, 2024

+20-4

Commits

Commits on May 22, 2024

• GitHub Actions: update versions of actions

  msakai

  committed
  cef5351

• GitHub Actions: run actions only on pull requests and on push to master branch

  msakai

  committed
  de4329c

• GitHub Actions: fix to use /opt/homebrew/lib on aarch64-apple-darwin

  msakai

  committed
  741c4d4

• GitHub Actions: use system GHC to reduce cache size

  msakai

  committed
  a6bbea3

• GitHub Actions: add separate build step for dependencies

  msakai

  committed
  d6dceeb