Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

ci(*.yml): Move opam-publish in a separate workflow to enable testing (bis) #571

Merged
merged 1 commit into from
Nov 2, 2023

Conversation

erikmd
Copy link
Member

@erikmd erikmd commented Nov 2, 2023

Description

Checklist

Note to maintainers

  • Read this wiki page.
  • Make sure the PR has a milestone.
  • Assign yourself before merging.
  • Either do a regular merge:
    • for PRs containing several commits following conventional-commits,
    • or for PRs containing 1 commit shared with a later PR (to preserve the SHA1)
  • Or do a squash-merge:
    • for PRs containing only 1 commit (not shared with a later PR),
    • or for PRs containing several commits that need not be kept in the history;
    • Update the commit message header with a conventional-commit type,
    • Add a footer Close #… if a related issue exists.

@erikmd erikmd self-assigned this Nov 2, 2023
@erikmd erikmd added kind: enhancement Enhancement to an existing user-facing feature. kind: infrastructure CI, build tools, development tools kind: test labels Nov 2, 2023
@erikmd
Copy link
Member Author

erikmd commented Nov 2, 2023

FWIW, I reproduced the CI/CD error locally with a longer error message:

…
$ git push user +HEAD:opam-publish-learn-ocaml.0.15.0
…
To https://github.com/proofbot/opam-repository
 ! [remote rejected]       HEAD -> opam-publish-learn-ocaml.0.15.0 (refusing to allow a Personal Access Token to create or update workflow `.github/workflows/unlabel.yml` without `workflow` scope)
error: impossible de pousser des références vers 'https://github.com/proofbot/opam-repository'

Will fix this ASAP.

@erikmd
Copy link
Member Author

erikmd commented Nov 2, 2023

The opam-publish test-deploy was fine: erikmd/opam-repository#5

Merging as soon as the rest of the CI is green.

@erikmd erikmd added this to the learn-ocaml 0.16.0 milestone Nov 2, 2023
@erikmd erikmd merged commit b84132e into master Nov 2, 2023
12 checks passed
@erikmd erikmd deleted the upgrade-gha branch November 2, 2023 19:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
kind: enhancement Enhancement to an existing user-facing feature. kind: infrastructure CI, build tools, development tools kind: test
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant