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 d1f867e511 - Show all commits

View file

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