dependabot[bot]
f0a99634dd
CI: Bump JamesIves/github-pages-deploy-action from 4.1.1 to 4.4.1
...
Bumps [JamesIves/github-pages-deploy-action](https://github.com/JamesIves/github-pages-deploy-action ) from 4.1.1 to 4.4.1.
- [Release notes](https://github.com/JamesIves/github-pages-deploy-action/releases )
- [Commits](https://github.com/JamesIves/github-pages-deploy-action/compare/4.1.1...v4.4.1 )
---
updated-dependencies:
- dependency-name: JamesIves/github-pages-deploy-action
dependency-type: direct:production
update-type: version-update:semver-minor
...
Signed-off-by: dependabot[bot] <support@github.com>
2023-03-02 05:49:02 +00:00
dependabot[bot]
3d9b88d2a7
CI: Bump r-lib/actions from 1 to 2
...
Bumps [r-lib/actions](https://github.com/r-lib/actions ) from 1 to 2.
- [Release notes](https://github.com/r-lib/actions/releases )
- [Commits](https://github.com/r-lib/actions/compare/v1...v2 )
---
updated-dependencies:
- dependency-name: r-lib/actions
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com>
2023-01-18 14:49:36 +00:00
Linus Groh
7c2e134abd
CI: Unify secrets.BUGGIEBOT and secrets.BUGGIEBOT_TOKEN
...
The latter is clearer, so let's use that.
2023-01-06 18:19:42 +01:00
Filiph Sandström
3ddefb9f5f
CI: Upgrade actions/checkout to v3
...
actions/checkout's only change between v2 and v3 is an internal switch
to node 16 which wont effect our usage of it at all.
2022-11-03 11:29:45 +00:00
Nathan Wallace
2f1029e7c4
Meta+CI: Upgrade to ubuntu-22.04
...
This commit upgrades Github Actions workers to ubuntu-22.04
As part of that change, we (currently) no longer need the backports
nor toolchain-r/test PPAs, because ubuntu-22.04 include
recent-enough version of QEMU and gcc
2022-05-24 06:30:57 -04:00
Ben Wiederhake
7e52b6fa24
man.serenityos.org: Simplify local builds
...
I simply extracted the script from .github/workflows/manpages.yml,
without significant modification.
2021-10-22 19:49:28 +03:00
Linus Groh
3d9bcb860e
CI: Run libjs-test262 and update results on every push to master
2021-06-05 19:27:55 +01:00
Linus Groh
867072c7d8
Meta: Improve man.serenityos.org titles and link names
...
Index page:
- Change links from "Man 1" to "Section 1"
Section index pages:
- Change title from "1" to "Section 1 - SerenityOS man pages"
- Change links from "foo" to "foo(1)"
Man pages:
- Change title from "foo" to "foo(1) - SerenityOS man pages"
2021-05-07 22:28:33 +02:00
Idan Horowitz
8cc6372b14
Meta: Strip man prefix from generated man page directories
2021-05-04 22:05:12 +02:00
Idan Horowitz
e96ac568a7
Meta: Track Meta/Websites/man.serenityos.org changes in manpages action
2021-05-04 22:05:12 +02:00
Idan Horowitz
d29e2dd2d7
Meta: Add workflow that deploys man page updates to man.serenityos.org
2021-05-04 20:58:25 +02:00
