Skip to content

Actions: LeventErkok/sbv

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
634 workflow runs
634 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

lambdas: allow arrays and tables again Haskell-CI #520: Commit 05f3f4e pushed by LeventErkok
November 20, 2023 20:54 4m 17s master
master
November 20, 2023 20:54 4m 17s
lambdas: allow arrays and tables again lint #337: Commit 05f3f4e pushed by LeventErkok
November 20, 2023 20:54 1m 6s master
master
November 20, 2023 20:54 1m 6s
clean up cabal lint #336: Commit a3bd474 pushed by LeventErkok
November 20, 2023 20:46 1m 7s master
master
November 20, 2023 20:46 1m 7s
clean up cabal Haskell-CI #519: Commit a3bd474 pushed by LeventErkok
November 20, 2023 20:46 4m 7s master
master
November 20, 2023 20:46 4m 7s
fix github build flow (hopefully) lint #335: Commit f05cb78 pushed by LeventErkok
November 20, 2023 20:16 1m 6s master
master
November 20, 2023 20:16 1m 6s
fix github build flow (hopefully) Haskell-CI #518: Commit f05cb78 pushed by LeventErkok
November 20, 2023 20:16 5m 1s master
master
November 20, 2023 20:16 5m 1s
Fixes #677 Haskell-CI #517: Commit e83e287 pushed by LeventErkok
November 20, 2023 19:51 5m 7s master
master
November 20, 2023 19:51 5m 7s
Fixes #677 lint #334: Commit e83e287 pushed by LeventErkok
November 20, 2023 19:51 1m 13s master
master
November 20, 2023 19:51 1m 13s
Add extra instances for SMTDefinable to support upto 12 arguments lint #333: Commit 592d595 pushed by LeventErkok
November 12, 2023 20:46 1m 5s master
master
November 12, 2023 20:46 1m 5s
Add extra instances for SMTDefinable to support upto 12 arguments Haskell-CI #516: Commit 592d595 pushed by LeventErkok
November 12, 2023 20:46 4m 25s master
master
November 12, 2023 20:46 4m 25s
Drop support for tables/arrays in lambda functions Haskell-CI #515: Commit c96cfb7 pushed by LeventErkok
November 12, 2023 20:18 4m 50s master
master
November 12, 2023 20:18 4m 50s
Drop support for tables/arrays in lambda functions lint #332: Commit c96cfb7 pushed by LeventErkok
November 12, 2023 20:18 1m 7s master
master
November 12, 2023 20:18 1m 7s
Make options backwards compatible Haskell-CI #514: Commit d1fc817 pushed by LeventErkok
October 30, 2023 18:59 6m 3s master
master
October 30, 2023 18:59 6m 3s
Make options backwards compatible lint #331: Commit d1fc817 pushed by LeventErkok
October 30, 2023 18:59 1m 41s master
master
October 30, 2023 18:59 1m 41s
fix arg snafu lint #330: Commit a84d38f pushed by LeventErkok
October 30, 2023 18:50 1m 22s master
master
October 30, 2023 18:50 1m 22s
fix arg snafu Haskell-CI #513: Commit a84d38f pushed by LeventErkok
October 30, 2023 18:50 3m 36s master
master
October 30, 2023 18:50 3m 36s
Disambiguate for haddock Haskell-CI #512: Commit 8f8c7bb pushed by LeventErkok
October 30, 2023 17:07 8m 16s master
master
October 30, 2023 17:07 8m 16s
Disambiguate for haddock lint #329: Commit 8f8c7bb pushed by LeventErkok
October 30, 2023 17:07 1m 31s master
master
October 30, 2023 17:07 1m 31s
More tweakings for #673 Haskell-CI #511: Commit 78101c9 pushed by LeventErkok
October 27, 2023 21:40 8m 30s master
master
October 27, 2023 21:40 8m 30s
More tweakings for #673 lint #328: Commit 78101c9 pushed by LeventErkok
October 27, 2023 21:40 1m 17s master
master
October 27, 2023 21:40 1m 17s
Handle (hopefully!) the corner cases on rotates Haskell-CI #510: Commit c2e771d pushed by LeventErkok
October 27, 2023 20:34 8m 7s master
master
October 27, 2023 20:34 8m 7s
Handle (hopefully!) the corner cases on rotates lint #327: Commit c2e771d pushed by LeventErkok
October 27, 2023 20:34 1m 31s master
master
October 27, 2023 20:34 1m 31s
Adapt to new z3 output Haskell-CI #509: Commit 948c18c pushed by LeventErkok
August 27, 2023 19:06 7m 2s master
master
August 27, 2023 19:06 7m 2s
Adapt to new z3 output lint #326: Commit 948c18c pushed by LeventErkok
August 27, 2023 19:06 1m 31s master
master
August 27, 2023 19:06 1m 31s
Match new z3 output Haskell-CI #508: Commit 59a0b14 pushed by LeventErkok
August 26, 2023 01:24 6m 40s master
master
August 26, 2023 01:24 6m 40s
ProTip! You can narrow down the results and go further in time using created:<2023-08-26 or the other filters available.