Skip to content

Actions: fsprojects/fantomas

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
600 workflow runs
600 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Detect begin/end in SynExpr.Paren. Build main #4536: Pull request #2950 opened by nojaf
August 28, 2023 14:33 9m 48s nojaf:fix-2368
nojaf:fix-2368
August 28, 2023 14:33 9m 48s
Fix some block comments in Rational Build main #4535: Pull request #2949 synchronize by dawedawe
August 28, 2023 13:27 7m 46s dawedawe:fix_2930_2932_2933
dawedawe:fix_2930_2932_2933
August 28, 2023 13:27 7m 46s
Fix some block comments in Rational Build main #4534: Pull request #2949 synchronize by dawedawe
August 28, 2023 13:17 10m 52s dawedawe:fix_2930_2932_2933
dawedawe:fix_2930_2932_2933
August 28, 2023 13:17 10m 52s
pages build and deployment pages-build-deployment #444: by github-pages bot
August 28, 2023 06:49 41s
August 28, 2023 06:49 41s
Initial support of SynExpr.DotLambda and SynType.Intersection (#2920) Build main #4533: Commit 0f1f762 pushed by nojaf
August 28, 2023 06:39 10m 17s main
main
August 28, 2023 06:39 10m 17s
Fix some block comments in Rational Build main #4532: Pull request #2949 opened by dawedawe
August 25, 2023 15:32 6m 54s dawedawe:fix_2930_2932_2933
dawedawe:fix_2930_2932_2933
August 25, 2023 15:32 6m 54s
Initial support of SynExpr.DotLambda and SynType.Intersection Build main #4531: Pull request #2920 synchronize by nojaf
August 25, 2023 12:10 8m 21s nojaf:dot-lambda
nojaf:dot-lambda
August 25, 2023 12:10 8m 21s
Initial support of SynExpr.DotLambda and SynType.Intersection Build main #4530: Pull request #2920 synchronize by nojaf
August 25, 2023 11:34 8m 29s nojaf:dot-lambda
nojaf:dot-lambda
August 25, 2023 11:34 8m 29s
Initial support of SynExpr.DotLambda and SynType.Intersection Build main #4529: Pull request #2920 synchronize by nojaf
August 25, 2023 11:21 6m 1s nojaf:dot-lambda
nojaf:dot-lambda
August 25, 2023 11:21 6m 1s
pages build and deployment pages-build-deployment #443: by github-pages bot
August 25, 2023 08:10 44s
August 25, 2023 08:10 44s
Ensure the arguments in a multiline application are always indented f… Build main #4528: Commit a1b141e pushed by nojaf
August 25, 2023 07:59 10m 58s main
main
August 25, 2023 07:59 10m 58s
Ensure the arguments in a multiline application are always indented further than the function expr Build main #4527: Pull request #2946 synchronize by nojaf
August 24, 2023 16:06 6m 50s nojaf:fix-2943
nojaf:fix-2943
August 24, 2023 16:06 6m 50s
use dotnet 8 preview sdk and lang preview Build main #4526: Pull request #2924 synchronize by nojaf
August 22, 2023 12:15 6m 56s dawedawe:net8_lang_preview
dawedawe:net8_lang_preview
August 22, 2023 12:15 6m 56s
pages build and deployment pages-build-deployment #442: by github-pages bot
August 21, 2023 13:48 40s
August 21, 2023 13:48 40s
Use 7.0.400 stable (#2947) Build main #4525: Commit a0abc97 pushed by nojaf
August 21, 2023 13:40 9m 2s main
main
August 21, 2023 13:40 9m 2s
Use 7.0.400 stable Build main #4524: Pull request #2947 opened by nojaf
August 18, 2023 14:11 9m 48s nojaf:stable-sdk
nojaf:stable-sdk
August 18, 2023 14:11 9m 48s
regressions regressions #18: Manually run by nojaf
August 18, 2023 12:05 2m 17s main
main
August 18, 2023 12:05 2m 17s
Ensure the arguments in a multiline application are always indented further than the function expr Build main #4523: Pull request #2946 synchronize by nojaf
August 18, 2023 09:50 9m 7s nojaf:fix-2943
nojaf:fix-2943
August 18, 2023 09:50 9m 7s
Ensure the arguments in a multiline application are always indented further than the function expr Build main #4522: Pull request #2946 opened by nojaf
August 18, 2023 07:59 10m 22s nojaf:fix-2943
nojaf:fix-2943
August 18, 2023 07:59 10m 22s
pages build and deployment pages-build-deployment #441: by github-pages bot
August 17, 2023 10:03 42s
August 17, 2023 10:03 42s
Create MAINTAINERS.md (#2929) Build main #4521: Commit 0156a91 pushed by nojaf
August 17, 2023 09:54 8m 40s main
main
August 17, 2023 09:54 8m 40s
Create MAINTAINERS.md Build main #4520: Pull request #2929 synchronize by demarillacizere
August 17, 2023 09:21 7m 51s demarillacizere:maintainers-doc
demarillacizere:maintainers-doc
August 17, 2023 09:21 7m 51s
pages build and deployment pages-build-deployment #440: by github-pages bot
July 27, 2023 14:58 48s
July 27, 2023 14:58 48s
Merge pull request #2939 from dawedawe/fix_2934_2935_2936 Build main #4518: Commit a7b1804 pushed by dawedawe
July 27, 2023 14:48 10m 16s main
main
July 27, 2023 14:48 10m 16s
Fix 2934, 2935, 2936 by using newly provided ranges from the AST Build main #4517: Pull request #2939 opened by dawedawe
July 27, 2023 14:37 9m 44s dawedawe:fix_2934_2935_2936
dawedawe:fix_2934_2935_2936
July 27, 2023 14:37 9m 44s
ProTip! You can narrow down the results and go further in time using created:<2023-07-27 or the other filters available.