Fix build.
This commit is contained in:
parent
5564dcbc8d
commit
1f2dde0f51
@ -15,7 +15,7 @@ jobs:
|
||||
- name: List files in the repository
|
||||
run: |
|
||||
ls ${{ gitea.workspace }}
|
||||
- run: curl -OJ https://retoor.molodetz.nl/api/packages/retoor/generic/rlib.h/1.0.0/rlib.h /usr/include/rlib.h
|
||||
- run: cp rlib.h /usr/include/
|
||||
- run: echo "Build project (misses rlib.h)"
|
||||
- run: make build
|
||||
- run: echo "This job's status is ${{ job.status }}."
|
||||
|
Loading…
Reference in New Issue
Block a user