Skip to content

Actions: snejugal/typedKanren

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
67 workflow runs
67 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Tagless representation for Term GHC (build, test, haddock) #55: Pull request #15 synchronize by fizruk
October 9, 2024 18:03 10m 55s tagless-term
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
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
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
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
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
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
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
master
August 3, 2024 17:35 8m 6s
Implement set-var-val optimization GHC (build, test, haddock) #48: Pull request #13 synchronize by snejugal
August 1, 2024 19:00 1m 0s strefs
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
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
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
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
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
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
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
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
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
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
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
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
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
strefs
July 28, 2024 17:52 38s
pages build and deployment pages-build-deployment #11: by github-pages bot
July 28, 2024 14:15 47s gh-pages
gh-pages
July 28, 2024 14:15 47s
Merge pull request #12 from snejugal/th-improvements GHC (build, test, haddock) #34: Commit f13931a pushed by snejugal
July 28, 2024 14:01 13m 58s master
master
July 28, 2024 14:01 13m 58s
Improve the TH module GHC (build, test, haddock) #33: Pull request #12 synchronize by snejugal
July 28, 2024 13:51 9m 14s th-improvements
th-improvements
July 28, 2024 13:51 9m 14s