Skip to content

Actions: LeventErkok/sbvPlugin

Actions

lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
hlint.yml
9 workflow runs
9 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
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
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 lint #14: Commit e6e6e06 pushed by LeventErkok
May 22, 2024 22:52 16s master
master
May 22, 2024 22:52 16s
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 lint #12: Commit cdc2e8a pushed by LeventErkok
March 23, 2024 21:47 19s master
master
March 23, 2024 21:47 19s
fix doc loc lint #11: Commit b75a3d5 pushed by LeventErkok
January 6, 2024 01:54 17s master
master
January 6, 2024 01:54 17s
don't run haddock in github ci lint #10: Commit 670668f pushed by LeventErkok
January 6, 2024 00:59 16s master
master
January 6, 2024 00:59 16s
github: use ghc 9.8.1 to build lint #9: Commit 404dca4 pushed by LeventErkok
January 6, 2024 00:52 15s master
master
January 6, 2024 00:52 15s
Release 9.8.1 lint #8: Commit ecec4a3 pushed by LeventErkok
January 6, 2024 00:49 19s master
master
January 6, 2024 00:49 19s