aboutsummaryrefslogtreecommitdiff
path: root/.github (unfollow)
Commit message (Collapse)AuthorFilesLines
2022-10-09ci: submit the PR as the GitHub-actions botFranck Cuny1-1/+0
I want to make sure it shows up in my notifications.
2022-10-09ci: remove GHA to automerge pull requestFranck Cuny1-8/+0
For this to work, branch protection needs to be enabled on the repository. I can't do this via terraform as it's only supported for organizations, not individual accounts. I'm not going to manage this setting in each repository manually, instead I'll drop this feature.
2022-10-08Update update.yamlFranck Cuny1-1/+1
Fix the cron syntax.
2022-10-08ci: update the actions for deploy and updateFranck Cuny2-1/+13
Don't trigger a deployment if we're updating one of the action, as there are no changes to the application itself. For the update workflow, run it once a week, and automatically merge it.
2022-10-07ci: add GitHub actions and depedendabot configurationFranck Cuny3-0/+45
Configure dependabot to report possible update for various actions that we use. Add two workflows: - update the flake dependencies once a week - deploy to fly.io when the main branch is updated
2022-05-10fix name of the branch for doneFranck Cuny1-18/+0
Delete the workflow for GitHub actions.
2021-06-20github: deploy to fly.io instead of GH pagesFranck Cuny1-17/+5
2021-03-07add action to publish to GH pagesFranck Cuny1-0/+30
Add a workflow configuration to publish to GitHub pages. This is using the standard configuration from https://gohugo.io/hosting-and-deployment/hosting-on-github/