Oliver Stöneberg
|
bf5e63300e
|
avoid duplicated workflow invocations for pushes in PRs made from root repository branches (#5377)
This will prevent duplicated workflows from being invoked for pushes
into pull requests made from branches in the root (`danmar`) repository
branches.
|
2023-09-01 18:52:20 +02:00 |
|
Oliver Stöneberg
|
ca9747cf7d
|
address most Node.js 12 deprecation warnings in GitHub workflows (#4546)
|
2022-10-11 19:50:59 +02:00 |
|
Oliver Stöneberg
|
cf1271889a
|
reduced permissions of GitHub actions (#4403)
|
2022-08-26 23:25:07 +02:00 |
|
Oliver Stöneberg
|
703396e549
|
use `ubuntu-22.04` as main/base distro in CI (#4129)
|
2022-05-31 19:55:57 +02:00 |
amai2012
|
2eb326de83
|
Update workflows to Ubuntu 20.04 (#2948)
|
2020-12-15 10:59:09 +01:00 |
|
amai2012
|
c162676099
|
Update buildman.yml
Another attempt
|
2020-09-11 22:19:08 +02:00 |
|
amai2012
|
6a1b6aacf5
|
Update buildman.yml
syntax fix
|
2020-09-11 16:56:35 +02:00 |
|
amai2012
|
6ae0bd5358
|
Create manual.html
|
2020-09-11 16:48:03 +02:00 |
|
amai2012
|
bab01a84ab
|
Githubactions update (#2729)
* Use upload-artifact@v2 (not the preview anymore)
* Upload artifacts for CI-unixish
* Use -j$(nproc) for make
|
2020-07-30 10:36:06 +02:00 |
Daniel Marjamäki
|
fa8c7ed82c
|
buildman: Add github action that builds the manual
|
2020-07-25 13:04:37 +02:00 |