Skip to content

Actions: fsprojects/FSharp.Formatting

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
301 workflow runs
301 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Improve API doc content alignment Build and Test PR #444: Pull request #923 synchronize by brianrourkeboll
June 19, 2024 14:00 4m 53s brianrourkeboll:examples
brianrourkeboll:examples
June 19, 2024 14:00 4m 53s
Improve API doc content alignment Build and Test PR #443: Pull request #923 opened by brianrourkeboll
June 18, 2024 21:45 4m 32s brianrourkeboll:examples
brianrourkeboll:examples
June 18, 2024 21:45 4m 32s
Minor Seq Optimizations Build and Test PR #442: Pull request #922 opened by 1eyewonder
June 13, 2024 14:09 5m 47s 1eyewonder:seq-optimizations
1eyewonder:seq-optimizations
June 13, 2024 14:09 5m 47s
pages build and deployment pages-build-deployment #100: by github-pages bot
June 6, 2024 07:45 24s
June 6, 2024 07:45 24s
Merge pull request #921 from nojaf/21-beta Build and Test and Publish (main) #101: Commit 4140311 pushed by nojaf
June 6, 2024 07:42 2m 36s main
main
June 6, 2024 07:42 2m 36s
Add 21 beta release Build and Test PR #441: Pull request #921 opened by nojaf
June 6, 2024 07:08 4m 58s nojaf:21-beta
nojaf:21-beta
June 6, 2024 07:08 4m 58s
pages build and deployment pages-build-deployment #99: by github-pages bot
June 5, 2024 12:55 24s
June 5, 2024 12:55 24s
Merge pull request #920 from brianrourkeboll/deets-button Build and Test and Publish (main) #100: Commit f8a42dc pushed by nojaf
June 5, 2024 12:52 2m 30s main
main
June 5, 2024 12:52 2m 30s
Add expand/collapse-all button for API doc details Build and Test PR #440: Pull request #920 synchronize by brianrourkeboll
June 5, 2024 12:08 5m 17s brianrourkeboll:deets-button
brianrourkeboll:deets-button
June 5, 2024 12:08 5m 17s
Add expand/collapse-all button for API doc details Build and Test PR #439: Pull request #920 synchronize by brianrourkeboll
June 5, 2024 11:38 5m 13s brianrourkeboll:deets-button
brianrourkeboll:deets-button
June 5, 2024 11:38 5m 13s
pages build and deployment pages-build-deployment #98: by github-pages bot
June 5, 2024 06:28 24s
June 5, 2024 06:28 24s
Merge pull request #919 from brianrourkeboll/deets-2 Build and Test and Publish (main) #99: Commit 6bd2905 pushed by nojaf
June 5, 2024 06:25 2m 43s main
main
June 5, 2024 06:25 2m 43s
Add expand/collapse-all button for API doc details Build and Test PR #438: Pull request #920 opened by brianrourkeboll
June 4, 2024 16:48 5m 49s brianrourkeboll:deets-button
brianrourkeboll:deets-button
June 4, 2024 16:48 5m 49s
More details/member docs tweaks Build and Test PR #437: Pull request #919 synchronize by brianrourkeboll
June 3, 2024 18:04 4m 39s brianrourkeboll:deets-2
brianrourkeboll:deets-2
June 3, 2024 18:04 4m 39s
More details/member docs tweaks Build and Test PR #436: Pull request #919 synchronize by brianrourkeboll
June 3, 2024 17:54 4m 5s brianrourkeboll:deets-2
brianrourkeboll:deets-2
June 3, 2024 17:54 4m 5s
More details/member docs tweaks Build and Test PR #435: Pull request #919 opened by brianrourkeboll
June 3, 2024 17:04 4m 12s brianrourkeboll:deets-2
brianrourkeboll:deets-2
June 3, 2024 17:04 4m 12s
pages build and deployment pages-build-deployment #97: by github-pages bot
May 31, 2024 07:02 27s
May 31, 2024 07:02 27s
Merge pull request #917 from brianrourkeboll/deets Build and Test and Publish (main) #98: Commit 56b856b pushed by nojaf
May 31, 2024 07:00 2m 43s main
main
May 31, 2024 07:00 2m 43s
Details improvements Build and Test PR #434: Pull request #917 synchronize by nojaf
May 31, 2024 06:52 5m 15s brianrourkeboll:deets
brianrourkeboll:deets
May 31, 2024 06:52 5m 15s
Details improvements Build and Test PR #433: Pull request #917 synchronize by brianrourkeboll
May 25, 2024 15:45 5m 24s brianrourkeboll:deets
brianrourkeboll:deets
May 25, 2024 15:45 5m 24s
Details improvements Build and Test PR #432: Pull request #917 synchronize by brianrourkeboll
May 25, 2024 15:24 5m 17s brianrourkeboll:deets
brianrourkeboll:deets
May 25, 2024 15:24 5m 17s
Details improvements Build and Test PR #431: Pull request #917 opened by brianrourkeboll
May 24, 2024 17:11 5m 14s brianrourkeboll:deets
brianrourkeboll:deets
May 24, 2024 17:11 5m 14s
pages build and deployment pages-build-deployment #96: by github-pages bot
April 15, 2024 11:47 21s
April 15, 2024 11:47 21s
Merge pull request #915 from fsprojects/dependabot/github_actions/pea… Build and Test and Publish (main) #97: Commit 656d3c8 pushed by nojaf
April 15, 2024 11:45 2m 21s main
main
April 15, 2024 11:45 2m 21s
Bump peaceiris/actions-gh-pages from 3 to 4 Build and Test PR #430: Pull request #915 opened by dependabot bot
April 15, 2024 11:38 4m 44s dependabot/github_actions/peaceiris/actions-gh-pages-4
dependabot/github_actions/peaceiris/actions-gh-pages-4
April 15, 2024 11:38 4m 44s