Skip to content

467 type annotation#6

Merged
jhidding merged 3 commits into
mainfrom
467-type-annotation
Nov 4, 2025
Merged

467 type annotation#6
jhidding merged 3 commits into
mainfrom
467-type-annotation

Conversation

@jhidding

@jhidding jhidding commented Nov 3, 2025

Copy link
Copy Markdown
Member

No description provided.

@github-actions

github-actions Bot commented Nov 3, 2025

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/esciencecenter-digital-skills/python-intermediate-development/compare/md-outputs..md-outputs-PR-6

The following changes were observed in the rendered markdown documents:

 22-scaling-up-unit-testing.md                      |   2 +-
 25-type-annotation.md (new)                        | 273 +++++++++++++++++++++
 ...ercises.md => 26-section2-optional-exercises.md |   0
 config.yaml                                        |   3 +-
 md5sum.txt                                         |   7 +-
 5 files changed, 280 insertions(+), 5 deletions(-)
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 2025-11-03 23:36:25 +0000

github-actions Bot pushed a commit that referenced this pull request Nov 3, 2025
@jhidding jhidding merged commit 82bca27 into main Nov 4, 2025
3 checks passed
github-actions Bot pushed a commit that referenced this pull request Nov 4, 2025
Auto-generated via `{sandpaper}`
Source  : 82bca27
Branch  : main
Author  : Johannes Hidding <jhidding@users.noreply.github.com>
Time    : 2025-11-04 07:19:28 +0000
Message : Merge pull request #6 from esciencecenter-digital-skills/467-type-annotation

467 type annotation
github-actions Bot pushed a commit that referenced this pull request Nov 4, 2025
Auto-generated via `{sandpaper}`
Source  : b0be397
Branch  : md-outputs
Author  : GitHub Actions <actions@github.com>
Time    : 2025-11-04 07:22:58 +0000
Message : markdown source builds

Auto-generated via `{sandpaper}`
Source  : 82bca27
Branch  : main
Author  : Johannes Hidding <jhidding@users.noreply.github.com>
Time    : 2025-11-04 07:19:28 +0000
Message : Merge pull request #6 from esciencecenter-digital-skills/467-type-annotation

467 type annotation
github-actions Bot pushed a commit that referenced this pull request Nov 11, 2025
Auto-generated via `{sandpaper}`
Source  : b0be397
Branch  : md-outputs
Author  : GitHub Actions <actions@github.com>
Time    : 2025-11-04 07:22:58 +0000
Message : markdown source builds

Auto-generated via `{sandpaper}`
Source  : 82bca27
Branch  : main
Author  : Johannes Hidding <jhidding@users.noreply.github.com>
Time    : 2025-11-04 07:19:28 +0000
Message : Merge pull request #6 from esciencecenter-digital-skills/467-type-annotation

467 type annotation
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