Skip to content

Cleanup GitHub excess files - #5

Merged
douglowe merged 2 commits into
mainfrom
cleanup-github-excess-files
Oct 8, 2026
Merged

douglowe merged 2 commits into
mainfrom
cleanup-github-excess-files

Conversation

@douglowe

@douglowe douglowe commented Oct 8, 2026

Copy link
Copy Markdown
Member

I am updating the non-workflow files for our github workflows, in the hope that this enables our build process.

@github-actions

github-actions Bot commented Oct 8, 2026 •

Copy link
Copy Markdown

Thank you!

Thank you for your pull request 😃

🤖 This automated message can help you check the rendered files in your submission for clarity. If you have any questions, please feel free to open an issue in {sandpaper}.

If you have files that automatically render output (e.g. R Markdown), then you should check for the following:

  • 🎯 correct output
  • 🖼️ correct figures
  • ❓ new warnings
  • ‼️ new errors

Rendered Changes

🔍 Inspect the changes: https://github.com/UoMResearchIT/Software-Development-With-Python/compare/md-outputs..md-outputs-PR-5

The following changes were observed in the rendered markdown documents:


What does this mean?

If you have source files that require output and figures to be generated (e.g. R Markdown), then it is important to make sure the generated figures and output are reproducible.

This output provides a way for you to inspect the output in a diff-friendly manner so that it's easy to see the changes that occur due to new software versions or randomisation.

⏱️ Updated at 2026-10-08 15:05:30 +0000

@douglowe
douglowe merged commit 420981d into main Oct 8, 2026
10 checks passed
@douglowe
douglowe deleted the cleanup-github-excess-files branch October 8, 2026 15:04
@github-actions

github-actions Bot commented Oct 8, 2026

Copy link
Copy Markdown

Changes were made to copyright notices

There are copyright updates on the (temporary) add-license-headers-to-cleanup-github-excess-files-2026-10-08-15-04-58 branch. Please review and merge, or add further commits (this branch will be deleted).

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.

1 participant