@@ -20,24 +20,31 @@ jobs:
2020 version : ' 1'
2121 arch : ${{ runner.arch }}
2222 if : steps.julia_in_path.outcome != 'success'
23- - name : " Add the General registry via Git"
23+ - name : ' Add the General registry via Git'
2424 run : |
2525 import Pkg
2626 ENV["JULIA_PKG_SERVER"] = ""
2727 Pkg.Registry.add("General")
2828 shell : julia --color=yes {0}
29- - name : " Install CompatHelper"
29+ - name : ' Install CompatHelper'
3030 run : |
3131 import Pkg
3232 name = "CompatHelper"
3333 uuid = "aa819f21-2bde-4658-8897-bab36330d9b7"
3434 version = "3"
3535 Pkg.add(; name, uuid, version)
3636 shell : julia --color=yes {0}
37- - name : " Run CompatHelper"
37+ - name : ' Run CompatHelper'
3838 run : |
3939 import CompatHelper
40- CompatHelper.main(subdirs=["DifferentiationInterface", "DifferentiationInterfaceTest"])
40+ CompatHelper.main(subdirs=[
41+ "DifferentiationInterface",
42+ "DifferentiationInterface/test",
43+ "DifferentiationInterface/docs",
44+ "DifferentiationInterfaceTest",
45+ "DifferentiationInterfaceTest/test",
46+ "DifferentiationInterfaceTest/docs",
47+ ])
4148 shell : julia --color=yes {0}
4249 env :
4350 GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
0 commit comments