Commit c92c8ce
authored
Adding
In order to pull the latest version from
[dockerhub](https://hub.docker.com/r/runtimeverificationinc/kmir/tags) a
`ubuntu-jammy-latest` tag is added to the release.latest tag to release docker image (#1068)1 parent a190c12 commit c92c8ce
1 file changed
Lines changed: 3 additions & 1 deletion
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
62 | 62 | | |
63 | 63 | | |
64 | 64 | | |
65 | | - | |
| 65 | + | |
| 66 | + | |
| 67 | + | |
66 | 68 | | |
67 | 69 | | |
68 | 70 | | |
| |||
0 commit comments