Skip to content

Commit ad69eeb

Browse files
authored
Build script merge (#3743)
Merged the build script into main repository. Some related cleanups.
1 parent 5386a8b commit ad69eeb

File tree

460 files changed

+23652
-2985
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

460 files changed

+23652
-2985
lines changed

.cargo/config

-11
This file was deleted.

.cargo/config.toml

+11
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
[build]
2+
target-dir = "target/rust/"
3+
rustflags = ["--cfg", "tokio_unstable"]
4+
5+
[target.wasm32-unknown-unknown]
6+
rustflags = [
7+
# Increas the stack size from 1MB to 2MB. This is required to avoid running out of stack space
8+
# in debug builds. The error is reported as `RuntimeError: memory access out of bounds`.
9+
"-C",
10+
"link-args=-z stack-size=2097152",
11+
]

.github/CODEOWNERS

+5-2
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,11 @@
11
# Change log
22
CHANGELOG.md
33

4+
# Build script & utilities
5+
/run @mwu-tow
6+
/run.bat @mwu-tow
7+
/build @mwu-tow
8+
49
# Rust Libraries and Related Files
510
rust-toolchain.toml @MichaelMauderer @mwu-tow @farmaazon
611
rustfmt.toml @MichaelMauderer @mwu-tow @farmaazon
@@ -20,8 +25,6 @@ Cargo.toml
2025
/lib/scala/interpreter-dsl/ @4e6 @jaroslavtulach
2126

2227
# GUI
23-
/run @MichaelMauderer @wdanilo
24-
/build/ @MichaelMauderer @wdanilo
2528
/app/gui/ @MichaelMauderer @wdanilo @farmaazon @mwu-tow
2629
/app/gui/view/ @MichaelMauderer @wdanilo @farmaazon
2730
/app/ide-desktop/ @MichaelMauderer @wdanilo

.github/workflows/benchmark.yml

+18-22
Original file line numberDiff line numberDiff line change
@@ -8,9 +8,7 @@ on:
88
workflow_dispatch:
99
inputs:
1010
just-check:
11-
description:
12-
If set, benchmarks will be only checked to run correctly, not
13-
to measure actual performance.
11+
description: If set, benchmarks will be only checked to run correctly, not to measure actual performance.
1412
required: true
1513
type: boolean
1614
default: false
@@ -22,37 +20,25 @@ jobs:
2220
steps:
2321
- name: Setup conda (GH runners only)
2422
uses: s-weigand/[email protected]
25-
if:
26-
startsWith(runner.name, 'GitHub Actions') || startsWith(runner.name, 'Hosted
27-
Agent')
23+
if: startsWith(runner.name, 'GitHub Actions') || startsWith(runner.name, 'Hosted Agent')
2824
with:
2925
update-conda: false
3026
conda-channels: anaconda, conda-forge
3127
- name: Installing wasm-pack
3228
uses: jetli/[email protected]
33-
if:
34-
startsWith(runner.name, 'GitHub Actions') || startsWith(runner.name, 'Hosted
35-
Agent')
29+
if: startsWith(runner.name, 'GitHub Actions') || startsWith(runner.name, 'Hosted Agent')
3630
with:
3731
version: v0.10.2
38-
- name: Setup the Artifact API environment
32+
- name: Expose Artifact API and context information.
3933
uses: actions/github-script@v6
4034
with:
41-
script: |-
42-
core.exportVariable("ACTIONS_RUNTIME_TOKEN", process.env["ACTIONS_RUNTIME_TOKEN"])
43-
core.exportVariable("ACTIONS_RUNTIME_URL", process.env["ACTIONS_RUNTIME_URL"])
44-
core.exportVariable("GITHUB_RETENTION_DAYS", process.env["GITHUB_RETENTION_DAYS"])
35+
script: "\n core.exportVariable(\"ACTIONS_RUNTIME_TOKEN\", process.env[\"ACTIONS_RUNTIME_TOKEN\"])\n core.exportVariable(\"ACTIONS_RUNTIME_URL\", process.env[\"ACTIONS_RUNTIME_URL\"])\n core.exportVariable(\"GITHUB_RETENTION_DAYS\", process.env[\"GITHUB_RETENTION_DAYS\"])\n console.log(context)\n "
4536
- name: Workaround for https://github.com/actions/checkout/issues/590 (Windows)
46-
run:
47-
'"c:\Program Files\Git\bin\bash.exe" -c "git checkout -f $(git -c user.name=x
48-
-c user.email=x@x commit-tree $(git hash-object -t tree /dev/null) < /dev/null)
49-
|| :"'
37+
run: '"c:\Program Files\Git\bin\bash.exe" -c "git checkout -f $(git -c user.name=x -c user.email=x@x commit-tree $(git hash-object -t tree /dev/null) < /dev/null) || :"'
5038
if: runner.os == 'Windows'
5139
shell: cmd
5240
- name: Workaround for https://github.com/actions/checkout/issues/590 (non-Windows)
53-
run:
54-
"git checkout -f $(git -c user.name=x -c user.email=x@x commit-tree $(git
55-
hash-object -t tree /dev/null) < /dev/null) || :"
41+
run: "git checkout -f $(git -c user.name=x -c user.email=x@x commit-tree $(git hash-object -t tree /dev/null) < /dev/null) || :"
5642
if: runner.os != 'Windows'
5743
shell: bash
5844
- name: Checking out the repository
@@ -64,6 +50,11 @@ jobs:
6450
run: ./run --help
6551
env:
6652
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
53+
- name: Clean before
54+
run: ./run git-clean
55+
if: "contains(github.event.pull_request.labels.*.name, 'CI: Clean build required')"
56+
env:
57+
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
6758
- run: ./run backend benchmark runtime
6859
env:
6960
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
@@ -73,6 +64,11 @@ jobs:
7364
- name: List files if failed (non-Windows)
7465
run: ls -lAR
7566
if: failure() && runner.os != 'Windows'
67+
- name: Clean after
68+
run: ./run git-clean
69+
if: "always() && always() && contains(github.event.pull_request.labels.*.name, 'CI: Clean build required')"
70+
env:
71+
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
7672
env:
77-
ENSO_BUILD_MINIMAL_RUN: ${{ inputs.just-check }}
73+
ENSO_BUILD_MINIMAL_RUN: ${{ true == inputs.just-check }}
7874
ENSO_BUILD_SKIP_VERSION_CHECK: "true"

.github/workflows/changelog.yml

+68
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,68 @@
1+
name: Changelog
2+
on:
3+
pull_request:
4+
types:
5+
- labeled
6+
- unlabeled
7+
- synchronize
8+
- opened
9+
- reopened
10+
jobs:
11+
changelog:
12+
name: Changelog
13+
runs-on:
14+
- X64
15+
steps:
16+
- name: Setup conda (GH runners only)
17+
uses: s-weigand/[email protected]
18+
if: startsWith(runner.name, 'GitHub Actions') || startsWith(runner.name, 'Hosted Agent')
19+
with:
20+
update-conda: false
21+
conda-channels: anaconda, conda-forge
22+
- name: Installing wasm-pack
23+
uses: jetli/[email protected]
24+
if: startsWith(runner.name, 'GitHub Actions') || startsWith(runner.name, 'Hosted Agent')
25+
with:
26+
version: v0.10.2
27+
- name: Expose Artifact API and context information.
28+
uses: actions/github-script@v6
29+
with:
30+
script: "\n core.exportVariable(\"ACTIONS_RUNTIME_TOKEN\", process.env[\"ACTIONS_RUNTIME_TOKEN\"])\n core.exportVariable(\"ACTIONS_RUNTIME_URL\", process.env[\"ACTIONS_RUNTIME_URL\"])\n core.exportVariable(\"GITHUB_RETENTION_DAYS\", process.env[\"GITHUB_RETENTION_DAYS\"])\n console.log(context)\n "
31+
- name: Workaround for https://github.com/actions/checkout/issues/590 (Windows)
32+
run: '"c:\Program Files\Git\bin\bash.exe" -c "git checkout -f $(git -c user.name=x -c user.email=x@x commit-tree $(git hash-object -t tree /dev/null) < /dev/null) || :"'
33+
if: runner.os == 'Windows'
34+
shell: cmd
35+
- name: Workaround for https://github.com/actions/checkout/issues/590 (non-Windows)
36+
run: "git checkout -f $(git -c user.name=x -c user.email=x@x commit-tree $(git hash-object -t tree /dev/null) < /dev/null) || :"
37+
if: runner.os != 'Windows'
38+
shell: bash
39+
- name: Checking out the repository
40+
uses: actions/checkout@v2
41+
with:
42+
clean: false
43+
submodules: recursive
44+
- name: Build Script Setup
45+
run: ./run --help
46+
env:
47+
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
48+
- name: Clean before
49+
run: ./run git-clean
50+
if: "contains(github.event.pull_request.labels.*.name, 'CI: Clean build required')"
51+
env:
52+
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
53+
- run: ./run changelog-check
54+
env:
55+
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
56+
- name: List files if failed (Windows)
57+
run: Get-ChildItem -Force -Recurse
58+
if: failure() && runner.os == 'Windows'
59+
- name: List files if failed (non-Windows)
60+
run: ls -lAR
61+
if: failure() && runner.os != 'Windows'
62+
- name: Clean after
63+
run: ./run git-clean
64+
if: "always() && always() && contains(github.event.pull_request.labels.*.name, 'CI: Clean build required')"
65+
env:
66+
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
67+
env:
68+
ENSO_BUILD_SKIP_VERSION_CHECK: "true"

0 commit comments

Comments
 (0)