v0.6.7

This add some details to the bottom of the release description, namely the related PR and the workflow that created the release.

Closes #80.

#patch

This release is based on pull request #103 and has been published by release job 12245050871.

v0.6.6

This makes sure that only one release workflow runs at a time, even if multiple PRs have been merged in close concession.
Running workflows won't be canceled; newer workflows will wait in line to run after the current one finishes.

See here for a full documentation of the utilized settings.

This closes #97 .

#patch

v0.6.5

This fixes a couple of details that were found by Willi, our first tutorial tester 🏅

#patch

v0.6.4

This adds a GitHub octocat logo into the right GitHub Page corner, suggesting to check out and fork our repo.

Based on tholman/github-corners#53

#patch

v0.6.3

This cleans up the Readme a bit by removing a todo comment

#patch

v0.6.2

This PR encourages reading the tutorial on our GitHub Page by changing the Readme links to GitHub pages URLs.

#patch

v0.6.1

1. a TL;DR is always great
2. we should mention state machines as bad practise 😉

#patch

v0.6.0

This adds the Tutorial

Based on

• #50

Closes #28

Depends on #53

v0.5.4

To reduce the already unlikely chance of accidentally setting a version bump #flag in the sanitized version of the PR description even further, we now keep whitespaces and newline characters.

#patch

v0.5.3

This collapses all but one citation for better appearance.
It also adds my thesis to the citations.

Based on #81, refined and rebased onto main.

#patch