automatically sync API docs on rescript-lang.org

[tsnobip]

[fhammerschmidt]

@cknitt would be cool to have this merged before the next release so that it can be already testet fully.

[pkg-pr-new[bot]]

Open in StackBlitz

rescript

npm i https://pkg.pr.new/rescript-lang/rescript@7555

@rescript/darwin-arm64

npm i https://pkg.pr.new/rescript-lang/rescript/@rescript/darwin-arm64@7555

@rescript/darwin-x64

npm i https://pkg.pr.new/rescript-lang/rescript/@rescript/darwin-x64@7555

@rescript/linux-arm64

npm i https://pkg.pr.new/rescript-lang/rescript/@rescript/linux-arm64@7555

@rescript/linux-x64

npm i https://pkg.pr.new/rescript-lang/rescript/@rescript/linux-x64@7555

@rescript/win32-x64

npm i https://pkg.pr.new/rescript-lang/rescript/@rescript/win32-x64@7555

commit: 931c6f8

[fhammerschmidt]

Does it really need to execute on every PR or is that just for testing? Because the sync step takes 2.45 minutes and only the commit and push part is omitted if it is not a tag build.

At least that part seems to work already :)

[tsnobip]

Does it really need to execute on every PR or is that just for testing? Because the sync step takes 2.45 minutes and only the commit and push part is omitted if it is not a tag build.

At least that part seems to work already :)

@fham I think it's worth executing this on every PR in case of malformed docstrings. The cool thing is 2'26" taken by website build is only done when there are changes in docstrings! So the overhead is only a dozen seconds otherwise.

[fhammerschmidt]

Ok I missed that part. I guess then it's totally fine.

[nojaf]

I noticed

on https://github.com/rescript-lang/rescript/pull/7554

@tsnobip is this too be expected?

[tsnobip]

I noticed

on #7554

@tsnobip is this too be expected?

@nojaf yeah I think so, we should only merge PRs that have valid docstrings, don't you think?

[nojaf]

@tsnobip got it! Was wondering if that did any actual syncing, which would be a little strange for a PR.

[tsnobip]

@tsnobip got it! Was wondering if that did any actual syncing, which would be a little strange for a PR.

@nojaf you're right, should I rename the job?

[nojaf]

should I rename the job?

Yes, please, that would be less confusing.