As part of incremental type checking, when filtering out potentially …
Pull request merge
pushed 1 commit to master • 1bf87b3…aca332d • 3 days ago
Require whitespace before
as in
to/
downto labels (
#1085 )
Pull request merge
pushed 1 commit to master • acd6d7d…1bf87b3 • 4 days ago
make the new completion mode dependent on a setting
Use
bsc.exe to figure out rescript version (
#1083 )
Pull request merge
pushed 1 commit to master • 42ec325…acd6d7d • 18 days ago
Fix local compilation when in a workspace (
#1082 )
Pull request merge
pushed 1 commit to master • cd42e8b…42ec325 • 24 days ago
fix local compilation when in a workspace
Use fs api to check if string is a directory. (
#1080 )
set timeout to 0 just for the sake of it
Use fs api to check if string is a directory. (
#1080 )
Pull request merge
pushed 1 commit to master • 79992f1…cd42e8b • on Mar 28
Merge pull request
#1078 from fhammerschmidt/attempt-to-fix-master-re…
Pull request merge
pushed 1 commit to master • cb160f5…1e935ad • on Feb 26
Remove builtin formatter (
#1073 )
Pull request merge
pushed 1 commit to master • 2019372…cb160f5 • on Feb 16
Add completion for React primitives (
#1074 )
Pull request merge
pushed 1 commit to master • 82bbdc5…2019372 • on Feb 16
pushed 1 commit to port-7292 • fa68c9e…57d7053 • on Feb 16
add completion for React primitives
Build without docker, use GitHub Linux ARM runner (
#1069 )
Pull request merge
pushed 1 commit to master • 6604f4b…82bbdc5 • on Jan 24
You can’t perform that action at this time.
github-actions[bot]
zth
jfrolich
fhammerschmidt
cknitt