Trigger workflow

huynhtrankhanh · web-flow · commit 5cd239c79c45 · 2024-09-18T09:45:00.000+07:00
diff --git a/programs/DisjointSetUnion.module.json b/programs/DisjointSetUnion.module.json
@@ -4,3 +4,7 @@
   "solidityOutput": "../generated-solidity/DisjointSetUnion.sol",
   "coqOutput": "../generated-coq/DisjointSetUnion.v"
 }
+
+
+
+

Original file line number	Diff line number	Diff line change
`@@ -4,3 +4,7 @@`
`4`	`4`	`"solidityOutput": "../generated-solidity/DisjointSetUnion.sol",`
`5`	`5`	`"coqOutput": "../generated-coq/DisjointSetUnion.v"`
`6`	`6`	`}`
	`7`	`+`
	`8`	`+`
	`9`	`+`
	`10`	`+`