Repository navigation
Feature request - Publish kepler-formal on bazel bcr #165
Description
oharboe
Issue body actions
- Make kepler-formal build with bazel from scratch idiomatically
- Publish kepler-formal on bazel bcr
Reactions are currently unavailable
Activity
First version on step 1 is done.
As noted correctly by @xtofalex in the related PR, in order to have a full productized version, there will need to be further work from our side to upstream the bazel build to the owners themselves. We will continue to work on it in the backround and report when more advancement is made in this regard.
