Code

cd: prerelease#968

Code

Open

gares wants to merge 5 commits intomaincoq/vscoq:mainfrom cd-handle-prereleasecoq/vscoq:cd-handle-prereleaseCopy head branch name to clipboard

+67-8

Commits

Commits on Dec 16, 2024

• Update cd.yml

  gares

  authored
  bb89c62

• Update publish-server.yml

  gares

  authored
  5398226

• Update cd.yml

  gares

  authored
  78cb85e

• Update .github/workflows/publish-server.yml

  gares

  authored
  a582f8b

• Update .github/workflows/cd.yml

  gares

  authored
  3bc13a9