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 |