Skip to content

Activity

Apply hlint suggestions

Pull request merge
solpushed 1 commit to main • 82d1f84…91b2460 • 
on May 21, 2023

Deleted branch

soldeleted gh-actions • 
on May 21, 2023

Use -fno-warn-incomplete-uni-patterns for tests

Pull request merge
solpushed 1 commit to main • fb74c50…82d1f84 • 
on May 21, 2023

Use -fno-warn-incomplete-uni-patterns for tests

Force push
solforce pushed to gh-actions • 798679a…a9c74ad • 
on May 21, 2023

Use -fno-warn-incomplete-uni-patterns for tests

solcreated gh-actions • 798679a • 
on May 21, 2023

Deleted branch

soldeleted gh-actions • 
on May 21, 2023

Add cabal.project

Pull request merge
solpushed 1 commit to main • 035f701…fb74c50 • 
on May 21, 2023

Add cabal.project

Force push
solforce pushed to gh-actions • 8a8b529…50d0c5f • 
on May 21, 2023

Add cabal.project

solcreated gh-actions • 8a8b529 • 
on May 21, 2023

Deleted branch

soldeleted gh-actions • 
on May 21, 2023

Update .github/workflows/build.yml

Pull request merge
solpushed 1 commit to main • 23a2dd2…035f701 • 
on May 21, 2023

Update .github/workflows/build.yml

Force push
solforce pushed to gh-actions • b1e833a…076c03f • 
on May 21, 2023

Update .github/workflows/build.yml

solcreated gh-actions • b1e833a • 
on May 21, 2023

Use GitHub Actions for CI

Pull request merge
solpushed 1 commit to main • e465e71…23a2dd2 • 
on May 21, 2023

Use GitHub Actions for CI

Force push
solforce pushed to remove-travis • 649abd0…f6b7d1e • 
on May 21, 2023

Use GitHub Actions for CI

Force push
solforce pushed to remove-travis • fccb812…649abd0 • 
on May 21, 2023

Deleted branch

soldeleted master • 
on May 21, 2023

Bump version

solcreated main • e465e71 • 
on May 21, 2023

Remove .travis.yml

solcreated remove-travis • fccb812 • 
on May 21, 2023

Deleted branch

soldeleted remove-travis • 
on May 21, 2023

Remove .travis.yml, update .gitignore

solcreated remove-travis • 8bd99ad • 
on May 21, 2023

Bump version

Force push
solforce pushed to master • c161fd8…e465e71 • 
on May 21, 2023

Add hspec-discover as build tool.

Pull request merge
solpushed 2 commits to master • 0796da1…c161fd8 • 
on May 21, 2023