mirror of
https://github.com/plasma-umass/coz.git
synced 2024-09-11 04:55:25 +03:00
Missing sudo in CI config
This commit is contained in:
parent
ba1fb59ec7
commit
a16f7b66cf
@ -1,6 +1,9 @@
|
||||
# Build on Ubuntu 18.04
|
||||
dist: bionic
|
||||
|
||||
# Specify language
|
||||
language: cpp
|
||||
|
||||
# Build all branches except gh-pages
|
||||
branches:
|
||||
except:
|
||||
@ -8,7 +11,8 @@ branches:
|
||||
|
||||
# Make and install
|
||||
install:
|
||||
- make install
|
||||
- make
|
||||
- sudo make install
|
||||
|
||||
# Run the make check target (add tests later)
|
||||
script:
|
||||
|
Loading…
Reference in New Issue
Block a user