Skip to content

Commit d077b03

Browse files
wenkokkewenkokke
committed
Set CI to run on v1.1.0 & update binary package URLs
1 parent de2d5df commit d077b03

4 files changed

Lines changed: 44 additions & 41 deletions

File tree

‎.github/workflows/setup.yml‎

Lines changed: 2 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -2,31 +2,20 @@ name: setup
22

33
on:
44
push:
5-
branches: ['main']
5+
branches: ['v1.1.0']
66
paths: ['**.ts', '**.js', '**.json', '**.yml']
77

88
pull_request:
9-
branches: ['main']
9+
branches: ['v1.1.0']
1010
paths: ['**.ts', '**.js', '**.json', '**.yml']
1111
types: [opened, synchronize, reopened]
1212

1313
jobs:
14-
check-dist:
15-
uses: ./.github/workflows/check-dist.yml
16-
1714
setup-latest:
18-
needs: [check-dist]
1915
uses: ./.github/workflows/setup-latest.yml
2016

2117
setup-legacy:
22-
needs: [check-dist]
2318
uses: ./.github/workflows/setup-legacy.yml
2419

2520
setup-libraries:
26-
needs: [check-dist]
2721
uses: ./.github/workflows/setup-libraries.yml
28-
29-
release:
30-
if: ${{ github.event_name == 'push' }}
31-
needs: [check-dist, setup-latest, setup-legacy, setup-libraries]
32-
uses: ./.github/workflows/release.yml

‎dist/index.js‎

