Skip to content

Conversation

@andthum
Copy link
Owner

@andthum andthum commented Feb 13, 2023

Update GitHub Actions

Related Issue(s)

Should fix andthum/mdtools#139 (comment). Note that labels whose regular expression does not match anymore to the PR message are not removed anymore. See release notes of issue-labeler version 3.0.

Type of Change

  • Bug fix.
  • New feature.
  • Code refactoring.
  • Dependency update.
  • Documentation update.
  • Maintenance.
  • Other: Description.
  • Non-breaking (backward-compatible) change.
  • Breaking (non-backward-compatible) change.

PR Checklist

  • I followed the guidelines in the Developer's Guide.
  • [~] New/changed code is properly tested.
  • [~] New/changed code is properly documented.
  • The CI workflow is passing.

Edits to test pr-labeler.yml

  • Edit 1
  • Edit 2

Fix format and remove `paths-ignore` option.
* Update trigger rules.

* Narrow down cached paths.

* Fix yaml format.
@github-actions github-actions bot added the maintenance Project maintenance label Feb 13, 2023
@andthum andthum force-pushed the chore/github-actions branch from 2e098ee to 16b1af2 Compare February 13, 2023 13:55
@andthum andthum merged commit 59f4be7 into main Feb 13, 2023
@andthum andthum deleted the chore/github-actions branch February 13, 2023 18:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

maintenance Project maintenance

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants