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

CI: Run test (and test.summary) locally #473

Merged
merged 2 commits into from
Sep 11, 2023

Commits on Aug 24, 2023

  1. CI: Run test (and test.summary) locally

    The test.summary rule was causing errors in our Gitlab testing due to
    multiple runs (concurrent or otherwise) in the same workspace directory.
    This patch removes the WORKSPACE directory variable, and each .testing
    run happens in its own directory.
    
    Other minor changes:
    
    - The script to generate the summary was moved out of the Makefile and
      into a separate script.
    
    - Unrelated to these changes, error output was extended from 20 to 40
      lines, to provide more readable backtrace output.
    marshallward committed Aug 24, 2023
    Configuration menu
    Copy the full SHA
    5147143 View commit details
    Browse the repository at this point in the history

Commits on Sep 11, 2023

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