cleanup
This commit is contained in:
parent
71d09e7efb
commit
5bf79b3b38
10 changed files with 24 additions and 29 deletions
|
|
@ -1,9 +1,10 @@
|
|||
name: CI
|
||||
|
||||
on:
|
||||
# TODO: re-enable once runners are fixed
|
||||
push:
|
||||
branches: [main]
|
||||
pull_request:
|
||||
branches: [does_not_exist] # [ main ]
|
||||
# pull_request:
|
||||
|
||||
jobs:
|
||||
ci:
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue