-
Notifications
You must be signed in to change notification settings - Fork 411
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
refactor: remove action runners from public dune (#10794)
Action runners in this dune are a rather old version that it is very much out of date with the state of the actual feature and has many bugs and limitations that need a lot of upstreaming to fix. In its current state, it does not provide any value to users of public dune. If we ever want to upstream this feature, it will be easier to just do it from scratch anyway instead of resolving the conflicts against some old version. This is due to the fact that the action runner API with the engine is rather small and well defined. Once we introduce a better abstraction for action execution (as we are indeed planning), it will be probably be even simpler to upstream action runners. All in all, we gain nothing on either team by keeping this dead weight around. Signed-off-by: Rudi Grinberg <me@rgrinberg.com>
- Loading branch information
Showing
14 changed files
with
15 additions
and
541 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.