Merge pull request #2472 from lf-lang/dagstuhl #64
github-merge-queue[bot]rti-docker.yml
on: push
Build and push RTI to Docker Hub
1m 46s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
lf-lang~lingua-franca~051BU8.dockerbuild
|
89.1 KB |
|