search

klee / klee-web

KLEE in the browser
Other
50 stars 15 forks source link

Changed tag latest to using a specfic digest. #200

Closed kt218 closed 2 years ago

kt218 commented 2 years ago

Use specific digest when retrieving KLEE image. Result of retrieving image is used to tag as latest on local.

kt218 commented 2 years ago

I'm not sure how to achieve this https://github.com/klee/klee-web/pull/197#issuecomment-1162388317. Instead I'm now using the image digest directly.

ccadar commented 2 years ago

@MartinNowack, I assume this is what you had in mind?

MartinNowack commented 2 years ago

Yes - but I would recommend to simplify it.

Allow klee_version to be either:

In this case you can change between both notations arbitrarily in future versions. (Maybe add a comment of the expected format to the klee_version variable)

MartinNowack commented 2 years ago

@kt218 Looks great!