Skip to content

Actions: fsprojects/fantomas

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
373 workflow runs
373 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment
pages-build-deployment #496: by github-pages bot
January 2, 2024 08:18 37s gh-pages
January 2, 2024 08:18 37s
Use GetSubTextFromRange instead of extension GetContentAt (#3029)
Build main #4772: Commit 79e8355 pushed by nojaf
January 2, 2024 08:11 7m 42s main
January 2, 2024 08:11 7m 42s
Use GetSubTextFromRange instead of extension GetContentAt
Build main #4771: Pull request #3029 synchronize by nojaf
January 2, 2024 08:03 7m 30s nojaf:GetSubTextFromRange
January 2, 2024 08:03 7m 30s
Use GetSubTextFromRange instead of extension GetContentAt
Build main #4770: Pull request #3029 synchronize by nojaf
January 2, 2024 07:50 7m 33s nojaf:GetSubTextFromRange
January 2, 2024 07:50 7m 33s
Make Fantomas compatible with FCS
Build main #4769: Pull request #3032 opened by nojaf
December 29, 2023 15:51 2m 23s nojaf:fantomas-compatible-fcs
December 29, 2023 15:51 2m 23s
pages build and deployment
pages-build-deployment #495: by github-pages bot
December 29, 2023 14:16 35s gh-pages
December 29, 2023 14:16 35s
Elevate debug assert to release mode as well (#3030)
Build main #4768: Commit a999b77 pushed by nojaf
December 29, 2023 14:09 7m 16s main
December 29, 2023 14:09 7m 16s
Elevate debug assert to release mode as well
Build main #4767: Pull request #3030 synchronize by Smaug123
December 28, 2023 15:33 5m 48s Smaug123:less-ambiguous
December 28, 2023 15:33 5m 48s
Elevate debug assert to release mode as well
Build main #4766: Pull request #3030 opened by Smaug123
December 28, 2023 15:31 1m 44s Smaug123:less-ambiguous
December 28, 2023 15:31 1m 44s
Use GetSubTextFromRange instead of extension GetContentAt
Build main #4765: Pull request #3029 opened by nojaf
December 28, 2023 08:41 6m 52s nojaf:GetSubTextFromRange
December 28, 2023 08:41 6m 52s
[Ignore] Top level types
Build main #4764: Pull request #3027 opened by nojaf
December 26, 2023 09:41 7m 44s nojaf:top-level-types
December 26, 2023 09:41 7m 44s
pages build and deployment
pages-build-deployment #494: by github-pages bot
December 22, 2023 09:51 35s gh-pages
December 22, 2023 09:51 35s
Merge pull request #3025 from dawedawe/fix_output_filename
Build main #4763: Commit fc341e8 pushed by dawedawe
December 22, 2023 09:46 6m 51s main
December 22, 2023 09:46 6m 51s
Fix output filename
Build main #4762: Pull request #3025 synchronize by dawedawe
December 22, 2023 09:37 6m 40s dawedawe:fix_output_filename
December 22, 2023 09:37 6m 40s
pages build and deployment
pages-build-deployment #493: by github-pages bot
December 22, 2023 09:37 44s gh-pages
December 22, 2023 09:37 44s
Merge pull request #3024 from dawedawe/fix-2854
Build main #4761: Commit c43224d pushed by dawedawe
December 22, 2023 09:29 7m 41s main
December 22, 2023 09:29 7m 41s
Fix output filename
Build main #4760: Pull request #3025 synchronize by dawedawe
December 21, 2023 22:47 6m 41s dawedawe:fix_output_filename
December 21, 2023 22:47 6m 41s
Fix output filename
Build main #4759: Pull request #3025 synchronize by dawedawe
December 21, 2023 22:26 6m 58s dawedawe:fix_output_filename
December 21, 2023 22:26 6m 58s
Fix output filename
Build main #4758: Pull request #3025 opened by dawedawe
December 21, 2023 18:06 7m 7s dawedawe:fix_output_filename
December 21, 2023 18:06 7m 7s
Fix 2854, accidental treatment of old flags as folders
Build main #4757: Pull request #3024 synchronize by dawedawe
December 21, 2023 17:22 7m 48s dawedawe:fix-2854
December 21, 2023 17:22 7m 48s
Fix 2854, accidental treatment of old flags as folders
Build main #4756: Pull request #3024 synchronize by dawedawe
December 21, 2023 17:20 7m 11s dawedawe:fix-2854
December 21, 2023 17:20 7m 11s
Fix 2854, accidental treatment of old flags as folders
Build main #4755: Pull request #3024 opened by dawedawe
December 21, 2023 16:42 6m 58s dawedawe:fix-2854
December 21, 2023 16:42 6m 58s
ProTip! You can narrow down the results and go further in time using created:<2023-12-21 or the other filters available.