mirror of
https://github.com/c-cube/sidekick.git
synced 2026-01-23 01:46:43 -05:00
Forgot to remove the sudo:required
This commit is contained in:
parent
b5f8c7ddf9
commit
e2530a25b7
1 changed files with 0 additions and 1 deletions
|
|
@ -1,5 +1,4 @@
|
|||
language: c
|
||||
sudo: required
|
||||
env:
|
||||
- OCAML_VERSION=4.00.1
|
||||
- OCAML_VERSION=4.01.0
|
||||
|
|
|
|||
Loading…
Add table
Reference in a new issue