-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
- Loading branch information
There are no files selected for viewing
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,50 @@ | ||
name: CI | ||
|
||
on: | ||
push: | ||
branches: | ||
- release | ||
pull_request: | ||
workflow_dispatch: | ||
|
||
env: | ||
BUILD_TYPE: release | ||
|
||
jobs: | ||
build: | ||
runs-on: ${{ matrix.os }} | ||
strategy: | ||
matrix: | ||
os: [ macos-latest, ubuntu-latest] | ||
|
||
steps: | ||
- name: Set MULLE_HOSTNAME | ||
run: | | ||
name="${GITHUB_REF##*/}" | ||
MULLE_HOSTNAME="${MULLE_HOSTNAME:-ci-${name##*-}}" | ||
echo "MULLE_HOSTNAME=${MULLE_HOSTNAME}" >> $GITHUB_ENV | ||
- name: Add to path | ||
run: echo "$HOME/bin" >> $GITHUB_PATH | ||
|
||
- name: Dump Environment | ||
run: env | sort | ||
|
||
- uses: actions/checkout@v3 | ||
|
||
- uses: mulle-sde/github-ci@v1 | ||
|
||
- name: Dump Project Environment | ||
run: | | ||
[ ! -d .mulle/etc/env ] || ls -l .mulle/etc/env/environment*.sh | ||
mulle-sde environment | ||
- name: Mulle-SDE Fetch | ||
run: mulle-sde fetch | ||
|
||
- name: Mulle-SDE Craft | ||
run: mulle-sde craft --${BUILD_TYPE:-release} | ||
|
||
- name: Mulle-SDE Test | ||
run: | | ||
[ ! -d test ] || mulle-sde test |
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,3 +1,7 @@ | ||
### 1.1.3 | ||
|
||
* Various small improvements | ||
|
||
### 1.1.2 | ||
|
||
* add helpful C output to stderr (squelch with -q) | ||
|
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.