Skip to content
Delete merged branch of the backport PRs

[Backport 1.x] Bump FSharp.Core from 8.0.200 to 8.0.300 #469

Sign in to view logs

[Backport 1.x] Bump FSharp.Core from 8.0.200 to 8.0.300

[Backport 1.x] Bump FSharp.Core from 8.0.200 to 8.0.300 #469

Triggered via pull request May 20, 2024 09:01
@XtansiaXtansia
closed #652
backport/backport-649-to-1.x
Status Success
Total duration 13s
Artifacts –

delete_backport_branch.yml

on: pull_request
delete-branch
2s
delete-branch
Fit to window
Zoom out
Zoom in

Annotations

1 warning
delete-branch
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: SvanBoxel/delete-merged-branch@main. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.