It is merged and i added a sentence about this workflow to the wiki.

Looks good to me. Thanks, Patrick!

Update: I shortly switched the condition to work on my repository and branch and added the page numbers to the atom-centric stubborn sets. The documentation was successfully update.

If you are ok, I will merge the issue.

Thanks! That's also what I got from the documentation.

fix: ...the workflow should NOW (instead of not) run only ...

Comments are incorporated. The workflow should not run only on "main" of "aibasel/downward". Not on any other branch or repository.

What happens on a push to multiple branches?
From my understanding and a quick testing:
if a branch is pushed, only the workflows defined in the branch itself are run.

From testing:
I created branches A & B with a workflow which is restricted to pushes on A. I created commits on both branches s.t.
- 1. commit on B, 2. commit on A, push --all (while on branch A). Runs the pipeline only for branch A.
- switched commit order (last commit not on the relevant branch A). Still runs workflow only on branch A.
-> that looks as we would like it.

Looks good to me! I left two polishing commits on github.

The majority of changes look unrelated to this issue, but I'm OK with including them. Since this is purely related to our workflow, I don't think it needs an entry in the change log, but feel free to add one anyway if you prefer.

I don't know how exactly the workflows work, but this should only ever be run on the new head revision of [main]. What does github do if a single push updates multiple branches? Run the workflow separately on each?

That is, I'm not sure how things like "this is on branch X" or "github.ref is branch X" are interpreted in practice if multiple branches are affected by a single push.

There is a pull request now.
- autodoc.py uses now an environment variable & I can connect to the wiki from outside of the university
- the workflow successfully executes the script, BUT, till now I did not dare to put in the correct password (meaning it aborts when it receives an empty authentication token).

PR: https://github.com/aibasel/downward/pull/32

Execute autodoc on GitHub actions and update the Wiki.