Skip to content

Actions: fedor-ivn/free-foil-hou

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
36 workflow runs
36 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Test suite GHC (build, test, haddock) #33: Pull request #11 opened by fedor-ivn
March 30, 2025 13:04 4m 0s test-suite
test-suite
March 30, 2025 13:04 4m 0s
Draft: Generalized Huet preunification GHC (build, test, haddock) #32: Pull request #10 synchronize by snejugal
March 29, 2025 13:45 3m 37s huet-free-foil
huet-free-foil
March 29, 2025 13:45 3m 37s
Draft: Generalized Huet preunification GHC (build, test, haddock) #31: Pull request #10 synchronize by snejugal
March 29, 2025 13:42 4m 28s huet-free-foil
huet-free-foil
March 29, 2025 13:42 4m 28s
Draft: Generalized Huet preunification GHC (build, test, haddock) #30: Pull request #10 synchronize by snejugal
March 29, 2025 13:41 3m 35s huet-free-foil
huet-free-foil
March 29, 2025 13:41 3m 35s
Merge pull request #9 from fedor-ivn/typed-soas GHC (build, test, haddock) #29: Commit ad3870a pushed by fedor-ivn
March 27, 2025 16:51 8m 33s main
main
March 27, 2025 16:51 8m 33s
Add types to SOAS GHC (build, test, haddock) #28: Pull request #9 synchronize by fedor-ivn
March 27, 2025 16:42 4m 14s typed-soas
typed-soas
March 27, 2025 16:42 4m 14s
Draft: Generalized Huet preunification GHC (build, test, haddock) #27: Pull request #10 synchronize by snejugal
March 26, 2025 17:02 3m 25s huet-free-foil
huet-free-foil
March 26, 2025 17:02 3m 25s
Draft: Generalized Huet preunification GHC (build, test, haddock) #26: Pull request #10 synchronize by snejugal
March 26, 2025 12:13 2m 58s huet-free-foil
huet-free-foil
March 26, 2025 12:13 2m 58s
Draft: Generalized Huet preunification GHC (build, test, haddock) #25: Pull request #10 synchronize by snejugal
March 26, 2025 10:04 4m 1s huet-free-foil
huet-free-foil
March 26, 2025 10:04 4m 1s
Draft: Generalized Huet preunification GHC (build, test, haddock) #24: Pull request #10 synchronize by snejugal
March 23, 2025 18:28 3m 51s huet-free-foil
huet-free-foil
March 23, 2025 18:28 3m 51s
Add types to SOAS GHC (build, test, haddock) #23: Pull request #9 synchronize by fedor-ivn
March 21, 2025 14:21 3m 44s typed-soas
typed-soas
March 21, 2025 14:21 3m 44s
Draft: Generalized Huet preunification GHC (build, test, haddock) #22: Pull request #10 synchronize by snejugal
March 17, 2025 17:33 9m 6s huet-free-foil
huet-free-foil
March 17, 2025 17:33 9m 6s
Add types to SOAS GHC (build, test, haddock) #21: Pull request #9 synchronize by fedor-ivn
March 15, 2025 21:36 4m 9s typed-soas
typed-soas
March 15, 2025 21:36 4m 9s
Add types to SOAS GHC (build, test, haddock) #20: Pull request #9 synchronize by fizruk
March 14, 2025 16:11 4m 29s typed-soas
typed-soas
March 14, 2025 16:11 4m 29s
Add types to SOAS GHC (build, test, haddock) #19: Pull request #9 synchronize by fizruk
March 14, 2025 15:58 4m 23s typed-soas
typed-soas
March 14, 2025 15:58 4m 23s
Add types to SOAS GHC (build, test, haddock) #18: Pull request #9 synchronize by fedor-ivn
March 14, 2025 15:24 7m 34s typed-soas
typed-soas
March 14, 2025 15:24 7m 34s
Draft: Generalized Huet preunification GHC (build, test, haddock) #17: Pull request #10 opened by snejugal
March 10, 2025 12:55 7m 18s huet-free-foil
huet-free-foil
March 10, 2025 12:55 7m 18s
Add types to SOAS GHC (build, test, haddock) #16: Pull request #9 synchronize by fedor-ivn
March 2, 2025 19:10 4m 29s typed-soas
typed-soas
March 2, 2025 19:10 4m 29s
Add types to SOAS GHC (build, test, haddock) #15: Pull request #9 synchronize by fedor-ivn
February 17, 2025 18:35 5m 3s typed-soas
typed-soas
February 17, 2025 18:35 5m 3s
Add types to SOAS GHC (build, test, haddock) #14: Pull request #9 synchronize by fedor-ivn
February 17, 2025 11:25 13m 2s typed-soas
typed-soas
February 17, 2025 11:25 13m 2s
Add types to SOAS GHC (build, test, haddock) #13: Pull request #9 opened by fedor-ivn
February 4, 2025 21:34 7m 29s typed-soas
typed-soas
February 4, 2025 21:34 7m 29s
FCU algorithm draft GHC (build, test, haddock) #12: Pull request #3 synchronize by Probirochniy
January 24, 2025 15:56 3m 21s fcu
fcu
January 24, 2025 15:56 3m 21s
FCU algorithm draft GHC (build, test, haddock) #11: Pull request #3 synchronize by Probirochniy
January 23, 2025 16:12 4m 23s fcu
fcu
January 23, 2025 16:12 4m 23s
FCU algorithm draft GHC (build, test, haddock) #10: Pull request #3 synchronize by Probirochniy
January 22, 2025 19:56 3m 56s fcu
fcu
January 22, 2025 19:56 3m 56s
FCU algorithm draft GHC (build, test, haddock) #9: Pull request #3 synchronize by Probirochniy
January 22, 2025 18:12 4m 54s fcu
fcu
January 22, 2025 18:12 4m 54s