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

[DOC] Restrict deploy job to run only on the main branch #97

Merged

Conversation

pbarbarant
Copy link
Collaborator

This is a quickfix to avoid running the deploy action when on a PR.

@pbarbarant pbarbarant added the bug Something isn't working label Oct 30, 2024
@emdupre
Copy link
Collaborator

emdupre commented Oct 30, 2024

The failure is a sporadic one we've seen before ; I'll open an issue for it but I think this is OK to merge as-is !

@emdupre
Copy link
Collaborator

emdupre commented Oct 30, 2024

(I've re-launched the checks just to confirm if they fail on a second run-through)

@emdupre
Copy link
Collaborator

emdupre commented Oct 30, 2024

OK, confirmed it was sporadic. Merging !

@emdupre emdupre merged commit e6ba9dd into Parietal-INRIA:main Oct 30, 2024
5 checks passed
@pbarbarant pbarbarant deleted the doc/quickfix-avoid-PR-deploy branch October 30, 2024 23:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants