Update for main as dev branch
This commit is contained in:
parent
1de637c2ed
commit
e72c37b619
|
@ -20,7 +20,5 @@ jobs:
|
||||||
TERM: xterm-256-color
|
TERM: xterm-256-color
|
||||||
steps:
|
steps:
|
||||||
- uses: actions/checkout@v2
|
- uses: actions/checkout@v2
|
||||||
with:
|
|
||||||
ref: dev
|
|
||||||
- uses: ./.github/actions/repo-setup-aws
|
- uses: ./.github/actions/repo-setup-aws
|
||||||
- run: .github/scripts/cull-old-ci-instances.py
|
- run: .github/scripts/cull-old-ci-instances.py
|
||||||
|
|
|
@ -3,7 +3,7 @@ name: firesim-publish-scala-doc
|
||||||
on:
|
on:
|
||||||
push:
|
push:
|
||||||
branches:
|
branches:
|
||||||
- dev
|
- main
|
||||||
tags:
|
tags:
|
||||||
- '[0-9]*.[0-9]*.[0-9]*'
|
- '[0-9]*.[0-9]*.[0-9]*'
|
||||||
|
|
||||||
|
|
|
@ -1,11 +1,9 @@
|
||||||
name: firesim-ci-process
|
name: firesim-ci-process
|
||||||
|
|
||||||
on:
|
on:
|
||||||
# run ci when pring to dev/master/main (note: ci runs on the merge commit of the pr!)
|
# run ci when pring to main (note: ci runs on the merge commit of the pr!)
|
||||||
pull_request:
|
pull_request:
|
||||||
branches:
|
branches:
|
||||||
- dev
|
|
||||||
- master
|
|
||||||
- main
|
- main
|
||||||
|
|
||||||
env:
|
env:
|
||||||
|
|
Loading…
Reference in New Issue