cleanup
This commit is contained in:
parent
05176c7742
commit
81322c7256
7 changed files with 25 additions and 22 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