Skip to content

Actions: LeventErkok/sbvPlugin

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
21 workflow runs
21 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Release 9.12.1 Haskell-CI #23: Commit 21cabc9 pushed by LeventErkok
March 13, 2025 05:17 2m 24s master
master
March 13, 2025 05:17 2m 24s
Release 9.12.1 lint #20: Commit 21cabc9 pushed by LeventErkok
March 13, 2025 05:17 15s master
master
March 13, 2025 05:17 15s
Release 9.12.1 lint #19: Commit 3ebb665 pushed by LeventErkok
March 13, 2025 05:13 15s master
master
March 13, 2025 05:13 15s
Release 9.12.1 Haskell-CI #22: Commit 3ebb665 pushed by LeventErkok
March 13, 2025 05:13 2m 22s master
master
March 13, 2025 05:13 2m 22s
Release 9.12.1 Haskell-CI #21: Commit 3ebb665 pushed by LeventErkok
March 13, 2025 05:13 2m 21s v9.12.1
v9.12.1
March 13, 2025 05:13 2m 21s
avoid the deprecation message lint #18: Commit eae19e6 pushed by LeventErkok
March 12, 2025 22:38 12s master
master
March 12, 2025 22:38 12s
avoid the deprecation message Haskell-CI #20: Commit eae19e6 pushed by LeventErkok
March 12, 2025 22:38 2m 25s master
master
March 12, 2025 22:38 2m 25s
Start porting to GHC 9.12.1, and SBV 11.4 Haskell-CI #19: Commit 3a0d14a pushed by LeventErkok
March 12, 2025 21:56 2m 31s master
master
March 12, 2025 21:56 2m 31s
Start porting to GHC 9.12.1, and SBV 11.4 lint #17: Commit 3a0d14a pushed by LeventErkok
March 12, 2025 21:56 16s master
master
March 12, 2025 21:56 16s
Add support for CVC5, DReal, OpenSMT, and Bitwuzla as backend solvers lint #16: Commit 556d852 pushed by LeventErkok
May 23, 2024 18:58 20s master
master
May 23, 2024 18:58 20s
Add support for CVC5, DReal, OpenSMT, and Bitwuzla as backend solvers Haskell-CI #18: Commit 556d852 pushed by LeventErkok
May 23, 2024 18:58 2m 14s master
master
May 23, 2024 18:58 2m 14s
maybe fix ci Haskell-CI #17: Commit 3131b79 pushed by LeventErkok
May 22, 2024 22:58 5m 19s master
master
May 22, 2024 22:58 5m 19s
maybe fix ci lint #15: Commit 3131b79 pushed by LeventErkok
May 22, 2024 22:58 15s master
master
May 22, 2024 22:58 15s
Release 9.10.1 Haskell-CI #16: Commit e6e6e06 pushed by LeventErkok
May 22, 2024 22:52 1m 59s master
master
May 22, 2024 22:52 1m 59s
Release 9.10.1 Haskell-CI #15: Commit e6e6e06 pushed by LeventErkok
May 22, 2024 22:52 2m 1s 9.10.1
9.10.1
May 22, 2024 22:52 2m 1s
Release 9.10.1 lint #14: Commit e6e6e06 pushed by LeventErkok
May 22, 2024 22:52 16s master
master
May 22, 2024 22:52 16s
update ci Haskell-CI #14: Commit d7629d2 pushed by LeventErkok
March 23, 2024 22:01 5m 11s master
master
March 23, 2024 22:01 5m 11s
update ci lint #13: Commit d7629d2 pushed by LeventErkok
March 23, 2024 22:01 17s master
master
March 23, 2024 22:01 17s
Release 9.8.2 Haskell-CI #13: Commit cdc2e8a pushed by LeventErkok
March 23, 2024 21:47 1m 47s 9.8.2
9.8.2
March 23, 2024 21:47 1m 47s
Release 9.8.2 Haskell-CI #12: Commit cdc2e8a pushed by LeventErkok
March 23, 2024 21:47 1m 49s master
master
March 23, 2024 21:47 1m 49s
Release 9.8.2 lint #12: Commit cdc2e8a pushed by LeventErkok
March 23, 2024 21:47 19s master
master
March 23, 2024 21:47 19s