Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Testing how well we can (ab)use CI #2383

Draft
wants to merge 7 commits into
base: master
Choose a base branch
from

Commits on Oct 31, 2023

  1. Add run_all_headless.sh

    marc0246 committed Oct 31, 2023
    Configuration menu
    Copy the full SHA
    89765f8 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    96d7b7f View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    c86410a View commit details
    Browse the repository at this point in the history

Commits on Nov 1, 2023

  1. Configuration menu
    Copy the full SHA
    0721de4 View commit details
    Browse the repository at this point in the history

Commits on Nov 2, 2023

  1. Configuration menu
    Copy the full SHA
    20e9de5 View commit details
    Browse the repository at this point in the history
  2. Run examples on Windows

    marc0246 committed Nov 2, 2023
    Configuration menu
    Copy the full SHA
    e3fd82b View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    42f7c7b View commit details
    Browse the repository at this point in the history