Skip to content

Commit

Permalink
GitHub Action: Automated sync
Browse files Browse the repository at this point in the history
  • Loading branch information
GitHub Action committed May 22, 2024
1 parent 1470f84 commit 6fedbb7
Show file tree
Hide file tree
Showing 5 changed files with 506 additions and 1 deletion.
8 changes: 8 additions & 0 deletions data/build.json
Original file line number Diff line number Diff line change
Expand Up @@ -374,5 +374,13 @@
"commitDate": "1715964709",
"currentDate": "1716294950"
}
},
{
"buildTime": "78.34",
"meta": {
"commit": "2739c479",
"commitDate": "1716297088",
"currentDate": "1716340939"
}
}
]
85 changes: 85 additions & 0 deletions data/cloc.json
Original file line number Diff line number Diff line change
Expand Up @@ -3835,5 +3835,90 @@
"commitDate": "1715964709",
"currentDate": "1716295116"
}
},
{
"Scala": {
"nFiles": 161,
"blank": 6066,
"comment": 6716,
"code": 21394
},
"Effekt": {
"nFiles": 382,
"blank": 2565,
"comment": 1730,
"code": 10034
},
"Markdown": {
"nFiles": 12,
"blank": 390,
"comment": 0,
"code": 1914
},
"Scheme": {
"nFiles": 12,
"blank": 221,
"comment": 204,
"code": 1319
},
"JSON": {
"nFiles": 3,
"blank": 1,
"comment": 0,
"code": 658
},
"LLVM IR": {
"nFiles": 2,
"blank": 154,
"comment": 62,
"code": 427
},
"JavaScript": {
"nFiles": 6,
"blank": 86,
"comment": 63,
"code": 389
},
"C": {
"nFiles": 6,
"blank": 67,
"comment": 16,
"code": 208
},
"YAML": {
"nFiles": 2,
"blank": 29,
"comment": 1,
"code": 145
},
"XML": {
"nFiles": 1,
"blank": 3,
"comment": 4,
"code": 42
},
"Standard ML": {
"nFiles": 1,
"blank": 9,
"comment": 14,
"code": 40
},
"Bourne Shell": {
"nFiles": 1,
"blank": 0,
"comment": 0,
"code": 2
},
"SUM": {
"blank": 9591,
"comment": 8810,
"code": 36572,
"nFiles": 589
},
"meta": {
"commit": "2739c479",
"commitDate": "1716297088",
"currentDate": "1716341081"
}
}
]
82 changes: 82 additions & 0 deletions data/metrics.json
Original file line number Diff line number Diff line change
Expand Up @@ -244,5 +244,87 @@
"commitDate": "1715964709",
"currentDate": "1716295117"
}
},
{
"examples/casestudies/anf.effekt.md": {
"maxMem": "662848",
"userTime": "13.84",
"cpuUsage": "276%"
},
"examples/casestudies/lexer.effekt.md": {
"maxMem": "514744",
"userTime": "10.70",
"cpuUsage": "282%"
},
"examples/casestudies/parser.effekt.md": {
"maxMem": "652000",
"userTime": "12.33",
"cpuUsage": "281%"
},
"examples/casestudies/buildsystem.effekt.md": {
"maxMem": "439260",
"userTime": "8.02",
"cpuUsage": "257%"
},
"examples/casestudies/prettyprinter.effekt.md": {
"maxMem": "631744",
"userTime": "13.88",
"cpuUsage": "275%"
},
"examples/casestudies/naturalisticdsls.effekt.md": {
"maxMem": "450224",
"userTime": "8.29",
"cpuUsage": "262%"
},
"examples/casestudies/ad.effekt.md": {
"maxMem": "513664",
"userTime": "10.45",
"cpuUsage": "274%"
},
"examples/benchmarks/simple_counter.effekt": {
"maxMem": "474820",
"userTime": "8.59",
"cpuUsage": "259%"
},
"examples/benchmarks/triples.effekt": {
"maxMem": "484956",
"userTime": "8.90",
"cpuUsage": "261%"
},
"examples/benchmarks/nqueens.effekt": {
"maxMem": "483188",
"userTime": "8.59",
"cpuUsage": "257%"
},
"examples/benchmarks/tree.effekt": {
"maxMem": "487996",
"userTime": "8.88",
"cpuUsage": "266%"
},
"examples/benchmarks/generator.effekt": {
"maxMem": "503908",
"userTime": "8.63",
"cpuUsage": "259%"
},
"examples/benchmarks/variadic_combinators.effekt": {
"maxMem": "471868",
"userTime": "9.32",
"cpuUsage": "266%"
},
"examples/benchmarks/church_exponentiation.effekt": {
"maxMem": "474812",
"userTime": "8.82",
"cpuUsage": "261%"
},
"total": {
"maxMem": "913580",
"userTime": "25.32",
"cpuUsage": "276%"
},
"meta": {
"commit": "2739c479",
"commitDate": "1716297088",
"currentDate": "1716341082"
}
}
]
Loading

0 comments on commit 6fedbb7

Please sign in to comment.