Skip to content

Commit

Permalink
don't run CI on every push
Browse files Browse the repository at this point in the history
  • Loading branch information
ctian1 committed Feb 24, 2024
1 parent a4a49de commit 8336668
Showing 1 changed file with 0 additions and 4 deletions.
4 changes: 0 additions & 4 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
@@ -1,10 +1,6 @@
name: CI

on:
push:
branches: [succinct]
pull_request:
branches: [succinct]
workflow_call:
workflow_dispatch:

Expand Down

0 comments on commit 8336668

Please sign in to comment.