Skip to content

leo-ard is testing out GitHub Actions 🚀 #28

leo-ard is testing out GitHub Actions 🚀

leo-ard is testing out GitHub Actions 🚀 #28

Workflow file for this run

name: Test
run-name: ${{ github.actor }} is testing out GitHub Actions 🚀
on:
push:
branches:
- main
- dev
pull_request:
branches:
- main
- dev
jobs:
download_gambit:
runs-on: ubuntu-latest
steps:
- name: Download a Build Artifact
uses: actions/download-artifact@v4
with:
name: gambit-linux-x86_64
path: gambit-artifact
repository: gambit/gambit
github-token: ${{ secrets.GAMBIT_DOWNLOAD_TOKEN }}
run-id: 7920968329
- name: list the contents of the artifact
run: |
ls -l gambit-artifact
ls -l gambit-artifact/gambit-linux-x86_64.tgz
file gambit-artifact/gambit-linux-x86_64.tgz
- name: Extract the artifact into gambit
run: |
mkdir -p gambit
pwd
tar -xzvf gambit-artifact/gambit-linux-x86_64.tgz -C gambit
- name: Run the gambit binary
run: |
./gambit/bin/gsi -v
./gambit/bin/gsc -v
checkout_ribbit:
runs-on: ubuntu-latest
steps:
- name: Checkout the ribbit repository
uses: actions/checkout@v2
with:
repository: ${{ github.repository }}
ref: ${{ github.ref }}
py_rvm:
runs-on: ubuntu-latest
needs: [download_gambit, checkout_ribbit]
steps:
- name: Set up Python
uses: actions/setup-python@v4
with:
python-version: '3.10'
- name: Run RVM tests
run: |
ls -la
pwd
cd src; HOST=py make check