Skip to content

Pull requests: purescript-contrib/purescript-ace

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

Add two extra exports
#50 by amesgen was merged Jan 9, 2023 Loading…
1 of 4 tasks
Prepare v9.0.0 release (1st PS 0.15.0-compatible release) purs-0.15 A reminder to address this issue or merge this PR before we release PureScript v0.15.0
#49 by JordanMartinez was merged Apr 28, 2022 Loading…
4 of 6 tasks
Update to PureScript v0.15.0 purs-0.15 A reminder to address this issue or merge this PR before we release PureScript v0.15.0 type: breaking change A change that requires a major version bump.
#48 by JordanMartinez was merged Mar 23, 2022 Loading…
2 of 4 tasks
Migrate FFI to ES modules
#47 by JordanMartinez was closed Mar 22, 2022 Loading…
4 tasks
Introduce purs-tidy formatter
#46 by thomashoneyman was merged Nov 11, 2021 Loading…
4 tasks done
Introduce purs-tidy formatter
#45 by thomashoneyman was closed Nov 10, 2021 Draft
4 tasks done
Replace Slack links with Discord
#43 by thomashoneyman was merged Jul 25, 2021 Loading…
Prepare v8.0.0 release
#42 by kl0tl was merged Feb 26, 2021 Loading…
4 of 6 tasks
Update changelog since v7.1.0
#41 by thomashoneyman was merged Jan 21, 2021 Loading…
Update bower.json dependencies
#40 by JordanMartinez was merged Dec 17, 2020 Loading…
Update to v0.14.0-rc3
#39 by JordanMartinez was merged Dec 9, 2020 Loading…
Autofill the changelog
#33 by JordanMartinez was merged Sep 23, 2020 Loading…
Add roles declarations to forbid unsafe coercions
#32 by kl0tl was merged Dec 9, 2020 Loading…
Fix CI and example
#31 by milesfrain was merged Sep 13, 2020 Loading…
Export insertLines
#29 by mitchellwrosen was merged Aug 27, 2020 Loading…
Pass onChange object to purescript
#28 by mitchellwrosen was merged Jun 23, 2018 Loading…
Compiler/0.12
#26 by garyb was merged May 27, 2018 Loading…
Updates for PureScript 0.11
#25 by MonoidMusician was merged Apr 11, 2017 Loading…
Updates for PureScript 0.10
#24 by garyb was merged Oct 24, 2016 Loading…
Update dependencies
#23 by garyb was merged Jul 31, 2016 Loading…
Further updates for 0.9.1
#22 by garyb was merged Jun 23, 2016 Loading…
fixed for Purescript v0.9.1
#21 by deamme was merged Jun 22, 2016 Loading…
Fix various FFI errors
#20 by garyb was merged Apr 7, 2016 Loading…
Readonly
#19 by cryogenian was merged Jan 25, 2016 Loading…
ProTip! Exclude everything labeled bug with -label:bug.