Merge pull request #28 from trishullab/release #43
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: Build, Package, and Test | |
| on: | |
| push: | |
| branches: [main] | |
| pull_request: | |
| branches: [main] | |
| jobs: | |
| build-test: | |
| runs-on: ubuntu-latest | |
| container: | |
| image: coqorg/coq:8.18.0-ocaml-4.14.2-flambda | |
| options: --user 0 # Running as root; no sudo needed | |
| env: | |
| HOME: /root | |
| steps: | |
| - name: Checkout repository | |
| uses: actions/checkout@v3 | |
| with: | |
| submodules: true # Ensure submodules are checked out | |
| - name: Install Python and pip | |
| run: | | |
| apt-get update | |
| apt-get install -y python3 python3-pip | |
| ln -sf /usr/bin/python3 /usr/bin/python | |
| - name: Check system Python version | |
| run: python --version | |
| - name: Upgrade pip and install build tool | |
| run: | | |
| python -m pip install --upgrade pip --break-system-packages | |
| pip install build --break-system-packages | |
| - name: Build package | |
| run: python -m build | |
| - name: Install package | |
| run: pip install dist/*.whl --break-system-packages | |
| - name: Check and Init opam version | |
| run: | | |
| opam --version | |
| opam init --disable-sandboxing --yes | |
| - name: Install Coq | |
| run: | | |
| opam switch create simple_grp_theory 4.14.2 | |
| opam switch simple_grp_theory | |
| eval $(opam env) | |
| opam repo add coq-released https://coq.inria.fr/opam/released | |
| opam pin add -y coq-lsp 0.1.8+8.18 | |
| - name: Install Lean (elan) | |
| shell: bash | |
| run: | | |
| curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh -s -- -y | |
| source $HOME/.elan/env | |
| - name: Prepare Lean REPL | |
| shell: bash | |
| run: | | |
| source $HOME/.elan/env | |
| install-lean-repl | |
| - name: Build Lean REPL for itp-interface | |
| shell: bash | |
| run: | | |
| source $HOME/.elan/env | |
| install-itp-interface | |
| - name: List repository files (debug step) | |
| run: find . -type f | |
| - name: Run Simple Env Test | |
| shell: bash | |
| run: | | |
| eval $(opam env) | |
| source $HOME/.elan/env | |
| python src/test/simple_env_test.py | |
| - name: Run Data Gen Test | |
| shell: bash | |
| run: | | |
| eval $(opam env) | |
| source $HOME/.elan/env | |
| python src/test/simple_data_gen_test.py |