File tree Expand file tree Collapse file tree 2 files changed +12
-10
lines changed Expand file tree Collapse file tree 2 files changed +12
-10
lines changed Original file line number Diff line number Diff line change @@ -59,11 +59,12 @@ jobs:
59
59
update_packager_index : false
60
60
61
61
- name : " Install GAP"
62
- uses : gap-actions/setup-gap@v2
63
- with :
64
- GAP_BOOTSTRAP : ' minimal'
65
- GAP_PKGS_TO_CLONE : ' json'
66
- GAP_PKGS_TO_BUILD : ' json'
62
+ uses : gap-actions/setup-gap@v3
63
+
64
+ - name : " Build the json package"
65
+ run : |
66
+ cd ${GAPROOT}/pkg
67
+ ../bin/BuildPackages.sh --strict json
67
68
68
69
- name : " Determine what was added or modified, validate"
69
70
id : modified
Original file line number Diff line number Diff line change @@ -54,11 +54,12 @@ jobs:
54
54
update_packager_index : false
55
55
56
56
- name : " Install GAP"
57
- uses : gap-actions/setup-gap@v2
58
- with :
59
- GAP_BOOTSTRAP : ' minimal'
60
- GAP_PKGS_TO_CLONE : ' crypting json'
61
- GAP_PKGS_TO_BUILD : ' crypting json'
57
+ uses : gap-actions/setup-gap@v3
58
+
59
+ - name : " Build the json and crypting packages"
60
+ run : |
61
+ cd ${GAPROOT}/pkg
62
+ ../bin/BuildPackages.sh --strict json crypting
62
63
63
64
- name : " Set up Python"
64
65
uses : actions/setup-python@v6
You can’t perform that action at this time.
0 commit comments