Skip to content
Closed
Changes from 1 commit
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
build: don't run auto-start-ci on push
  • Loading branch information
mmarchini committed Aug 1, 2020
commit 8f294986b3b5f16815e0eb65e6e48dacf59d900e
1 change: 0 additions & 1 deletion .github/workflows/auto-start-ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,6 @@
name: Auto Start CI

on:
push:
schedule:
# `schedule` event is used instead of `pull_request` because when a
# `pull_requesst` event is triggered on a PR from a fork, GITHUB_TOKEN will
Expand Down