Skip to content

Actions: sheaf/ghc-tcplugin-api

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
40 workflow runs
40 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Helper for computing fix-point Given substitution CI #154: Commit c583750 pushed by sheaf
8m 5s main
main
8m 5s
Helper for computing fix-point Given substitution CI #153: Pull request #21 synchronize by sheaf
6m 48s givensSubst
givensSubst
6m 48s
Helper for computing fix-point Given substitution CI #152: Pull request #21 synchronize by sheaf
7m 57s givensSubst
givensSubst
7m 57s
Helper for computing fix-point Given substitution CI #151: Pull request #21 synchronize by sheaf
1m 36s givensSubst
givensSubst
1m 36s
Helper for computing fix-point Given substitution CI #150: Pull request #21 synchronize by sheaf
1m 29s givensSubst
givensSubst
1m 29s
Helper for computing fix-point Given substitution CI #149: Pull request #21 synchronize by sheaf
1m 23s givensSubst
givensSubst
1m 23s
Helper for computing fix-point Given substitution CI #148: Pull request #21 opened by sheaf
1m 2s givensSubst
givensSubst
1m 2s
v0.18.1.0: fix #19 CI #147: Commit b6407ef pushed by sheaf
7m 43s main
main
7m 43s
Unflatten constraints on GHC 9.0 and below CI #146: Commit 055966c pushed by sheaf
6m 40s main
main
6m 40s
v0.18.1.0: fix #19 CI #145: Commit 996e5e3 pushed by sheaf
5m 50s main
main
5m 50s
Take into account CNonCanonical constraints in splitTyConApp_upTo CI #144: Pull request #20 opened by sheaf
10m 43s T19
T19
10m 43s
Unflatten constraints on GHC 9.0 and below CI #143: Commit 229f958 pushed by sheaf
7m 2s main
main
7m 2s
Unflatten constraints on GHC 9.0 and below CI #142: Commit a36ec9f pushed by sheaf
6m 1s main
main
6m 1s
Unflatten constraints on GHC 9.0 and below CI #141: Pull request #18 opened by sheaf
8m 22s unflatten
unflatten
8m 22s
v0.17.2.0 CI #140: Commit a1be0b3 pushed by sheaf
7m 23s main
main
7m 23s
fix typos in TyConSubst module CI #139: Commit 10a6ec8 pushed by sheaf
7m 23s main
main
7m 23s
v0.17.1.0: fix bug in constructEquivClasses CI #138: Commit 76f82bd pushed by sheaf
8m 13s main
main
8m 13s
Fix bug in constructEquivClasses CI #137: Pull request #15 synchronize by sheaf
8m 17s equiv
equiv
8m 17s
Fix bug in constructEquivClasses CI #136: Pull request #15 synchronize by sheaf
8m 39s equiv
equiv
8m 39s
Fix bug in constructEquivClasses CI #135: Pull request #15 synchronize by sheaf
10m 23s equiv
equiv
10m 23s
Fix bug in constructEquivClasses CI #134: Pull request #15 synchronize by sheaf
9m 42s equiv
equiv
9m 42s
Fix bug in constructEquivClasses CI #133: Pull request #15 opened by sheaf
5m 56s equiv
equiv
5m 56s
v 0.17.0.0 CI #132: Commit ec65641 pushed by sheaf
8m 12s main
main
8m 12s
v0.16.2.0 CI #131: Commit 67b155d pushed by sheaf
7m 46s main
main
7m 46s
v0.16.1.0 CI #130: Commit e57d6fd pushed by sheaf
3m 52s main
main
3m 52s