You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I'm building a docker image out of nixos so our devs can use it without having to know what Idris is. Right now it just pulls the latest master but it would be nice to provide a build arg that links to versions of the actual client.
Any plan on further updates and or versioning?
The text was updated successfully, but these errors were encountered:
I'm building a docker image out of nixos so our devs can use it without having to know what Idris is. Right now it just pulls the latest master but it would be nice to provide a build arg that links to versions of the actual client.
Any plan on further updates and or versioning?
The text was updated successfully, but these errors were encountered: