Merge pull request #2461 from lf-lang/update-github-actions #59
erlingrjrti-docker.yml
on: push
Build and push RTI to Docker Hub
1m 36s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
lf-lang~lingua-franca~ZLPRIF.dockerbuild
|
88 KB |
|