44 lines
737 B
JSON
44 lines
737 B
JSON
|
{
|
||
|
|
"name": "self-healing",
|
||
|
|
"version": "0.1.0",
|
||
|
|
"description": "Fixpoint-based self-healing build pipelines",
|
||
|
|
"requires": [
|
||
|
|
"oracle/core"
|
||
|
|
],
|
||
|
|
"effects": [
|
||
|
|
"build.run.op",
|
||
|
|
"infer.op"
|
||
|
|
],
|
||
|
|
"backends": [
|
||
|
|
"commit"
|
||
|
|
],
|
||
|
|
"exports": [
|
||
|
|
"self-healing"
|
||
|
|
],
|
||
|
|
"helpTopics": [
|
||
|
|
"self-healing"
|
||
|
|
],
|
||
|
|
"id": "self-healing",
|
||
|
|
"summary": "Fixpoint-based self-healing build pipelines",
|
||
|
|
"keywords": [
|
||
|
|
"self-healing",
|
||
|
|
"self",
|
||
|
|
"healing"
|
||
|
|
],
|
||
|
|
"capabilities": [
|
||
|
|
"build.run.op",
|
||
|
|
"infer.op",
|
||
|
|
"backend:commit"
|
||
|
|
],
|
||
|
|
"commands": [
|
||
|
|
":help self-healing"
|
||
|
|
],
|
||
|
|
"docs": [
|
||
|
|
"doc/api.md",
|
||
|
|
"help/self-healing.help.md"
|
||
|
|
],
|
||
|
|
"examples": [],
|
||
|
|
"demos": [],
|
||
|
|
"learningPath": "intermediate"
|
||
|
|
}
|