Code

Use PAT correctly in GH workflow#4

Code

Merged

daniel-larraz merged 1 commit intocvc5:maincvc5/tutorials:mainfrom daniel-larraz:use-gh-tokendaniel-larraz/cvc5-tutorials:use-gh-tokenCopy head branch name to clipboardSep 16, 2024

+2-7

Commits

Commits on Sep 16, 2024

• Use PAT correctly in GH workflow

  daniel-larraz

  committed
  22b5ecf

  Copy full SHA for 22b5ecf