Tests on github (update RESULTS.TXT) #487
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
name: Tests on github (update RESULTS.TXT) | |
on: | |
workflow_dispatch: | |
schedule: | |
# every day at 3:00 AM | |
- cron: '0 3 * * *' | |
# push: | |
# branches: | |
# - master | |
jobs: | |
tests: | |
runs-on: ubuntu-latest | |
steps: | |
- uses: actions/checkout@v4 | |
- name: "install golang" | |
run: | | |
sudo apt-get -y install golang-go | |
- name: "install codon" | |
run: | | |
source ./.github/workflows/install_codon.sh | |
- name: "install nim2" | |
uses: jiro4989/setup-nim-action@v1 | |
with: | |
nim-version: '2.0.x' # ex: 1.0.x, 1.2.x, 1.4.x, 2.0.x ... | |
- name: install pypy3.9 | |
uses: actions/setup-python@v4 | |
with: | |
python-version: 'pypy3.9' | |
- name: make python3 & pypy3 differents | |
run: | | |
sudo rm `which python3` | |
which python3 | |
which pypy3 | |
- name: "install mojo" | |
run: | | |
curl https://get.modular.com | sh - && modular auth ${{ secrets.MODULAR }} | |
modular install mojo | |
echo "/home/runner/.modular/pkg/packages.modular.com_mojo/bin" >> $GITHUB_PATH | |
python3 -c 'import sysconfig; print(sysconfig.get_config_var("LIBDIR"))' | |
ls $(python3 -c 'import sysconfig; print(sysconfig.get_config_var("LIBDIR"))') | grep libpython | |
- name: test make help | |
run: | | |
chmod +x make.py | |
./make.py | |
- name: tests all | |
run: | | |
MOJO_PYTHON_LIBRARY="/usr/lib/x86_64-linux-gnu/libpython3.10.so" ./make.py . specialized | |
- name: show stats | |
run: | | |
./make.py stats . specialized | |
- name: Append stats to RESULTS.TXT (backuped in repo! (persistent)) | |
run: | | |
./make.py snapshot >> RESULTS.TXT | |
- name: Create page RESULTS.md | |
run: | | |
python3 generate_page.py RESULTS > RESULTS.md | |
- name: Commit results | |
uses: EndBug/add-and-commit@v9 | |
with: | |
author_name: github | |
author_email: [email protected] | |
message: 'update results from github' | |
add: 'RESULTS.*' |