Skip to content

Tags: purescript/pursuit

Tags

v0.9.9

Toggle v0.9.9's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode 
Update CHANGELOG.md

v0.9.8

Toggle v0.9.8's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode 
Update to purs 0.15.10 (#481)

* Update to purs-0.15.10

* Update usages of ForAll

* Update license file

* Update changelog

* Explicitly note that VTA-search not supported

v0.9.7

Toggle v0.9.7's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode 
Fix version (#479)

v0.9.6

Toggle v0.9.6's commit message 
Make 0.9.6 release

v0.9.5

Toggle v0.9.5's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode 
Update to 0.15.8 (support dark theme) (#477)

* Bump ps to 0.15.8

* Update lock file

* Update publishing instructions

* Regenerate license

* Add changelog entry

* CI: Update ubuntu version to latest

v0.9.4

Toggle v0.9.4's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode 
Update PureScript dep to 0.15.6 (#475)

* Update license generator instructions

* Update PS dep to 0.15.6

* Regenerat license

* Update changelog

v0.9.3

Toggle v0.9.3's commit message

Unverified

This commit is not signed, but one or more authors requires that any commit attributed to them is signed.
Learn about vigilant mode 
Update changelog

v0.9.2

Toggle v0.9.2's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode 
Update PureScript to 0.15.2 (#467)

* Update PS to 0.15.2

v0.9.1

Toggle v0.9.1's commit message 
Bump version; add ncu fix to changelog

v0.9.0

Toggle v0.9.0's commit message

Partially verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
We cannot verify signatures from co-authors, and some of the co-authors attributed to this commit require their commits to be signed. 
Update publish instructions (#465)

* Add explanation on bower situation

* Bump list number; add note about verify check

* Fix indentation

* Update static/help-docs/authors.md

Co-authored-by: Thomas Honeyman <[email protected]>

* Update changelog

Co-authored-by: Thomas Honeyman <[email protected]>