10000 Workflow runs · snejugal/typedKanren · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: snejugal/typedKanren

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
70 workflow runs
70 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #16 from snejugal/memory-benchmarks
GHC (build, test, haddock) #58: Commit d6d998c pushed by snejugal
March 2, 2025 17:27 26d 4h 56m 53s master
March 2, 2025 17:27 26d 4h 56m 53s
Add memory benchmarks
GHC (build, test, haddock) #57: Pull request #16 opened by snejugal
February 25, 2025 14:17 17h 29m 59s memory-benchmarks
February 25, 2025 14:17 17h 29m 59s
Make disequalities stricter
GHC (build, test, haddock) #56: Commit e6553a5 pushed by snejugal
February 25, 2025 14:16 17h 30m 45s master
February 25, 2025 14:16 17h 30m 45s
Tagless representation for Term
GHC (build, test, haddock) #55: Pull request #15 synchronize by fizruk
October 9, 2024 18:03 10m 55s tagless-term
October 9, 2024 18:03 10m 55s
Tagless representation for Term
GHC (build, test, haddock) #54: Pull request #15 synchronize by fizruk
October 9, 2024 14:55 5m 53s tagless-term
October 9, 2024 14:55 5m 53s
Tagless representation for Term
GHC (build, test, haddock) #53: Pull request #15 opened by fizruk
October 9, 2024 14:54 5m 52s tagless-term
October 9, 2024 14:54 5m 52s
set-var-val! optimization via IORefs
GHC (build, test, haddock) #52: Pull request #14 synchronize by fizruk
August 3, 2024 20:17 8m 21s iorefs
August 3, 2024 20:17 8m 21s
set-var-val! optimization via IORefs
GHC (build, test, haddock) #51: Pull request #14 synchronize by fizruk
August 3, 2024 20:06 1m 41s iorefs
August 3, 2024 20:06 1m 41s
set-var-val! optimization via IORefs
GHC (build, test, haddock) #50: Pull request #14 opened by fizruk
August 3, 2024 19:35 5m 36s iorefs
August 3, 2024 19:35 5m 36s
pages build and deployment
pages-build-deployment #12: by github-pages bot
August 3, 2024 17:43 44s gh-pages
August 3, 2024 17:43 44s
Refactor disjunction
GHC (build, test, haddock) #49: Commit 8d3afa5 pushed by snejugal
August 3, 2024 17:35 8m 6s master
August 3, 2024 17:35 8m 6s 8000
Implement set-var-val optimization
GHC (build, test, haddock) #48: Pull request #13 synchronize by snejugal
August 1, 2024 19:00 1m 0s strefs
August 1, 2024 19:00 1m 0s
Implement set-var-val optimization
GHC (build, test, haddock) #47: Pull request #13 synchronize by snejugal
August 1, 2024 06:36 1m 7s strefs
August 1, 2024 06:36 1m 7s
Implement set-var-val optimization
GHC (build, test, haddock) #46: Pull request #13 synchronize by snejugal
July 31, 2024 20:14 1m 6s strefs
July 31, 2024 20:14 1m 6s
Implement set-var-val optimization
GHC (build, test, haddock) #45: Pull request #13 synchronize by snejugal
July 31, 2024 19:07 1m 0s strefs
July 31, 2024 19:07 1m 0s
Implement set-var-val optimization
GHC (build, test, haddock) #44: Pull request #13 synchronize by snejugal
July 31, 2024 18:56 45s strefs
July 31, 2024 18:56 45s
Implement set-var-val optimization
GHC (build, test, haddock) #43: Pull request #13 synchronize by snejugal
July 31, 2024 18:12 1m 7s strefs
July 31, 2024 18:12 1m 7s
Implement set-var-val optimization
GHC (build, test, haddock) #42: Pull request #13 synchronize by snejugal
July 30, 2024 20:02 41s strefs
July 30, 2024 20:02 41s
Implement set-var-val optimization
GHC (build, test, haddock) #41: Pull request #13 synchronize by snejugal
July 30, 2024 19:43 51s strefs
July 30, 2024 19:43 51s
Implement set-var-val optimization
GHC (build, test, haddock) #40: Pull request #13 synchronize by snejugal
July 29, 2024 19:53 40s strefs
July 29, 2024 19:53 40s
Implement set-var-val optimization
GHC (build, test, haddock) #39: Pull request #13 synchronize by snejugal
July 29, 2024 19:32 54s strefs
July 29, 2024 19:32 54s
Implement set-var-val optimization
GHC (build, test, haddock) #38: Pull request #13 synchronize by snejugal
July 29, 2024 19:15 50s strefs
July 29, 2024 19:15 50s
Implement set-var-val optimization
GHC (build, test, haddock) #37: Pull request #13 synchronize by snejugal
July 29, 2024 18:40 41s strefs
July 29, 2024 18:40 41s
Implement set-var-val optimization
GHC (build, test, haddock) #36: Pull request #13 synchronize by snejugal
July 29, 2024 18:35 40s strefs
July 29, 2024 18:35 40s
Implement set-var-val optimization
GHC (build, test, haddock) #35: Pull request #13 synchronize by snejugal
July 28, 2024 17:52 38s strefs
July 28, 2024 17:52 38s
0