Lines changed: 28 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -1876,7 +1876,7 @@ function installFromBdist(options) {
18761876
}
18771877
exports["default"] = installFromBdist;
18781878
function repairPermissions(bdistDir) {
1879-
var e_1, _a;
1879+
var _a, e_1, _b, _c;
18801880
return __awaiter(this, void 0, void 0, function* () {
18811881
switch (opts.platform) {
18821882
case 'linux': {
@@ -1898,17 +1898,24 @@ function repairPermissions(bdistDir) {
18981898
// Repair file permissions on libraries
18991899
const libGlobber = yield glob.create(path.join(bdistDir, 'lib', '*'));
19001900
try {
1901-
for (var _b = __asyncValues(libGlobber.globGenerator()), _c; _c = yield _b.next(), !_c.done;) {
1902-
const libPath = _c.value;
1903-
yield util.chmod('+w', libPath);
1904-
yield util.xattr('-c', libPath);
1905-
yield util.chmod('-w', libPath);
1901+
for (var _d = true, _e = __asyncValues(libGlobber.globGenerator()), _f; _f = yield _e.next(), _a = _f.done, !_a;) {
1902+
_c = _f.value;
1903+
_d = false;
1904+
try {
1905+
const libPath = _c;
1906+
yield util.chmod('+w', libPath);
1907+
yield util.xattr('-c', libPath);
1908+
yield util.chmod('-w', libPath);
1909+
}
1910+
finally {
1911+
_d = true;
1912+
}
19061913
}
19071914
}
19081915
catch (e_1_1) { e_1 = { error: e_1_1 }; }
19091916
finally {
19101917
try {
1911-
if (_c && !_c.done && (_a = _b.return)) yield _a.call(_b);
1918+
if (!_d && !_a && (_b = _e.return)) yield _b.call(_e);
19121919
}
19131920
finally { if (e_1) throw e_1.error; }
19141921
}
@@ -3047,7 +3054,7 @@ function agda(args, agdaOptions, options) {
30473054
}
30483055
exports.agda = agda;
30493056
function agdaTest(agdaOptions, options) {
3050-
var e_1, _a;
3057+
var _a, e_1, _b, _c;
30513058
return __awaiter(this, void 0, void 0, function* () {
30523059
const versionString = yield agdaGetVersion(agdaOptions);
30533060
core.info(`Found Agda version ${versionString} on PATH`);
@@ -3059,16 +3066,23 @@ function agdaTest(agdaOptions, options) {
30593066
matchDirectories: false
30603067
});
30613068
try {
3062-
for (var _b = __asyncValues(globber.globGenerator()), _c; _c = yield _b.next(), !_c.done;) {
3063-
const agdaFile = _c.value;
3064-
core.info(`Compiling ${agdaFile}`);
3065-
yield agda(['-v0', agdaFile], agdaOptions, Object.assign(Object.assign({}, options), { cwd: path.join(dataDir, 'lib', 'prim') }));
3069+
for (var _d = true, _e = __asyncValues(globber.globGenerator()), _f; _f = yield _e.next(), _a = _f.done, !_a;) {
3070+
_c = _f.value;
3071+
_d = false;
3072+
try {
3073+
const agdaFile = _c;
3074+
core.info(`Compiling ${agdaFile}`);
3075+
yield agda(['-v0', agdaFile], agdaOptions, Object.assign(Object.assign({}, options), { cwd: path.join(dataDir, 'lib', 'prim') }));
3076+
}
3077+
finally {
3078+
_d = true;
3079+
}
30663080
}
30673081
}
30683082
catch (e_1_1) { e_1 = { error: e_1_1 }; }
30693083
finally {
30703084
try {
3071-
if (_c && !_c.done && (_a = _b.return)) yield _a.call(_b);
3085+
if (!_d && !_a && (_b = _e.return)) yield _b.call(_e);
30723086
}
30733087
finally { if (e_1) throw e_1.error; }
30743088
}
@@ -31957,7 +31971,7 @@ module.exports = JSON.parse('{"2.6.2.2":["1.7.1"],"2.6.2.1":["1.7.1"],"2.6.2":["
3195731971
/***/ ((module) => {
3195831972

3195931973
"use strict";
31960-
module.exports = JSON.parse('{"darwin":{"x64":{"nightly":{"url":"https://github.com/agda/agda/releases/download/nightly/Agda-nightly-macOS.tar.xz","dir":"Agda-nightly"},"2.6.2.2":"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.2-x64-macos-11-icu71.1-ghc9.2.2-cabal3.6.2.0.zip","2.6.2.1":"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.1-x64-macos-11-icu71.1-ghc9.2.1-cabal2.4.1.0-stack2.7.5.zip","2.6.2":"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2-x64-macos-11-icu71.1-ghc9.0.1-cabal2.4.1.0-stack2.7.5.zip","2.6.1.3":"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.1.3-x64-macos-11-icu71.1-ghc8.10.3-cabal2.4.1.0-stack2.7.5.zip","2.6.0.1":"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.0.1-x64-macos-11-icu71.1-ghc8.6.5-cabal2.4.1.0-stack2.7.5.zip","2.5.4.2":"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.4.2-x64-macos-11-icu71.1-ghc8.4.4-cabal2.4.1.0-stack2.7.5.zip"}},"linux":{"x64":{"nightly":{"url":"https://github.com/agda/agda/releases/download/nightly/Agda-nightly-linux.tar.xz","dir":"Agda-nightly"},"2.6.2.2":"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.2-x64-ubuntu-20.04-icu66.1-ghc9.2.2-cabal3.6.2.0.zip","2.6.2.1":"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.1-x64-ubuntu-20.04-icu66.1-ghc9.2.1-cabal2.4.1.0-stack2.7.5.zip","2.6.2":"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2-x64-ubuntu-20.04-icu66.1-ghc9.0.1-cabal2.4.1.0-stack2.7.5.zip","2.6.1.3":"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.1.3-x64-ubuntu-20.04-icu66.1-ghc8.10.3-cabal2.4.1.0-stack2.7.5.zip","2.6.0.1":"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.0.1-x64-ubuntu-20.04-icu66.1-ghc8.6.5-cabal2.4.1.0-stack2.7.5.zip","2.5.4.2":"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.4.2-x64-ubuntu-20.04-icu66.1-ghc8.4.4-cabal2.4.1.0-stack2.7.5.zip"}},"win32":{"x64":{"nightly":{"url":"https://github.com/agda/agda/releases/download/nightly/Agda-nightly-win64.zip","dir":"Agda-nightly"},"2.6.2.2":"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.2-x64-windows-2022-icu71.1-ghc9.2.2-cabal3.6.2.0.zip"}}}');
31974+
module.exports = JSON.parse('{"darwin":{"x64":{"nightly":{"url":"https://github.com/agda/agda/releases/download/nightly/Agda-nightly-macOS.tar.xz","dir":"Agda-nightly"},"2.6.2.2":"https://github.com/wenkokke/setup-agda/releases/download/v1.1.0/agda-2.6.2.2-x64-macos-11-icu71.1-ghc9.2.2-no-license.zip","2.6.2.1":"https://github.com/wenkokke/setup-agda/releases/download/v1.1.0/agda-2.6.2.1-x64-macos-11-icu71.1-ghc9.2.1-no-license.zip","2.6.2":"https://github.com/wenkokke/setup-agda/releases/download/v1.1.0/agda-2.6.2-x64-macos-11-icu71.1-ghc9.0.1-no-license.zip","2.6.1.3":"https://github.com/wenkokke/setup-agda/releases/download/v1.1.0/agda-2.6.1.3-x64-macos-11-icu71.1-ghc8.10.3-no-license.zip","2.6.0.1":"https://github.com/wenkokke/setup-agda/releases/download/v1.1.0/agda-2.6.0.1-x64-macos-11-icu71.1-ghc8.6.5-no-license.zip","2.5.4.2":"https://github.com/wenkokke/setup-agda/releases/download/v1.1.0/agda-2.5.4.2-x64-macos-11-icu71.1-ghc8.4.4-no-license.zip"}},"linux":{"x64":{"nightly":{"url":"https://github.com/agda/agda/releases/download/nightly/Agda-nightly-linux.tar.xz","dir":"Agda-nightly"},"2.6.2.2":"https://github.com/wenkokke/setup-agda/releases/download/v1.1.0/agda-2.6.2.2-x64-ubuntu-20.04-icu66.1-ghc9.2.2-no-license.zip","2.6.2.1":"https://github.com/wenkokke/setup-agda/releases/download/v1.1.0/agda-2.6.2.1-x64-ubuntu-20.04-icu66.1-ghc9.2.1-no-license.zip","2.6.2":"https://github.com/wenkokke/setup-agda/releases/download/v1.1.0/agda-2.6.2-x64-ubuntu-20.04-icu66.1-ghc9.0.1-no-license.zip","2.6.1.3":"https://github.com/wenkokke/setup-agda/releases/download/v1.1.0/agda-2.6.1.3-x64-ubuntu-20.04-icu66.1-ghc8.10.3-no-license.zip","2.6.0.1":"https://github.com/wenkokke/setup-agda/releases/download/v1.1.0/agda-2.6.0.1-x64-ubuntu-20.04-icu66.1-ghc8.6.5-no-license.zip","2.5.4.2":"https://github.com/wenkokke/setup-agda/releases/download/v1.1.0/agda-2.5.4.2-x64-ubuntu-20.04-icu66.1-ghc8.4.4-no-license.zip"}},"win32":{"x64":{"nightly":{"url":"https://github.com/agda/agda/releases/download/nightly/Agda-nightly-win64.zip","dir":"Agda-nightly"},"2.6.2.2":"https://github.com/wenkokke/setup-agda/releases/download/v1.1.0/agda-2.6.2.2-x64-windows-2022-icu71.1-ghc9.2.2-no-license.zip"}}}');
3196131975

3196231976
/***/ }),
3196331977

‎dist/index.js.map‎

Lines changed: 1 addition & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎src/data/Agda.bdist.json‎

Lines changed: 13 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -5,12 +5,12 @@
55
"url": "https://github.com/agda/agda/releases/download/nightly/Agda-nightly-macOS.tar.xz",
66
"dir": "Agda-nightly"
77
},
8-
"2.6.2.2": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.2-x64-macos-11-icu71.1-ghc9.2.2-cabal3.6.2.0.zip",
9-
"2.6.2.1": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.1-x64-macos-11-icu71.1-ghc9.2.1-cabal2.4.1.0-stack2.7.5.zip",
10-
"2.6.2": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2-x64-macos-11-icu71.1-ghc9.0.1-cabal2.4.1.0-stack2.7.5.zip",
11-
"2.6.1.3": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.1.3-x64-macos-11-icu71.1-ghc8.10.3-cabal2.4.1.0-stack2.7.5.zip",
12-
"2.6.0.1": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.0.1-x64-macos-11-icu71.1-ghc8.6.5-cabal2.4.1.0-stack2.7.5.zip",
13-
"2.5.4.2": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.4.2-x64-macos-11-icu71.1-ghc8.4.4-cabal2.4.1.0-stack2.7.5.zip"
8+
"2.6.2.2": "https://github.com/wenkokke/setup-agda/releases/download/v1.1.0/agda-2.6.2.2-x64-macos-11-icu71.1-ghc9.2.2-no-license.zip",
9+
"2.6.2.1": "https://github.com/wenkokke/setup-agda/releases/download/v1.1.0/agda-2.6.2.1-x64-macos-11-icu71.1-ghc9.2.1-no-license.zip",
10+
"2.6.2": "https://github.com/wenkokke/setup-agda/releases/download/v1.1.0/agda-2.6.2-x64-macos-11-icu71.1-ghc9.0.1-no-license.zip",
11+
"2.6.1.3": "https://github.com/wenkokke/setup-agda/releases/download/v1.1.0/agda-2.6.1.3-x64-macos-11-icu71.1-ghc8.10.3-no-license.zip",
12+
"2.6.0.1": "https://github.com/wenkokke/setup-agda/releases/download/v1.1.0/agda-2.6.0.1-x64-macos-11-icu71.1-ghc8.6.5-no-license.zip",
13+
"2.5.4.2": "https://github.com/wenkokke/setup-agda/releases/download/v1.1.0/agda-2.5.4.2-x64-macos-11-icu71.1-ghc8.4.4-no-license.zip"
1414
}
1515
},
1616
"linux": {
@@ -19,12 +19,12 @@
1919
"url": "https://github.com/agda/agda/releases/download/nightly/Agda-nightly-linux.tar.xz",
2020
"dir": "Agda-nightly"
2121
},
22-
"2.6.2.2": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.2-x64-ubuntu-20.04-icu66.1-ghc9.2.2-cabal3.6.2.0.zip",
23-
"2.6.2.1": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.1-x64-ubuntu-20.04-icu66.1-ghc9.2.1-cabal2.4.1.0-stack2.7.5.zip",
24-
"2.6.2": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2-x64-ubuntu-20.04-icu66.1-ghc9.0.1-cabal2.4.1.0-stack2.7.5.zip",
25-
"2.6.1.3": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.1.3-x64-ubuntu-20.04-icu66.1-ghc8.10.3-cabal2.4.1.0-stack2.7.5.zip",
26-
"2.6.0.1": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.0.1-x64-ubuntu-20.04-icu66.1-ghc8.6.5-cabal2.4.1.0-stack2.7.5.zip",
27-
"2.5.4.2": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.4.2-x64-ubuntu-20.04-icu66.1-ghc8.4.4-cabal2.4.1.0-stack2.7.5.zip"
22+
"2.6.2.2": "https://github.com/wenkokke/setup-agda/releases/download/v1.1.0/agda-2.6.2.2-x64-ubuntu-20.04-icu66.1-ghc9.2.2-no-license.zip",
23+
"2.6.2.1": "https://github.com/wenkokke/setup-agda/releases/download/v1.1.0/agda-2.6.2.1-x64-ubuntu-20.04-icu66.1-ghc9.2.1-no-license.zip",
24+
"2.6.2": "https://github.com/wenkokke/setup-agda/releases/download/v1.1.0/agda-2.6.2-x64-ubuntu-20.04-icu66.1-ghc9.0.1-no-license.zip",
25+
"2.6.1.3": "https://github.com/wenkokke/setup-agda/releases/download/v1.1.0/agda-2.6.1.3-x64-ubuntu-20.04-icu66.1-ghc8.10.3-no-license.zip",
26+
"2.6.0.1": "https://github.com/wenkokke/setup-agda/releases/download/v1.1.0/agda-2.6.0.1-x64-ubuntu-20.04-icu66.1-ghc8.6.5-no-license.zip",
27+
"2.5.4.2": "https://github.com/wenkokke/setup-agda/releases/download/v1.1.0/agda-2.5.4.2-x64-ubuntu-20.04-icu66.1-ghc8.4.4-no-license.zip"
2828
}
2929
},
3030
"win32": {
@@ -33,7 +33,7 @@
3333
"url": "https://github.com/agda/agda/releases/download/nightly/Agda-nightly-win64.zip",
3434
"dir": "Agda-nightly"
3535
},
36-
"2.6.2.2": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.2-x64-windows-2022-icu71.1-ghc9.2.2-cabal3.6.2.0.zip"
36+
"2.6.2.2": "https://github.com/wenkokke/setup-agda/releases/download/v1.1.0/agda-2.6.2.2-x64-windows-2022-icu71.1-ghc9.2.2-no-license.zip"
3737
}
3838
}
3939
}

0 commit comments

Comments
 (0)