Skip to content

Improve the infrastructure scripts #815

Open
@Chris00

Description

@Chris00
  • The infrastructure scripts should be under version control.
  • The scripts should be improved to open an issue when something goes wrong. (Github will then forward mails.)
  • A daily rebuild from scratch with various compilers should take place (with Github error reporting). The idea is to perform that the site is easily buildable by users with the recommended versions of the compiler.
  • Automatically report (opening a Github issue) when there is a problem with the package list.

Metadata

Metadata

Assignees

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions