Skip to content

Run verifyproblem on all examples in CI#326

Merged
gkreitz merged 1 commit intoKattis:developfrom
gkreitz:run_veriyproblem_in_ci
May 27, 2025
Merged

Run verifyproblem on all examples in CI#326
gkreitz merged 1 commit intoKattis:developfrom
gkreitz:run_veriyproblem_in_ci

Conversation

@gkreitz
Copy link
Contributor

@gkreitz gkreitz commented May 27, 2025

Looks like unfortunately this will need to stop testing with pypy in CI, as pip install of nh3 fails with:

  × Preparing metadata (pyproject.toml) did not run successfully.
  │ exit code: 1
  ╰─> [4 lines of output]
      Checking for Rust toolchain....
      Rust not found, installing into a temporary directory
      Python reports SOABI: pypy39-pp73
      Unsupported platform: pp73

nh3 does not seem to provide binary wheels for pypy, and I gave up on trying to debug that build issue. Instead of pypy, we now test with CPython 3.11, 3.12, and 3.13 to get better coverage there. I'm guessing the vast majority of users will use CPython to run problemtools anyway.

Fixes #325

@gkreitz gkreitz force-pushed the run_veriyproblem_in_ci branch 4 times, most recently from 6c6cd9a to 195829a Compare May 27, 2025 07:16
@gkreitz gkreitz force-pushed the run_veriyproblem_in_ci branch from 195829a to c90ad52 Compare May 27, 2025 07:19
sudo apt-get update
sudo apt-get install pandoc tidy ghostscript python3 texlive-fonts-recommended texlive-lang-cyrillic texlive-latex-extra texlive-plain-generic
python -m venv venv
venv/bin/python --version
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Leftover debugging?

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Debugging yes. Not quite leftover though, I felt it was sort of reasonable to leave behind (costs nothing, and may come in handy again in the future).

@pehrsoderman
Copy link
Contributor

Do you want me to remove the requirement to build on pypy?

@gkreitz gkreitz merged commit e4fcb63 into Kattis:develop May 27, 2025
5 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Run verifyproblem on all examples in CI

2 participants