Skip to content

Add CI test workflow and README badge#48

Merged
simonharris merged 2 commits intomainfrom
copilot/add-github-action-test-workflow
Feb 21, 2026
Merged

Add CI test workflow and README badge#48
simonharris merged 2 commits intomainfrom
copilot/add-github-action-test-workflow

Conversation

Copy link
Copy Markdown
Contributor

Copilot AI commented Feb 21, 2026

No automated test execution existed on commits to main. Adds a GitHub Actions workflow to run the test suite on every push and PR targeting main, and surfaces the result via a README badge.

Changes

  • .github/workflows/test.yaml — new workflow triggered on push and pull_request to main; installs SWI-Prolog, then runs make test
  • README.md — adds a test-status badge linking to the workflow run history
Original prompt

This section details on the original issue you should resolve

<issue_title>Run tests on commit to main</issue_title>
<issue_description>Please add a GitHub Action workflow to run the test suite automatically on commit to main and report failures.

The tests are run via the command:

swipl -g "load_files([tests/test_pa]), run_tests" -t halt

which will require SWI-Prolog to be installed in the test environment. There is also a Make target available for convenience:

make test

Please also add a badge to the README displaying the test status.
</issue_description>

Comments on the Issue (you are @copilot in this section)


💬 We'd love your input! Share your thoughts on Copilot coding agent in our 2 minute survey.

Co-authored-by: simonharris <385725+simonharris@users.noreply.github.com>
Copilot AI changed the title [WIP] Add GitHub Action to run tests on commit to main Add CI test workflow and README badge Feb 21, 2026
Copilot AI requested a review from simonharris February 21, 2026 05:10
Copy link
Copy Markdown
Owner

@simonharris simonharris left a comment

Choose a reason for hiding this comment

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

Thank you.

@simonharris simonharris marked this pull request as ready for review February 21, 2026 06:30
@simonharris simonharris merged commit 68d4910 into main Feb 21, 2026
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 tests on commit to main

2 participants