Skip to content

Possible race condition in documentation deploy workflow #249

@astrogeco

Description

@astrogeco

Describe the bug
Since the github actions jobs run in parallel there might be a case of two git commits trying to be pushed "at the same time"

I suggest moving the multiple deploy stages from the separate doc build jobs into a separate deploy job that depends on the successful builds of all docs. Could potentially do something fancy by deploying to separate "local" git branches and then merging them on the deploy branch.

To Reproduce
See https://github.com/nasa/cFS/pull/248/checks?check_run_id=2406018793

Expected behavior
All documentation can be deployed

Additional context
Add any other context about the problem here.

Reporter Info
Full name and company/organization if applicable

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions