idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-25 20:51:43 +03:00
Code Issues Projects Releases Wiki Activity

Remove unsecure commands (#1433)

Browse Source
This commit is contained in:
Michael Messer 2021-05-20 05:21:39 -04:00 committed by GitHub
parent daf30ee4f6
commit 890810e9b6
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
4 changed files with 15 additions and 21 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
.github/workflows/ci-lint.yml vendored
View File

@ -9,9 +9,6 @@ on:
branches:
- master
env:
ACTIONS_ALLOW_UNSECURE_COMMANDS: true
jobs:
build:
runs-on: ubuntu-latest

7
.github/workflows/ci-macos-combined.yml vendored
View File

@ -12,7 +12,6 @@ on:
env:
SCHEME: chez
IDRIS2_TESTS_CG: chez
ACTIONS_ALLOW_UNSECURE_COMMANDS: true
jobs:
@ -27,7 +26,7 @@ jobs:
run: |
brew install chezscheme
brew install coreutils
echo "::add-path::$HOME/.idris2/bin"
echo "$HOME/.idris2/bin" >> $GITHUB_PATH
- name: Build Idris 2 from bootstrap
run: make bootstrap && make install
shell: bash
@ -54,7 +53,7 @@ jobs:
run: |
brew install chezscheme
brew install coreutils
echo "::add-path::$HOME/.idris2/bin"
echo "$HOME/.idris2/bin" >> $GITHUB_PATH
chmod +x $HOME/.idris2/bin/idris2 $HOME/.idris2/bin/idris2_app/*
- name: Build self-hosted
run: make all && make install
@ -83,7 +82,7 @@ jobs:
# brew install gambit-scheme
# CURRENTDIR=$(find /usr/local/Cellar/gambit-scheme -type l -name current)
# echo "::add-path::${CURRENTDIR}/bin"
# echo "::add-path::$HOME/.idris2/bin"
# echo "$HOME/.idris2/bin" >> $GITHUB_PATH
# chmod +x $HOME/.idris2/bin/idris2 $HOME/.idris2/bin/idris2_app/*
# - name: Test gambit
# run: cd tests/gambit/bitops001/ && ./run idris2

15
.github/workflows/ci-ubuntu-combined.yml vendored
View File

@ -12,7 +12,6 @@ on:
- main
env:
ACTIONS_ALLOW_UNSECURE_COMMANDS: true
IDRIS2_VERSION: 0.3.0 # For previous-version build
SCHEME: scheme
@ -33,7 +32,7 @@ jobs:
- name: Install build dependencies
run: |
sudo apt-get install -y chezscheme
echo "::add-path::$HOME/.idris2/bin"
echo "$HOME/.idris2/bin" >> $GITHUB_PATH
- name: Build from bootstrap
run: make bootstrap && make install
- name: Artifact Bootstrapped Idris2
@ -53,7 +52,7 @@ jobs:
- name: Install build dependencies
run: |
sudo apt-get install -y racket
echo "::add-path::$HOME/.idris2/bin"
echo "$HOME/.idris2/bin" >> $GITHUB_PATH
- name: Build from bootstrap
run: make bootstrap-racket && make install
- name: Artifact Bootstrapped Idris2
@ -73,7 +72,7 @@ jobs:
- name: Install build dependencies
run: |
sudo apt-get install -y chezscheme
echo "::add-path::$HOME/.idris2/bin"
echo "$HOME/.idris2/bin" >> $GITHUB_PATH
- name: Cache Chez Previous Version
id: previous-version-cache
uses: actions/cache@v2
@ -120,7 +119,7 @@ jobs:
- name: Install build dependencies
run: |
sudo apt-get install -y chezscheme
echo "::add-path::$HOME/.idris2/bin"
echo "$HOME/.idris2/bin" >> $GITHUB_PATH
chmod +x $HOME/.idris2/bin/idris2 $HOME/.idris2/bin/idris2_app/*
- name: Build self-hosted
run: make all && make install
@ -144,7 +143,7 @@ jobs:
- name: Install build dependencies
run: |
sudo apt-get install -y racket
echo "::add-path::$HOME/.idris2/bin"
echo "$HOME/.idris2/bin" >> $GITHUB_PATH
chmod +x $HOME/.idris2/bin/idris2 $HOME/.idris2/bin/idris2_app/*
- name: Build self-hosted
run: make all && make install
@ -168,7 +167,7 @@ jobs:
- name: Install build dependencies
run: |
sudo apt-get install -y chezscheme
echo "::add-path::$HOME/.idris2/bin"
echo "$HOME/.idris2/bin" >> $GITHUB_PATH
chmod +x $HOME/.idris2/bin/idris2 $HOME/.idris2/bin/idris2_app/*
- name: Build from previous version
run: make all && make install && make clean
@ -199,7 +198,7 @@ jobs:
- name: Install build dependencies
run: |
sudo apt-get install -y chezscheme
echo "::add-path::$HOME/.idris2/bin"
echo "$HOME/.idris2/bin" >> $GITHUB_PATH
chmod +x $HOME/.idris2/bin/idris2 $HOME/.idris2/bin/idris2_app/*
- name: Build API
run: make install-api

11
.github/workflows/ci-windows.yml vendored
View File

@ -14,7 +14,6 @@ env:
SCHEME: scheme
IDRIS2_TESTS_CG: chez
CC: gcc
ACTIONS_ALLOW_UNSECURE_COMMANDS: true
jobs:
build:
@ -29,7 +28,7 @@ jobs:
run: |
git clone --depth 1 https://github.com/cisco/ChezScheme
c:\msys64\usr\bin\bash -l -c "pacman -S --noconfirm tar make"
echo "::set-env name=PWD::$(c:\msys64\usr\bin\cygpath -u $(pwd))"
echo "PWD=$(c:\msys64\usr\bin\cygpath -u $(pwd))" | Out-File -FilePath $env:GITHUB_ENV -Encoding utf8 -Append
- name: Configure and Build Chez Scheme
run: |
c:\msys64\usr\bin\bash -l -c "cd $env:PWD && cd ChezScheme && ./configure --threads && make"
@ -37,10 +36,10 @@ jobs:
run: |
$chez="$(pwd)\ChezScheme\ta6nt\bin\ta6nt"
$idris="$(pwd)\.idris2"
echo "::add-path::$chez"
echo "::add-path::$idris\bin"
echo "::set-env name=IDRIS_PREFIX::$idris"
echo "::set-env name=PREFIX::$(c:\msys64\usr\bin\cygpath -u $idris)"
echo "$chez" | Out-File -FilePath $env:GITHUB_PATH -Encoding utf8 -Append
echo "$idris\bin" | Out-File -FilePath $env:GITHUB_PATH -Encoding utf8 -Append
echo "IDRIS_PREFIX=$idris" | Out-File -FilePath $env:GITHUB_ENV -Encoding utf8 -Append
echo "PREFIX=$(c:\msys64\usr\bin\cygpath -u $idris)" | Out-File -FilePath $env:GITHUB_ENV -Encoding utf8 -Append
- name: Test Scheme
run: |
scheme --version