Commit cdee75e 1 parent a7ba844 commit cdee75e Copy full SHA for cdee75e
File tree 3 files changed +8
-26
lines changed
3 files changed +8
-26
lines changed Original file line number Diff line number Diff line change 1
- name : common
1
+ name : Check
2
2
3
3
on :
4
4
push :
@@ -190,4 +190,5 @@ jobs:
190
190
uses : ./.github/workflows/runtest.yml
191
191
with :
192
192
target : ${{ matrix.target }}
193
- channel : nightly
193
+ channel : nightly
194
+ build-std : true
Original file line number Diff line number Diff line change 12
12
required : false
13
13
type : string
14
14
default : ' '
15
+ build-std :
16
+ required : false
17
+ type : boolean
18
+ default : false
15
19
16
20
jobs :
17
21
test :
37
41
with :
38
42
use-cross : true
39
43
command : build
40
- args : --target ${{ inputs.target }} ${{ inputs.channel == 'nightly' && '--features=nightly' || '' }}
44
+ args : --target ${{ inputs.target }} ${{ inputs.channel == 'nightly' && '--features=nightly' || '' }} ${{ inputs.build-std && '-Z build-std=core' || '' }}
41
45
42
46
- name : Test
43
47
uses : actions-rs/cargo@v1
Load Diff This file was deleted.
You can’t perform that action at this time.
0 commit comments