Move CI to GitHub Actions

Closes gh-32447
This commit is contained in:
Stéphane Nicoll
2024-03-15 08:52:09 +01:00
parent 6d323d710a
commit 80809bbc14
13 changed files with 197 additions and 171 deletions

View File

@@ -1,12 +1,14 @@
name: Deploy Docs
on:
push:
branches-ignore: [ gh-pages ]
tags: '**'
branches:
- 'main'
- '*.x'
- '!gh-pages'
tags:
- 'v*'
repository_dispatch:
types: request-build-reference # legacy
schedule:
- cron: '0 10 * * *' # Once per day at 10am UTC
workflow_dispatch:
permissions:
actions: write