Skip to content

brunorijsman pushed to refs/heads/main #434

brunorijsman pushed to refs/heads/main

brunorijsman pushed to refs/heads/main #434

Workflow file for this run

name: Workflow that runs on every push.
run-name: ${{ github.actor }} pushed to ${{ github.ref }}
on: [push, pull_request, workflow_dispatch]
jobs:
Explore-GitHub-Actions:
runs-on: ubuntu-24.04
steps:
- name: Checkout code
uses: actions/checkout@v4
- name: Set up Python
uses: actions/setup-python@v5
with:
python-version: '3.13'
- name: Setup virtual environment
run: python -m venv venv
- name: Install dependencies
run: source venv/bin/activate && pip install --upgrade pip && pip install -r requirements.txt
- name: Check code and run
run: source venv/bin/activate && scripts/check-and-test --verbose
- name: Collect information useful for debugging
if: always()
run: for f in *.out ; do echo === $f ===; cat $f ; done