Skip to content

Pull requests: briskml/brisk-reconciler

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

Pull requests list

chore: remove dune 2.5.0 pin
#82 by glennsl was merged Jul 12, 2020 Loading…
fix(ppx): allow locally abstract types
#81 by glennsl was merged Jul 12, 2020 Loading…
chore: fix build on gcc 10
#79 by glennsl was merged Jul 11, 2020 Loading…
Fix typo
#78 by ericluap was merged Apr 18, 2020 Loading…
Update to ppxlib >=0.11.0
#76 by wokalski was merged Apr 5, 2020 Loading…
Update to ppxlib >=0.11.0
#75 by ozanmakes was closed Apr 4, 2020 Loading…
Fix master for 407 and 406
#72 by Et7f3 was merged Apr 19, 2020 Loading…
Et7f3/GitHub actions workflows
#70 by Et7f3 was merged Feb 2, 2020 Loading…
[WIP] Validate PR with GitHub Actions.
#69 by Et7f3 was closed Dec 15, 2019 Draft
2 of 4 tasks
Fix test dune file to not break dependants
#67 by ulrikstrid was merged Nov 22, 2019 Loading…
Add package to dune-project and generate opam file
#66 by ulrikstrid was merged Dec 2, 2019 Loading…
Only trigger CI on master and PR
#64 by ulrikstrid was merged Nov 20, 2019 Loading…
Get the PACKAGE_VERSION correctly
#63 by ulrikstrid was merged Nov 20, 2019 Loading…
Remove MountElement from TestHelpers
#61 by wokalski was merged Nov 20, 2019 Loading…
Move all tests over to Rely
#59 by ulrikstrid was merged Nov 20, 2019 Loading…
Make the ref hook a proper ref
#57 by glennsl was merged Nov 19, 2019 Loading…
Try to convert to build matrix
#55 by ulrikstrid was merged Nov 17, 2019 Loading…
Validate PRs in Github Actions
#52 by ulrikstrid was closed Nov 17, 2019 Loading…
Add OnMountAndIf condition to effect hook
#47 by glennsl was merged Jan 13, 2020 Loading…
Defunctorize Brisk_reconciler
#46 by wokalski was merged Oct 29, 2019 Loading…
2
1
Use the builtin Azure cache
#45 by ulrikstrid was merged Oct 23, 2019 Loading…
ProTip! Adding no:label will show everything without a label.