Code

🚸 automatically use GitHub token#323

Code

Merged

burgholzer merged 1 commit intomaincda-tum/setup-z3:mainfrom default-tokencda-tum/setup-z3:default-tokenCopy head branch name to clipboardSep 9, 2024

+32-28,867

Commits

Commits on Sep 9, 2024

• 🚸 automatically use GitHub token and use @octokit/core instead of @octokit/action

  burgholzer

  committed
  3ddb8e9

  Copy full SHA for 3ddb8e9