GitHub Action: Automated sync

effekt-lang · Jun 5, 2024 · cb0b62f · cb0b62f
1 parent 3caf3ac
commit cb0b62f
Show file tree

Hide file tree

Showing 4 changed files with 523 additions and 0 deletions.
diff --git a/data/build.json b/data/build.json
@@ -606,5 +606,13 @@
       "commitDate": "1717513680",
       "currentDate": "1717550615"
     }
+  },
+  {
+    "buildTime": "82.06",
+    "meta": {
+      "commit": "fb93d4cf",
+      "commitDate": "1717513680",
+      "currentDate": "1717591041"
+    }
   }
 ]
diff --git a/data/cloc.json b/data/cloc.json
@@ -6300,5 +6300,90 @@
       "commitDate": "1717513680",
       "currentDate": "1717550774"
     }
+  },
+  {
+    "Scala": {
+      "nFiles": 162,
+      "blank": 6108,
+      "comment": 6750,
+      "code": 21672
+    },
+    "Effekt": {
+      "nFiles": 371,
+      "blank": 2209,
+      "comment": 1079,
+      "code": 8949
+    },
+    "Markdown": {
+      "nFiles": 12,
+      "blank": 392,
+      "comment": 0,
+      "code": 1919
+    },
+    "Scheme": {
+      "nFiles": 11,
+      "blank": 200,
+      "comment": 163,
+      "code": 1289
+    },
+    "JSON": {
+      "nFiles": 3,
+      "blank": 1,
+      "comment": 0,
+      "code": 658
+    },
+    "LLVM IR": {
+      "nFiles": 2,
+      "blank": 157,
+      "comment": 62,
+      "code": 436
+    },
+    "JavaScript": {
+      "nFiles": 5,
+      "blank": 72,
+      "comment": 43,
+      "code": 343
+    },
+    "C": {
+      "nFiles": 8,
+      "blank": 89,
+      "comment": 34,
+      "code": 334
+    },
+    "YAML": {
+      "nFiles": 2,
+      "blank": 34,
+      "comment": 1,
+      "code": 169
+    },
+    "XML": {
+      "nFiles": 1,
+      "blank": 3,
+      "comment": 4,
+      "code": 42
+    },
+    "Standard ML": {
+      "nFiles": 1,
+      "blank": 10,
+      "comment": 14,
+      "code": 41
+    },
+    "Bourne Shell": {
+      "nFiles": 1,
+      "blank": 0,
+      "comment": 0,
+      "code": 2
+    },
+    "SUM": {
+      "blank": 9275,
+      "comment": 8150,
+      "code": 35854,
+      "nFiles": 579
+    },
+    "meta": {
+      "commit": "fb93d4cf",
+      "commitDate": "1717513680",
+      "currentDate": "1717591205"
+    }
   }
 ]
diff --git a/data/metrics.json b/data/metrics.json
@@ -2622,5 +2622,87 @@
       "commitDate": "1717513680",
       "currentDate": "1717550774"
     }
+  },
+  {
+    "examples/casestudies/anf.effekt.md": {
+      "maxMem": "917028",
+      "userTime": "16.92",
+      "cpuUsage": "273%"
+    },
+    "examples/casestudies/lexer.effekt.md": {
+      "maxMem": "756272",
+      "userTime": "13.20",
+      "cpuUsage": "271%"
+    },
+    "examples/casestudies/parser.effekt.md": {
+      "maxMem": "825000",
+      "userTime": "14.08",
+      "cpuUsage": "270%"
+    },
+    "examples/casestudies/buildsystem.effekt.md": {
+      "maxMem": "643672",
+      "userTime": "12.91",
+      "cpuUsage": "276%"
+    },
+    "examples/casestudies/prettyprinter.effekt.md": {
+      "maxMem": "839720",
+      "userTime": "16.90",
+      "cpuUsage": "279%"
+    },
+    "examples/casestudies/naturalisticdsls.effekt.md": {
+      "maxMem": "621136",
+      "userTime": "11.55",
+      "cpuUsage": "263%"
+    },
+    "examples/casestudies/ad.effekt.md": {
+      "maxMem": "755448",
+      "userTime": "14.43",
+      "cpuUsage": "283%"
+    },
+    "examples/benchmarks/simple_counter.effekt": {
+      "maxMem": "636068",
+      "userTime": "11.58",
+      "cpuUsage": "264%"
+    },
+    "examples/benchmarks/triples.effekt": {
+      "maxMem": "703932",
+      "userTime": "11.97",
+      "cpuUsage": "265%"
+    },
+    "examples/benchmarks/nqueens.effekt": {
+      "maxMem": "646828",
+      "userTime": "12.43",
+      "cpuUsage": "275%"
+    },
+    "examples/benchmarks/tree.effekt": {
+      "maxMem": "633660",
+      "userTime": "12.25",
+      "cpuUsage": "263%"
+    },
+    "examples/benchmarks/generator.effekt": {
+      "maxMem": "633928",
+      "userTime": "12.26",
+      "cpuUsage": "261%"
+    },
+    "examples/benchmarks/variadic_combinators.effekt": {
+      "maxMem": "682248",
+      "userTime": "12.75",
+      "cpuUsage": "270%"
+    },
+    "examples/benchmarks/church_exponentiation.effekt": {
+      "maxMem": "672628",
+      "userTime": "12.33",
+      "cpuUsage": "269%"
+    },
+    "total": {
+      "maxMem": "1111772",
+      "userTime": "30.10",
+      "cpuUsage": "271%"
+    },
+    "meta": {
+      "commit": "fb93d4cf",
+      "commitDate": "1717513680",
+      "currentDate": "1717591206"
+    }
   }
 ]