Skip to content
This repository has been archived by the owner on Oct 15, 2022. It is now read-only.

ci_lint: ensure generated files are checked in correctly #434

Merged
merged 2 commits into from
Jun 29, 2020

Conversation

curiousleo
Copy link
Collaborator

Increases GitHub action CI coverage.

Overview

Ensures that generated files are checked in in their most up to date form.

Checklist

  • Updated the documentation (code documentation, command help, ...)
  • Tested the change (unit or integration tests)
  • Amended the changelog in release.nix (see release.nix for instructions)

@curiousleo curiousleo marked this pull request as ready for review June 29, 2020 15:12
@curiousleo curiousleo requested a review from Profpatsch June 29, 2020 15:13
@Profpatsch Profpatsch merged commit 8ea8972 into master Jun 29, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants