Skip to content

Actions: lsrcz/grisette

Actions

Haskell Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
767 workflow runs
767 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

🔖 Bump version to 0.4.0.0 Haskell Tests #566: Commit a7ee288 pushed by lsrcz
January 9, 2024 03:15 38m 24s main
main
January 9, 2024 03:15 38m 24s
Bump version to 0.4.0.0 Haskell Tests #565: Pull request #162 opened by lsrcz
January 9, 2024 03:14 23m 55s prerelease-0.4.0.0
prerelease-0.4.0.0
January 9, 2024 03:14 23m 55s
⬆️ Compatiblity with sbv-10.3 Haskell Tests #564: Commit cf2e6cb pushed by lsrcz
January 9, 2024 03:05 13m 59s main
main
January 9, 2024 03:05 13m 59s
Update dependency upper bounds Haskell Tests #563: Pull request #161 opened by lsrcz
January 9, 2024 01:59 15m 59s new-dependency-compatibility
new-dependency-compatibility
January 9, 2024 01:59 15m 59s
Standardize the constraints for Mergeable1 and SimpleMergeable1 classes Haskell Tests #562: Pull request #160 synchronize by lsrcz
January 9, 2024 00:54 2m 9s relax-class1-constraints
relax-class1-constraints
January 9, 2024 00:54 2m 9s
Standardize the constraints for Mergeable1 and SimpleMergeable1 classes Haskell Tests #561: Pull request #160 opened by lsrcz
January 9, 2024 00:53 2m 14s relax-class1-constraints
relax-class1-constraints
January 9, 2024 00:53 2m 14s
📝 Update CHANGELOG.md Haskell Tests #560: Commit 3861a79 pushed by lsrcz
January 9, 2024 00:32 42m 3s main
main
January 9, 2024 00:32 42m 3s
A generic CEGIS procedure Haskell Tests #559: Pull request #159 synchronize by lsrcz
January 9, 2024 00:32 27m 47s feat-general-cegis
feat-general-cegis
January 9, 2024 00:32 27m 47s
A generic CEGIS procedure Haskell Tests #558: Pull request #159 synchronize by lsrcz
January 9, 2024 00:22 19m 5s feat-general-cegis
feat-general-cegis
January 9, 2024 00:22 19m 5s
A generic CEGIS procedure Haskell Tests #557: Pull request #159 synchronize by lsrcz
January 8, 2024 20:47 22m 7s feat-general-cegis
feat-general-cegis
January 8, 2024 20:47 22m 7s
A generic CEGIS procedure Haskell Tests #556: Pull request #159 synchronize by lsrcz
January 8, 2024 20:28 1m 57s feat-general-cegis
feat-general-cegis
January 8, 2024 20:28 1m 57s
A generic CEGIS procedure Haskell Tests #555: Pull request #159 opened by lsrcz
January 8, 2024 13:20 2m 30s feat-general-cegis
feat-general-cegis
January 8, 2024 13:20 2m 30s
📝 Update CHANGELOG.md Haskell Tests #554: Commit 389f08c pushed by lsrcz
January 6, 2024 19:28 13m 44s main
main
January 6, 2024 19:28 13m 44s
Rename symbolic operators Haskell Tests #553: Pull request #158 synchronize by lsrcz
January 6, 2024 18:57 29m 16s rename-symbolic-operators
rename-symbolic-operators
January 6, 2024 18:57 29m 16s
Rename symbolic operators Haskell Tests #552: Pull request #158 opened by lsrcz
January 6, 2024 18:55 3m 47s rename-symbolic-operators
rename-symbolic-operators
January 6, 2024 18:55 3m 47s
✨ Generalize SBVFreshMonad to transformers Haskell Tests #551: Commit 70c0aea pushed by lsrcz
January 6, 2024 18:49 24m 4s main
main
January 6, 2024 18:49 24m 4s
Generalize SBVFreshMonad to transformers Haskell Tests #550: Pull request #157 opened by lsrcz
January 6, 2024 17:59 1h 0m 55s feat-generalize-sbvfreshmonad
feat-generalize-sbvfreshmonad
January 6, 2024 17:59 1h 0m 55s
✨ Add liftFresh Haskell Tests #549: Commit a573295 pushed by lsrcz
January 6, 2024 17:57 47m 36s main
main
January 6, 2024 17:57 47m 36s
Add liftFresh to lift a Fresh into MonadFresh Haskell Tests #548: Pull request #156 synchronize by lsrcz
January 6, 2024 17:48 42m 46s feat-lift-fresh
feat-lift-fresh
January 6, 2024 17:48 42m 46s
Add liftFresh to lift a Fresh into MonadFresh Haskell Tests #547: Pull request #156 opened by lsrcz
January 6, 2024 17:47 29m 47s feat-lift-fresh
feat-lift-fresh
January 6, 2024 17:47 29m 47s
✨ Add the apply function for uninterpreted functions Haskell Tests #546: Commit 05f225b pushed by lsrcz
January 6, 2024 17:45 17m 9s main
main
January 6, 2024 17:45 17m 9s
Add the apply function for uninterpreted functions Haskell Tests #545: Pull request #155 synchronize by lsrcz
January 6, 2024 17:34 13m 49s feat-apply-uf
feat-apply-uf
January 6, 2024 17:34 13m 49s
Add the apply function for uninterpreted functions Haskell Tests #544: Pull request #155 synchronize by lsrcz
January 6, 2024 17:06 13m 56s feat-apply-uf
feat-apply-uf
January 6, 2024 17:06 13m 56s
Add the apply function for uninterpreted functions Haskell Tests #543: Pull request #155 opened by lsrcz
January 5, 2024 09:47 23m 40s feat-apply-uf
feat-apply-uf
January 5, 2024 09:47 23m 40s
⬆️ update GHC to 9.6.3 and 9.4.8, update the default to GHC 9… Haskell Tests #542: Commit 623b574 pushed by lsrcz
January 5, 2024 09:42 14m 41s main
main
January 5, 2024 09:42 14m 41s
ProTip! You can narrow down the results and go further in time using created:<2024-01-05 or the other filters available.