Feature/graph creation #136
This file contains hidden or 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: Install Lean (elan) and prepare Lean REPL | |
| shell: bash | |
| run: | | |
| install-lean-repl | |
| source $HOME/.elan/env | |
| - name: Build Lean REPL for itp-interface | |
| shell: bash | |
| run: | | |
| source $HOME/.elan/env | |
| install-itp-interface | |
| - 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: 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: Ray Cleanup | |
| shell: bash | |
| run: | | |
| rm -rf /tmp/* --verbose | |
| - name: Run Data Gen Test | |
| shell: bash | |
| run: | | |
| eval $(opam env) | |
| source $HOME/.elan/env | |
| python src/test/simple_data_gen_test.py | |
| - name: Ray Cleanup | |
| shell: bash | |
| run: | | |
| rm -rf /tmp/* --verbose | |
| - name: Run Data Extraction Test | |
| shell: bash | |
| run: | | |
| eval $(opam env) | |
| source $HOME/.elan/env | |
| python src/test/simple_data_extract_test.py | |
| - name: Ray Cleanup | |
| shell: bash | |
| run: | | |
| rm -rf /tmp/* --verbose |