Merge bot PR after CI

Add missing push trigger for linter workflow #238

Sign in to view logs

Summary
Jobs
- dependabot
Run details
- Usage
- Workflow file

Triggered via pull request September 13, 2024 16:55

kachick

opened #313

add-push-trigger-for-lint

Status Skipped

Total duration 1s

Artifacts –

merge-bot-pr.yml

on: pull_request