Skip to content
GitLab
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
  • Sign in
  • R RMIModelServer
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
    • Locked Files
  • Issues 2
    • Issues 2
    • List
    • Boards
    • Service Desk
    • Milestones
    • Iterations
    • Requirements
  • Merge requests 0
    • Merge requests 0
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
    • Test Cases
  • Deployments
    • Deployments
    • Environments
    • Releases
  • Packages and registries
    • Packages and registries
    • Container Registry
  • Monitor
    • Monitor
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Code review
    • Insights
    • Issue
    • Repository
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • monticore
  • EmbeddedMontiArcEmbeddedMontiArc
  • simulators
  • RMIModelServer
  • Merge requests
  • !11

Docker update

  • Review changes

  • Download
  • Email patches
  • Plain diff
Merged Hengwen Zhang requested to merge docker-update into master Oct 02, 2019
  • Overview 0
  • Commits 11
  • Pipelines 1
  • Changes 3

This MR updates docker relative scripts to adapt the latest version of RMIServer. The CI pipeline now automatically builds and publishes RMIServer docker image when new master is released. The published docker image has been tested with server and works perfect.

Assignee
Assign to
Reviewers
Request review from
Time tracking
Source branch: docker-update