Skip to content

Actions: fsprojects/FSharpLint

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
249 workflow run results
249 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #628 from Mersho/RunFsharplintOnItself
.NET 5.0 #23: Commit ceb9c07 pushed by knocte
December 13, 2023 07:32 5m 27s master
December 13, 2023 07:32 5m 27s
CI: remove additional .NET install
.NET 5.0 #7: Commit c7ceca1 pushed by knocte
December 7, 2023 10:16 5m 14s master
December 7, 2023 10:16 5m 14s
Release notes for 0.21.6
.NET 5.0 #5: Commit 58ffdb0 pushed by knocte
December 7, 2023 08:16 6m 0s master
December 7, 2023 08:16 6m 0s
Merge pull request #616 from knocte/nugetReleaseBeforeGitHubRelease
.NET 5.0 #4: Commit eef61a8 pushed by knocte
December 7, 2023 05:44 5m 2s master
December 7, 2023 05:44 5m 2s
HintMatcher: fix potential crash (#608)
.NET 5.0 #472: Commit 323223f pushed by knocte
December 7, 2023 05:32 3m 39s master
December 7, 2023 05:32 3m 39s
docs: fix AvoidSinglePipeOperator cfg setting
.NET 5.0 #471: Commit 06bb0af pushed by knocte
December 7, 2023 05:25 4m 43s master
December 7, 2023 05:25 4m 43s
FailwithBadUsage: extern declarations bugfix (#562)
.NET 5.0 #470: Commit 64ca94f pushed by knocte
December 7, 2023 05:17 3m 59s master
December 7, 2023 05:17 3m 59s
Merge pull request #623 from Mersho/AsyncFuncFailWith-squashed
.NET 5.0 #469: Commit 7b351fb pushed by knocte
December 7, 2023 05:08 6m 55s master
December 7, 2023 05:08 6m 55s
CI: remove additional redundant .NET install
.NET 5.0 #468: Commit 317a51e pushed by knocte
December 7, 2023 04:49 6m 44s master
December 7, 2023 04:49 6m 44s
CI: upgrade the 'setup-dotnet' action (#614)
.NET 5.0 #467: Commit 3d9647d pushed by knocte
December 7, 2023 04:34 5m 0s master
December 7, 2023 04:34 5m 0s
Release notes for 0.21.5
.NET 5.0 #459: Commit e52c611 pushed by knocte
December 6, 2023 09:56 5m 22s master
December 6, 2023 09:56 5m 22s
AvoidSinglePipeOperator: cleanup
.NET 5.0 #448: Commit fe1dc30 pushed by knocte
December 6, 2023 08:38 6m 11s master
December 6, 2023 08:38 6m 11s
Merge pull request #595 from tehraninasab/avoid-one-pipe-squashed
.NET 5.0 #447: Commit de3bd65 pushed by knocte
December 5, 2023 09:13 4m 54s master
December 5, 2023 09:13 4m 54s
FSharpLint.Console: add --version (#612)
.NET 5.0 #445: Commit 93f514b pushed by knocte
December 5, 2023 08:02 4m 0s master
December 5, 2023 08:02 4m 0s
CI: remove redundant .NET install
.NET 5.0 #443: Commit 990d19b pushed by knocte
December 4, 2023 15:53 4m 39s master
December 4, 2023 15:53 4m 39s
gitignore: add the BenchmarkDotNet artifacts folder (#619)
.NET 5.0 #441: Commit af75a00 pushed by knocte
November 29, 2023 13:48 4m 39s master
November 29, 2023 13:48 4m 39s
Merge pull request #622 from Mersho/AvoidShortNameGeneric
.NET 5.0 #419: Commit ab04211 pushed by knocte
November 27, 2023 15:10 4m 11s master
November 27, 2023 15:10 4m 11s
.config/dotnet-tools: remove recursive dependency
.NET 5.0 #403: Commit 598788d pushed by knocte
November 23, 2023 10:25 5m 49s master
November 23, 2023 10:25 5m 49s
Conventions/Naming: refactoring
.NET 5.0 #402: Commit ee9f859 pushed by knocte
November 23, 2023 10:18 5m 10s master
November 23, 2023 10:18 5m 10s
Release notes for 0.21.4
.NET 5.0 #399: Commit 268488c pushed by knocte
November 23, 2023 07:21 5m 11s master
November 23, 2023 07:21 5m 11s
Paket: use Packages storage (#615)
.NET 5.0 #397: Commit b0f12c5 pushed by knocte
November 22, 2023 17:11 4m 30s master
November 22, 2023 17:11 4m 30s
Fix VS2022 build (#613)
.NET 5.0 #389: Commit 8ef5b24 pushed by knocte
November 21, 2023 09:20 6m 3s master
November 21, 2023 09:20 6m 3s
Dotnet version SDK should allow minor differences forward
.NET 5.0 #386: Commit fe89b01 pushed by knocte
November 21, 2023 05:26 3m 48s master
November 21, 2023 05:26 3m 48s
Allow developers to update their Dotnet SDK version
.NET 5.0 #382: Pull request #607 opened by Thorium
November 8, 2023 10:18 7m 48s Thorium:master
November 8, 2023 10:18 7m 48s
ProTip! You can narrow down the results and go further in time using created:<2023-11-08 or the other filters available.