Skip to content
Snippets Groups Projects
Commit fca8ef78 authored by François Bobot's avatar François Bobot
Browse files

OCI: don't run xpra but run it!!

parent c0d7342f
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/e-acsl/.gitlab-ci.yml
+ 1
− 1
View file @ fca8ef78
Tests: Tests:
script: script:
- ~oci/oci/bin/bf_client.native xpra --socket ~oci/data/oci-data/oci.socket --rootfs 1 --frama-c master --E-ACSL $(git rev-parse HEAD) E-ACSL - ~oci/oci/bin/bf_client.native run --socket ~oci/data/oci-data/oci.socket --rootfs 1 --frama-c master --E-ACSL $(git rev-parse HEAD) E-ACSL
tags: tags:
except: except:
- tags - tags
\ No newline at end of file
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment