Skip to content
This repository has been archived by the owner on Sep 14, 2023. It is now read-only.

ci: misc cleanup #277

Merged
merged 1 commit into from
Oct 4, 2022
Merged

ci: misc cleanup #277

merged 1 commit into from
Oct 4, 2022

Conversation

harrysolovay
Copy link
Contributor

  • PR format validation
  • fix trigger events for trufflehog and mind your lang workflows
  • tiny tweaks

@harrysolovay harrysolovay changed the title misc CI cleanup ci: misc cleanup Oct 4, 2022
@jainkrati jainkrati self-requested a review October 4, 2022 12:21
@harrysolovay harrysolovay merged commit c03cd12 into main Oct 4, 2022
@harrysolovay harrysolovay deleted the misc-ci-cleanup branch October 4, 2022 12:33
harrysolovay added a commit that referenced this pull request Oct 19, 2022
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