Skip to content

Actions: hackworthltd/primer

Actions

Benchmark regression checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
benchmark-action.yaml
157 workflow runs
157 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore(nix): Update dependencies. (#1160) Benchmark regression checks #242: Commit 76814ed pushed by github-merge-queue bot
October 9, 2023 13:02 1m 31s main
main
October 9, 2023 13:02 1m 31s
fix: const primitive directionality (#1159) Benchmark regression checks #241: Commit 31a962f pushed by github-merge-queue bot
October 9, 2023 11:28 1m 31s main
main
October 9, 2023 11:28 1m 31s
test: Primitive functions can exhibit laziness (#1151) Benchmark regression checks #240: Commit 2a87713 pushed by github-merge-queue bot
October 3, 2023 15:32 2m 23s main
main
October 3, 2023 15:32 2m 23s
style: fourmolu 0.14.0.0 (#1158) Benchmark regression checks #239: Commit 91a328f pushed by github-merge-queue bot
October 2, 2023 14:50 1m 31s main
main
October 2, 2023 14:50 1m 31s
chore: HLS 2.3.0.0 (#1157) Benchmark regression checks #238: Commit 4838b80 pushed by github-merge-queue bot
October 2, 2023 14:08 1m 35s main
main
October 2, 2023 14:08 1m 35s
chore(hackage): index-state: 2023-10-02T00:00:00Z (#1156) Benchmark regression checks #237: Commit 44da5dd pushed by github-merge-queue bot
October 2, 2023 13:50 1m 59s main
main
October 2, 2023 13:50 1m 59s
chore(nix): Update dependencies. (#1155) Benchmark regression checks #236: Commit 403e3dd pushed by github-merge-queue bot
October 2, 2023 13:15 1m 39s main
main
October 2, 2023 13:15 1m 39s
chore(nix): Update dependencies. (#1154) Benchmark regression checks #235: Commit 66dbaa4 pushed by github-merge-queue bot
September 30, 2023 11:18 1m 44s main
main
September 30, 2023 11:18 1m 44s
fix: Check whether type is in use in the type of a primitive def (#1148) Benchmark regression checks #234: Commit 091330c pushed by github-merge-queue bot
September 25, 2023 18:07 1m 50s main
main
September 25, 2023 18:07 1m 50s
chore(nix): Update dependencies. (#1149) Benchmark regression checks #233: Commit a63bb0d pushed by github-merge-queue bot
September 23, 2023 10:33 1m 17s main
main
September 23, 2023 10:33 1m 17s
chore(hole/annotation elision): link to github bug tracker (#1147) Benchmark regression checks #232: Commit 3a3f53c pushed by github-merge-queue bot
September 19, 2023 14:27 1m 20s main
main
September 19, 2023 14:27 1m 20s
feat: display and edit kinds on foralls (#1120) Benchmark regression checks #231: Commit 2bf2349 pushed by github-merge-queue bot
September 19, 2023 14:09 1m 28s main
main
September 19, 2023 14:09 1m 28s
feat: optionally do not evaluate under binders (except lets) (#1055) Benchmark regression checks #230: Commit 1ab647e pushed by github-merge-queue bot
September 18, 2023 17:06 1m 23s main
main
September 18, 2023 17:06 1m 23s
fix: tcWholeProg updates metadata of ADT parameter selections (#1138) Benchmark regression checks #229: Commit 23637df pushed by github-merge-queue bot
September 18, 2023 16:05 1m 24s main
main
September 18, 2023 16:05 1m 24s
chore(nix): Update dependencies. (#1144) Benchmark regression checks #228: Commit f816658 pushed by github-merge-queue bot
September 16, 2023 10:14 1m 37s main
main
September 16, 2023 10:14 1m 37s
fix: nextProgID cares about ids in typedefs (#1134) Benchmark regression checks #227: Commit cc24779 pushed by github-merge-queue bot
September 12, 2023 14:04 1m 35s main
main
September 12, 2023 14:04 1m 35s
chore: bump HLS to 2.2.0.0 (#1140) Benchmark regression checks #226: Commit b7d31ca pushed by github-merge-queue bot
September 12, 2023 13:48 1m 17s main
main
September 12, 2023 13:48 1m 17s
chore: index-state: 2023-09-12T00:00:00Z (#1139) Benchmark regression checks #225: Commit 6b00249 pushed by github-merge-queue bot
September 12, 2023 13:22 1m 24s main
main
September 12, 2023 13:22 1m 24s
chore(nix): Update dependencies. (#1136) Benchmark regression checks #224: Commit 686fe2a pushed by github-merge-queue bot
September 12, 2023 12:49 1m 28s main
main
September 12, 2023 12:49 1m 28s
feat: ConstructKType needs a hole (#1135) Benchmark regression checks #223: Commit 4ea7a18 pushed by github-merge-queue bot
September 11, 2023 14:09 1m 22s main
main
September 11, 2023 14:09 1m 22s
refactor: applyActionsToTypeSig returns TypeZip, not TypeZ (#1132) Benchmark regression checks #222: Commit b74d29b pushed by github-merge-queue bot
September 11, 2023 13:55 1m 48s main
main
September 11, 2023 13:55 1m 48s
chore(nix): Update dependencies. (#1128) Benchmark regression checks #221: Commit 91dee13 pushed by github-merge-queue bot
September 2, 2023 10:27 1m 32s main
main
September 2, 2023 10:27 1m 32s
feat: push down lets (#736) Benchmark regression checks #220: Commit a2cc4fb pushed by github-merge-queue bot
August 31, 2023 11:43 1m 19s main
main
August 31, 2023 11:43 1m 19s
chore(deps): bump actions/checkout from 3.5.3 to 3.6.0 (#1123) Benchmark regression checks #219: Commit 47dcfc1 pushed by github-merge-queue bot
August 30, 2023 00:31 1m 29s main
main
August 30, 2023 00:31 1m 29s
chore: add gnutar to the Docker container (#1126) Benchmark regression checks #218: Commit e38a7e3 pushed by github-merge-queue bot
August 28, 2023 00:35 1m 11s main
main
August 28, 2023 00:35 1m 11s