File tree 11 files changed +44
-44
lines changed
11 files changed +44
-44
lines changed Original file line number Diff line number Diff line change 21
21
PR_NUMBER : ${{github.event.number}}
22
22
GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
23
23
steps :
24
- - uses : actions/checkout@v3
24
+ - uses : actions/checkout@v4
25
25
- name : " Set up Julia"
26
- uses : julia-actions/setup-julia@v1
26
+ uses : julia-actions/setup-julia@v2
27
27
with :
28
28
version : ' ~1.6.0-0'
29
29
- id : set-matrix
50
50
fail-fast : false
51
51
52
52
steps :
53
- - uses : actions/checkout@v3
53
+ - uses : actions/checkout@v4
54
54
- name : " Set up Julia"
55
- uses : julia-actions/setup-julia@v1
55
+ uses : julia-actions/setup-julia@v2
56
56
with :
57
57
version : ${{ matrix.julia-version }}
58
58
- name : " Set up Oscar-dev configuration"
Original file line number Diff line number Diff line change 25
25
PR_NUMBER : ${{github.event.number || '0' }}
26
26
GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
27
27
steps :
28
- - uses : actions/checkout@v3
28
+ - uses : actions/checkout@v4
29
29
- name : " Set up Julia"
30
- uses : julia-actions/setup-julia@v1
30
+ uses : julia-actions/setup-julia@v2
31
31
with :
32
32
version : ' 1.10'
33
33
- name : OscarDevTools - CI
66
66
fail-fast : false
67
67
68
68
steps :
69
- - uses : actions/checkout@v3
69
+ - uses : actions/checkout@v4
70
70
- name : " Set up Julia"
71
- uses : julia-actions/setup-julia@v1
71
+ uses : julia-actions/setup-julia@v2
72
72
with :
73
73
version : ${{ matrix.julia-version }}
74
74
- name : re-using OscarDevTools checkout
Original file line number Diff line number Diff line change 21
21
PR_NUMBER : ${{github.event.number}}
22
22
GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
23
23
steps :
24
- - uses : actions/checkout@v3
24
+ - uses : actions/checkout@v4
25
25
- name : " Set up Julia"
26
- uses : julia-actions/setup-julia@v1
26
+ uses : julia-actions/setup-julia@v2
27
27
with :
28
28
version : ' ~1.6.0-0'
29
29
- id : set-matrix
50
50
fail-fast : false
51
51
52
52
steps :
53
- - uses : actions/checkout@v3
53
+ - uses : actions/checkout@v4
54
54
- name : " Set up Julia"
55
- uses : julia-actions/setup-julia@v1
55
+ uses : julia-actions/setup-julia@v2
56
56
with :
57
57
version : ${{ matrix.julia-version }}
58
58
- name : " Set up Oscar-dev configuration"
Original file line number Diff line number Diff line change 21
21
PR_NUMBER : ${{github.event.number}}
22
22
GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
23
23
steps :
24
- - uses : actions/checkout@v3
24
+ - uses : actions/checkout@v4
25
25
- name : " Set up Julia"
26
- uses : julia-actions/setup-julia@v1
26
+ uses : julia-actions/setup-julia@v2
27
27
with :
28
28
version : ' ~1.6.0-0'
29
29
- id : set-matrix
52
52
fail-fast : false
53
53
54
54
steps :
55
- - uses : actions/checkout@v3
55
+ - uses : actions/checkout@v4
56
56
- name : " Set up Julia"
57
- uses : julia-actions/setup-julia@v1
57
+ uses : julia-actions/setup-julia@v2
58
58
with :
59
59
version : ${{ matrix.julia-version }}
60
60
- name : " Set up Oscar-dev configuration"
Original file line number Diff line number Diff line change 21
21
PR_NUMBER : ${{github.event.number}}
22
22
GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
23
23
steps :
24
- - uses : actions/checkout@v3
24
+ - uses : actions/checkout@v4
25
25
- name : " Set up Julia"
26
- uses : julia-actions/setup-julia@v1
26
+ uses : julia-actions/setup-julia@v2
27
27
with :
28
28
version : ' ~1.6.0-0'
29
29
- id : set-matrix
50
50
fail-fast : false
51
51
52
52
steps :
53
- - uses : actions/checkout@v3
53
+ - uses : actions/checkout@v4
54
54
- name : " Set up Julia"
55
- uses : julia-actions/setup-julia@v1
55
+ uses : julia-actions/setup-julia@v2
56
56
with :
57
57
version : ${{ matrix.julia-version }}
58
58
- name : " Set up Oscar-dev configuration"
Original file line number Diff line number Diff line change 21
21
PR_NUMBER : ${{github.event.number}}
22
22
GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
23
23
steps :
24
- - uses : actions/checkout@v3
24
+ - uses : actions/checkout@v4
25
25
- name : " Set up Julia"
26
- uses : julia-actions/setup-julia@v1
26
+ uses : julia-actions/setup-julia@v2
27
27
with :
28
28
version : ' ~1.6.0-0'
29
29
- id : set-matrix
50
50
fail-fast : false
51
51
52
52
steps :
53
- - uses : actions/checkout@v3
53
+ - uses : actions/checkout@v4
54
54
- name : " Set up Julia"
55
- uses : julia-actions/setup-julia@v1
55
+ uses : julia-actions/setup-julia@v2
56
56
with :
57
57
version : ${{ matrix.julia-version }}
58
58
- name : " Set up Oscar-dev configuration"
Original file line number Diff line number Diff line change 24
24
PR_NUMBER : ${{github.event.number}}
25
25
GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
26
26
steps :
27
- - uses : actions/checkout@v3
27
+ - uses : actions/checkout@v4
28
28
- name : " Set up Julia"
29
- uses : julia-actions/setup-julia@v1
29
+ uses : julia-actions/setup-julia@v2
30
30
with :
31
31
version : ' ~1.6.0-0'
32
32
- id : set-matrix
53
53
fail-fast : false
54
54
55
55
steps :
56
- - uses : actions/checkout@v3
56
+ - uses : actions/checkout@v4
57
57
- name : " Set up Julia"
58
- uses : julia-actions/setup-julia@v1
58
+ uses : julia-actions/setup-julia@v2
59
59
with :
60
60
version : ${{ matrix.julia-version }}
61
61
- name : " Set up Oscar-dev configuration"
Original file line number Diff line number Diff line change 22
22
PR_NUMBER : ${{github.event.number}}
23
23
GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
24
24
steps :
25
- - uses : actions/checkout@v3
25
+ - uses : actions/checkout@v4
26
26
- name : " Set up Julia"
27
- uses : julia-actions/setup-julia@v1
27
+ uses : julia-actions/setup-julia@v2
28
28
with :
29
29
version : ' ~1.6.0-0'
30
30
- id : set-matrix
51
51
fail-fast : false
52
52
53
53
steps :
54
- - uses : actions/checkout@v3
54
+ - uses : actions/checkout@v4
55
55
- name : " Set up Julia"
56
- uses : julia-actions/setup-julia@v1
56
+ uses : julia-actions/setup-julia@v2
57
57
with :
58
58
version : ${{ matrix.julia-version }}
59
59
- name : " Set up Oscar-dev configuration"
Original file line number Diff line number Diff line change 21
21
PR_NUMBER : ${{github.event.number}}
22
22
GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
23
23
steps :
24
- - uses : actions/checkout@v3
24
+ - uses : actions/checkout@v4
25
25
- name : " Set up Julia"
26
- uses : julia-actions/setup-julia@v1
26
+ uses : julia-actions/setup-julia@v2
27
27
with :
28
28
version : ' ~1.6.0-0'
29
29
- id : set-matrix
52
52
fail-fast : false
53
53
54
54
steps :
55
- - uses : actions/checkout@v3
55
+ - uses : actions/checkout@v4
56
56
- name : " Set up Julia"
57
- uses : julia-actions/setup-julia@v1
57
+ uses : julia-actions/setup-julia@v2
58
58
with :
59
59
version : ${{ matrix.julia-version }}
60
60
- name : " Set up Oscar-dev configuration"
Original file line number Diff line number Diff line change 20
20
env :
21
21
PR_NUMBER : ${{github.event.number}}
22
22
steps :
23
- - uses : actions/checkout@v3
23
+ - uses : actions/checkout@v4
24
24
- name : " Set up Julia"
25
- uses : julia-actions/setup-julia@v1
25
+ uses : julia-actions/setup-julia@v2
26
26
with :
27
27
version : ' ~1.6.0-0'
28
28
- name : OscarDevTools - CI
59
59
fail-fast : false
60
60
61
61
steps :
62
- - uses : actions/checkout@v3
62
+ - uses : actions/checkout@v4
63
63
- name : " Set up Julia"
64
- uses : julia-actions/setup-julia@v1
64
+ uses : julia-actions/setup-julia@v2
65
65
with :
66
66
version : ${{ matrix.julia-version }}
67
67
- name : re-using OscarDevTools checkout
Original file line number Diff line number Diff line change 25
25
PR_NUMBER : ${{github.event.number || '0' }}
26
26
GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
27
27
steps :
28
- - uses : actions/checkout@v3
28
+ - uses : actions/checkout@v4
29
29
- name : " Set up Julia"
30
- uses : julia-actions/setup-julia@v1
30
+ uses : julia-actions/setup-julia@v2
31
31
with :
32
32
version : ' 1.10'
33
33
- name : OscarDevTools - CI
65
65
fail-fast : false
66
66
67
67
steps :
68
- - uses : actions/checkout@v3
68
+ - uses : actions/checkout@v4
69
69
- name : " Set up Julia"
70
- uses : julia-actions/setup-julia@v1
70
+ uses : julia-actions/setup-julia@v2
71
71
with :
72
72
version : ${{ matrix.julia-version }}
73
73
- name : re-using OscarDevTools checkout
You can’t perform that action at this time.
0 commit comments