Skip to content

Make GitHub workflow uniform #16

@cyrille-artho

Description

@cyrille-artho

The GitHub workflow in nhandler is currently a bit different from the other ones:

  1. It uses ${HOME}/work as the working directory instead of ${HOME}.
  2. It may fail, as mkdir does not use -p.
  3. The first line that writes site.properties has >> (append) instead of > (create and overwrite), so the script may be using different (existing) settings rather than new ones.

There are a couple of other minor differences. I recommend adapting the planned new workflow from jpf-nas so we have only one type of workflow, in case we have to troubleshoot it.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions