Skip to content

Actions: drym-org/qi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
508 workflow runs
508 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

restore restorative optimization that was accidentally dropped build #1027: Commit 1b63193 pushed by countvajhula
August 24, 2023 22:47 2m 26s first-optimizations
first-optimizations
August 24, 2023 22:47 2m 26s
First Optimizations build #1026: Pull request #76 synchronize by countvajhula
August 18, 2023 20:53 2m 40s first-optimizations
first-optimizations
August 18, 2023 20:53 2m 40s
minimally incorporate stream fusion into the compiler build #1025: Commit 191346c pushed by countvajhula
August 18, 2023 20:53 2m 49s first-optimizations
first-optimizations
August 18, 2023 20:53 2m 49s
First Optimizations build #1024: Pull request #76 synchronize by countvajhula
August 18, 2023 15:59 2m 43s first-optimizations
first-optimizations
August 18, 2023 15:59 2m 43s
add range-map-sum benchmark (used in St-Amour's writeup) build #1023: Commit 90ae5cc pushed by countvajhula
August 18, 2023 15:59 3m 47s first-optimizations
first-optimizations
August 18, 2023 15:59 3m 47s
First Optimizations build #1022: Pull request #76 synchronize by countvajhula
August 15, 2023 08:12 10m 37s first-optimizations
first-optimizations
August 15, 2023 08:12 10m 37s
add the hand-coded iteration (upper bound on performance) build #1021: Commit 0351c39 pushed by countvajhula
August 15, 2023 08:12 10m 47s first-optimizations
first-optimizations
August 15, 2023 08:12 10m 47s
First Optimizations build #1020: Pull request #76 synchronize by countvajhula
August 12, 2023 16:39 8m 36s first-optimizations
first-optimizations
August 12, 2023 16:39 8m 36s
add version from ben with partially evaluated match, for completeness build #1019: Commit b19783d pushed by countvajhula
August 12, 2023 16:38 10m 27s first-optimizations
first-optimizations
August 12, 2023 16:38 10m 27s
First Optimizations build #1018: Pull request #76 synchronize by countvajhula
August 11, 2023 23:19 10m 5s first-optimizations
first-optimizations
August 11, 2023 23:19 10m 5s
implement filter-map using multiple values instead of allocated data build #1017: Commit c698e26 pushed by countvajhula
August 11, 2023 23:19 10m 50s first-optimizations
first-optimizations
August 11, 2023 23:19 10m 50s
pages build and deployment pages-build-deployment #156: by github-pages bot
August 9, 2023 20:51 50s
August 9, 2023 20:51 50s
readme: minor improvements build #1016: Commit c3cec5a pushed by countvajhula
August 9, 2023 20:44 9m 49s main
main
August 9, 2023 20:44 9m 49s
readme: minor improvements benchmarks #133: Commit c3cec5a pushed by countvajhula
August 9, 2023 20:44 7m 1s main
main
August 9, 2023 20:44 7m 1s
pages build and deployment pages-build-deployment #155: by github-pages bot
August 9, 2023 20:26 59s
August 9, 2023 20:26 59s
pages build and deployment pages-build-deployment #154: by github-pages bot
August 9, 2023 20:23 53s
August 9, 2023 20:23 53s
Merge pull request #109 from benknoble/docs docs #43: Commit b5943f3 pushed by countvajhula
August 9, 2023 20:21 2m 29s main
main
August 9, 2023 20:21 2m 29s
Merge pull request #109 from benknoble/docs build #1015: Commit b5943f3 pushed by countvajhula
August 9, 2023 20:21 8m 39s main
main
August 9, 2023 20:21 8m 39s
Merge pull request #109 from benknoble/docs benchmarks #132: Commit b5943f3 pushed by countvajhula
August 9, 2023 20:21 5m 40s main
main
August 9, 2023 20:21 5m 40s
Update documentation build #1014: Pull request #109 opened by benknoble
August 9, 2023 18:01 9m 18s benknoble:docs
benknoble:docs
August 9, 2023 18:01 9m 18s
First Optimizations build #1013: Pull request #76 synchronize by countvajhula
August 4, 2023 23:21 11m 45s first-optimizations
first-optimizations
August 4, 2023 23:21 11m 45s
Commit wip from today's meeting build #1012: Commit ab173b2 pushed by countvajhula
August 4, 2023 23:21 12m 26s first-optimizations
first-optimizations
August 4, 2023 23:21 12m 26s
pages build and deployment pages-build-deployment #153: by github-pages bot
July 31, 2023 20:42 1m 1s
July 31, 2023 20:42 1m 1s
pages build and deployment pages-build-deployment #152: by github-pages bot
July 31, 2023 20:41 1m 3s
July 31, 2023 20:41 1m 3s
docs: small improvement docs #42: Commit ed5dfe7 pushed by countvajhula
July 31, 2023 20:37 3m 21s main
main
July 31, 2023 20:37 3m 21s
ProTip! You can narrow down the results and go further in time using created:<2023-07-31 or the other filters available.