Skip to content
Snippets Groups Projects
Commit e9ada7fe authored by Andre Maroneze's avatar Andre Maroneze
Browse files

update Docker image for CI (dev-stripped is no longer updated)

parent 11089657
No related branches found
No related tags found
No related merge requests found
Pipeline #81575 failed
default:
image: framac/frama-c:dev-stripped
image: framac/frama-c:dev
variables:
GIT_CLEAN_FLAGS: none #each use case cleans its own directory
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment