Skip to content

Actions: ionide/ionide-vscode-fsharp

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
262 workflow runs
262 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Release Release #127: Manually run by baronfel
September 8, 2024 02:47 7m 9s main
main
September 8, 2024 02:47 7m 9s
put the changelog in the right place Build Pull Requests #593: Commit 8c0b5be pushed by baronfel
September 8, 2024 02:47 3m 59s main
main
September 8, 2024 02:47 3m 59s
Release Release #126: Manually run by baronfel
September 8, 2024 02:37 6m 59s main
main
September 8, 2024 02:37 6m 59s
Release Release #125: Manually run by baronfel
September 8, 2024 02:29 6m 1s main
main
September 8, 2024 02:29 6m 1s
changelogs for 7.21.1 Build Pull Requests #592: Commit 4c3d760 pushed by baronfel
September 8, 2024 02:29 4m 28s main
main
September 8, 2024 02:29 4m 28s
add discussion and discord links when opening issues Build Pull Requests #591: Commit 9f4d66c pushed by TheAngryByrd
September 2, 2024 16:08 5m 39s main
main
September 2, 2024 16:08 5m 39s
Release Release #124: Manually run by baronfel
August 19, 2024 02:31 5m 38s main
main
August 19, 2024 02:31 5m 38s
bump FSAC and highlighting (#2034) Build Pull Requests #590: Commit f206866 pushed by baronfel
August 19, 2024 02:31 3m 38s main
main
August 19, 2024 02:31 3m 38s
Bump FSAC and prep release for 8.0.400 SDK Build Pull Requests #589: Pull request #2034 opened by baronfel
August 19, 2024 02:20 2m 52s 8.0.400-bumps
8.0.400-bumps
August 19, 2024 02:20 2m 52s
bump FSAC and highlighting Build Pull Requests #588: Commit 36e2a41 pushed by baronfel
August 19, 2024 02:19 3m 13s 8.0.400-bumps
8.0.400-bumps
August 19, 2024 02:19 3m 13s
use project names instead of full paths to make the picker easier to … Build Pull Requests #587: Commit a85ea31 pushed by baronfel
August 19, 2024 02:19 3m 7s 8.0.400-bumps
8.0.400-bumps
August 19, 2024 02:19 3m 7s
make inlayhint confg changes at the user-levelif no workspace is avai… Build Pull Requests #586: Commit 5edad17 pushed by baronfel
August 19, 2024 02:00 12m 10s main
main
August 19, 2024 02:00 12m 10s
Make inlayhint config changes at the user-level if no workspace is available Build Pull Requests #585: Pull request #2033 opened by baronfel
August 11, 2024 17:14 4m 28s make-inlayhint-configs-work-for-loose-fsx
make-inlayhint-configs-work-for-loose-fsx
August 11, 2024 17:14 4m 28s
make inlayhint confg changes at the user-levelif no workspace is avai… Build Pull Requests #584: Commit 992ec64 pushed by baronfel
August 11, 2024 17:11 4m 32s make-inlayhint-configs-work-for-loose-fsx
make-inlayhint-configs-work-for-loose-fsx
August 11, 2024 17:11 4m 32s
use project names instead of full paths to make the picker easier to … Build Pull Requests #583: Commit a85ea31 pushed by baronfel
August 10, 2024 18:33 7m 10s main
main
August 10, 2024 18:33 7m 10s
use project names instead of full paths to make the picker easier to … Build Pull Requests #582: Pull request #2031 synchronize by baronfel
August 10, 2024 18:28 3m 54s make-default-project-picker-nicer
make-default-project-picker-nicer
August 10, 2024 18:28 3m 54s
even higher node! Build Pull Requests #581: Commit 47adb75 pushed by baronfel
August 10, 2024 18:28 4m 41s make-default-project-picker-nicer
make-default-project-picker-nicer
August 10, 2024 18:28 4m 41s
use project names instead of full paths to make the picker easier to … Build Pull Requests #580: Pull request #2031 synchronize by baronfel
August 10, 2024 18:25 1m 31s make-default-project-picker-nicer
make-default-project-picker-nicer
August 10, 2024 18:25 1m 31s
bump old setup-dotnet version Build Pull Requests #579: Commit 397bd47 pushed by baronfel
August 10, 2024 18:25 3m 53s make-default-project-picker-nicer
make-default-project-picker-nicer
August 10, 2024 18:25 3m 53s
use project names instead of full paths to make the picker easier to … Build Pull Requests #578: Pull request #2031 synchronize by baronfel
August 10, 2024 18:24 1m 44s make-default-project-picker-nicer
make-default-project-picker-nicer
August 10, 2024 18:24 1m 44s
fix PR build to use more recent package Build Pull Requests #577: Commit f58e3f5 pushed by baronfel
August 10, 2024 18:24 1m 26s make-default-project-picker-nicer
make-default-project-picker-nicer
August 10, 2024 18:24 1m 26s
use project names instead of full paths to make the picker easier to … Build Pull Requests #576: Pull request #2031 synchronize by baronfel
August 10, 2024 18:21 7m 35s make-default-project-picker-nicer
make-default-project-picker-nicer
August 10, 2024 18:21 7m 35s
bump node version to make builds green Build Pull Requests #575: Commit 12743bb pushed by baronfel
August 10, 2024 18:21 5m 47s make-default-project-picker-nicer
make-default-project-picker-nicer
August 10, 2024 18:21 5m 47s
use project names instead of full paths to make the picker easier to … Build Pull Requests #574: Pull request #2031 opened by baronfel
August 10, 2024 18:12 1m 41s make-default-project-picker-nicer
make-default-project-picker-nicer
August 10, 2024 18:12 1m 41s
use project names instead of full paths to make the picker easier to … Build Pull Requests #573: Commit f83aa6a pushed by baronfel
August 10, 2024 18:11 1m 43s make-default-project-picker-nicer
make-default-project-picker-nicer
August 10, 2024 18:11 1m 43s