Skip to content

GitHub Pages build from release artefacts #43

Description

@egekorkan

Since we don't push the generated files, it would be good to have releases that have them. We should also change the github pages configuration to use the latest release instead of the index.html of the main branch.

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions