GitHub Action: Automated sync

effekt-lang · Jun 9, 2024 · a493a38 · a493a38
1 parent 6a8aa7a
commit a493a38
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
@@ -662,5 +662,13 @@
       "commitDate": "1717787503",
       "currentDate": "1717850038"
     }
+  },
+  {
+    "buildTime": "75.94",
+    "meta": {
+      "commit": "acbec872",
+      "commitDate": "1717787503",
+      "currentDate": "1717897014"
+    }
   }
 ]
diff --git a/data/cloc.json b/data/cloc.json
@@ -6895,5 +6895,90 @@
       "commitDate": "1717787503",
       "currentDate": "1717850202"
     }
+  },
+  {
+    "Scala": {
+      "nFiles": 162,
+      "blank": 6115,
+      "comment": 6770,
+      "code": 21779
+    },
+    "Effekt": {
+      "nFiles": 385,
+      "blank": 2407,
+      "comment": 1237,
+      "code": 10126
+    },
+    "Markdown": {
+      "nFiles": 12,
+      "blank": 392,
+      "comment": 0,
+      "code": 1919
+    },
+    "Scheme": {
+      "nFiles": 11,
+      "blank": 200,
+      "comment": 163,
+      "code": 1289
+    },
+    "C": {
+      "nFiles": 8,
+      "blank": 191,
+      "comment": 167,
+      "code": 697
+    },
+    "JSON": {
+      "nFiles": 3,
+      "blank": 1,
+      "comment": 0,
+      "code": 658
+    },
+    "LLVM IR": {
+      "nFiles": 3,
+      "blank": 183,
+      "comment": 80,
+      "code": 532
+    },
+    "JavaScript": {
+      "nFiles": 4,
+      "blank": 79,
+      "comment": 55,
+      "code": 452
+    },
+    "YAML": {
+      "nFiles": 2,
+      "blank": 35,
+      "comment": 1,
+      "code": 171
+    },
+    "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": 9616,
+      "comment": 8491,
+      "code": 37708,
+      "nFiles": 593
+    },
+    "meta": {
+      "commit": "acbec872",
+      "commitDate": "1717787503",
+      "currentDate": "1717897175"
+    }
   }
 ]
diff --git a/data/metrics.json b/data/metrics.json
@@ -3196,5 +3196,87 @@
       "commitDate": "1717787503",
       "currentDate": "1717850203"
     }
+  },
+  {
+    "examples/casestudies/anf.effekt.md": {
+      "maxMem": "946116",
+      "userTime": "17.89",
+      "cpuUsage": "273%"
+    },
+    "examples/casestudies/lexer.effekt.md": {
+      "maxMem": "773040",
+      "userTime": "12.99",
+      "cpuUsage": "269%"
+    },
+    "examples/casestudies/parser.effekt.md": {
+      "maxMem": "679480",
+      "userTime": "16.13",
+      "cpuUsage": "282%"
+    },
+    "examples/casestudies/buildsystem.effekt.md": {
+      "maxMem": "709696",
+      "userTime": "13.36",
+      "cpuUsage": "272%"
+    },
+    "examples/casestudies/prettyprinter.effekt.md": {
+      "maxMem": "874344",
+      "userTime": "17.38",
+      "cpuUsage": "279%"
+    },
+    "examples/casestudies/naturalisticdsls.effekt.md": {
+      "maxMem": "775256",
+      "userTime": "12.79",
+      "cpuUsage": "272%"
+    },
+    "examples/casestudies/ad.effekt.md": {
+      "maxMem": "747008",
+      "userTime": "15.00",
+      "cpuUsage": "280%"
+    },
+    "examples/benchmarks/simple_counter.effekt": {
+      "maxMem": "698788",
+      "userTime": "12.21",
+      "cpuUsage": "264%"
+    },
+    "examples/benchmarks/triples.effekt": {
+      "maxMem": "744484",
+      "userTime": "12.33",
+      "cpuUsage": "262%"
+    },
+    "examples/benchmarks/nqueens.effekt": {
+      "maxMem": "702572",
+      "userTime": "12.20",
+      "cpuUsage": "259%"
+    },
+    "examples/benchmarks/tree.effekt": {
+      "maxMem": "745776",
+      "userTime": "12.40",
+      "cpuUsage": "264%"
+    },
+    "examples/benchmarks/generator.effekt": {
+      "maxMem": "770268",
+      "userTime": "12.08",
+      "cpuUsage": "264%"
+    },
+    "examples/benchmarks/variadic_combinators.effekt": {
+      "maxMem": "766332",
+      "userTime": "12.71",
+      "cpuUsage": "263%"
+    },
+    "examples/benchmarks/church_exponentiation.effekt": {
+      "maxMem": "701864",
+      "userTime": "12.58",
+      "cpuUsage": "267%"
+    },
+    "total": {
+      "maxMem": "1293764",
+      "userTime": "30.00",
+      "cpuUsage": "272%"
+    },
+    "meta": {
+      "commit": "acbec872",
+      "commitDate": "1717787503",
+      "currentDate": "1717897175"
+    }
   }
 ]