Skip to content

Commit 81b90de

Browse files
committed
update ci
1 parent 9c53b85 commit 81b90de

File tree

2 files changed

+15
-8
lines changed

2 files changed

+15
-8
lines changed

.github/workflows/TagBot.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -12,4 +12,4 @@ jobs:
1212
- uses: JuliaRegistries/TagBot@v1
1313
with:
1414
token: ${{ secrets.GITHUB_TOKEN }}
15-
ssh: ${{ secrets.DOCUMENTER_KEY }}
15+
ssh: ${{ secrets.DOCUMENTER_KEY }}

.github/workflows/ci.yml

Lines changed: 14 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -9,15 +9,18 @@ on:
99
- master
1010
- dev
1111
tags: '*'
12+
env:
13+
TEST_MLJBASE: "true"
1214
jobs:
1315
test:
1416
name: Julia ${{ matrix.version }} - ${{ matrix.os }} - ${{ matrix.arch }} - ${{ github.event_name }}
1517
runs-on: ${{ matrix.os }}
18+
timeout-minutes: 60
1619
strategy:
1720
fail-fast: false
1821
matrix:
1922
version:
20-
- '1.6'
23+
- '1.6'
2124
- '1' # automatically expands to the latest stable 1.x release of Julia.
2225
os:
2326
- ubuntu-latest
@@ -65,19 +68,23 @@ jobs:
6568
end
6669
end
6770
event_name = "${{ github.event_name }}"
71+
ref = "${{ github.ref }}"
72+
ref_is_master = ref == "refs/heads/master"
73+
ref_is_dev = ref == "refs/heads/dev"
74+
ref_is_tag = startswith(ref, "refs/tags/")
6875
if event_name == "pull_request"
6976
base_ref = "${{ github.base_ref }}"
7077
head_ref = "${{ github.head_ref }}"
7178
base_repository = "${{ github.repository }}"
7279
head_repository = "${{ github.event.pull_request.head.repo.full_name }}"
73-
build_docs = (base_ref == "master") && (head_ref == "dev") && (base_repository == head_repository)
80+
is_not_fork = base_repository == head_repository
81+
build_docs = (base_ref == "master") && (head_ref == "dev") && (is_not_fork)
7482
elseif event_name == "push"
75-
ref = "${{ github.ref }}"
76-
build_docs = (ref == "refs/heads/master") || (startswith(ref, "refs/tags/"))
83+
build_docs = ref_is_master || ref_is_dev || ref_is_tag
7784
elseif event_name == "schedule"
78-
build_docs = ref == "refs/heads/master"
85+
build_docs = ref_is_master || ref_is_dev
7986
elseif event_name == "workflow_dispatch"
80-
build_docs = ref == "refs/heads/master"
87+
build_docs = ref_is_master || ref_is_dev
8188
else
8289
build_docs = false
8390
end
@@ -115,4 +122,4 @@ jobs:
115122
end'
116123
env:
117124
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
118-
DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }}
125+
DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }}

0 commit comments

Comments
 (0)