jeltsch / actions-isabelle-build Goto Github PK

For GitHub sessions, creation of /opt/github-repos is done on the fly when creating the account subdirectory of the first session. For AFP sessions, there is no such mechanism, as no subdirectories are created in /opt/afp-sessions. Therefore, we shall add an explicit statement for creating /opt/afp-sessions.

The website archives are only available from the Munich mirror. Therefore, we shall drop the possibility to choose a mirror and start to always use the Munich mirror.

Many Isabelle sessions use sessions from the Archive of Formal Proofs. We shall add support for that to this action.

Currently, using older Isabelle versions requires providing a modified URL for isabelle-mirror. However, the website archive URL format that is to be used in such a case works also for the most recent Isabelle version. We shall modify the action such that the website archive URL format is used automatically and thus no special provisions are needed for using older Isabelle versions.

Currently, the specification of the afp-sessions input lacks description: and provides the description text directly under afp-sessions:. We shall correct that.

We shall add the initial version of this action, which shall already be fully functional within the specified limits.