Commit Graph

10 Commits

Author SHA1 Message Date
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