This repository serves purpose of consolidation of various automated tasks we run.
Rights to this repository gives (indirectly) permissions required by actions themselves. Write permission gives person complete control since they can just change workflows to do what ever they want.
| Project formatting check |  |
|---|
Job statuses:
| workflow | description | latest schedule | latest dispatch |
|---|---|---|---|
| publish-website.yaml | Publish website source |  |
 |
| publish-system.yaml | Publish system (backend) source | --- |  |
| publish-wiki.yaml | Deploy wiki content to server |  |
 |
Actions could be ran via web interface - see Actions and GitHub's documentation
Alternatively you could use github cli utility
To publish website and deploy both testing and production version run:
$ gh workflow run publish-website.yaml
This task is also ran by cron every day at 10:00 and 22:00 UTC.
To publish backend system run:
$ gh workflow run publish-system.yaml
Deploy new wiki version (from main branch) to the server:
$ gh workflow run publish-wiki.yaml
This task is also ran by cron every day at 01:30 UTC.
This project defines shell.nix which could be used as following:
$ nix-shell --run 'gh workflow run publish-wiki.yaml'
or you can simply enter interactive shell from which you can run all the gh commands:
$ nix-shell