Skip to content

Probably make distclean and configure are an overkill for most commits #28

Description

@robins

Probably make distclean and configure are an overkill for most commits.

See if we can have a fallback of .. if fails only then re-attempt, this time with make distclean + configure.

Metadata

Metadata

Assignees

No one assigned

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions