0.1.0-rc.1 #60

Merged
Jef Roosens merged 124 commits from dev into main 2022-01-31 23:53:46 +01:00
Showing only changes of commit 9af37819f3 - Show all commits

View file

@ -23,3 +23,5 @@ pipeline:
group: 'build'
commands:
- make prod
# Make sure the binary is actually static
- '[ "$(readelf -d pvieter) | grep NEEDED | wc -l" = 0 ]'