Skip to content

Actions: dotnet/fsharp

Check release notes

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
7,114 workflow runs
7,114 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Show default value of compiler options
Check release notes #7043: Pull request #18054 synchronize by nih0n
December 14, 2024 04:40 44s
December 14, 2024 04:40 44s
Show default value of compiler options
Check release notes #7042: Pull request #18054 synchronize by nih0n
December 14, 2024 04:26 44s
December 14, 2024 04:26 44s
Parallelize tests
Check release notes #7041: Pull request #17872 synchronize by majocha
December 13, 2024 23:08 40s
December 13, 2024 23:08 40s
Shim/file system: fix leaks of the shim
Check release notes #7040: Pull request #18144 synchronize by auduchinok
December 13, 2024 20:51 39s
December 13, 2024 20:51 39s
Shim/file system: fix leaks of the shim
Check release notes #7039: Pull request #18144 synchronize by auduchinok
December 13, 2024 20:40 41s
December 13, 2024 20:40 41s
Shim/file system: fix leaks of the shim
Check release notes #7038: Pull request #18144 opened by auduchinok
December 13, 2024 20:35 47s
December 13, 2024 20:35 47s
Try to fix more of the build script to handle paths with spaces
Check release notes #7037: Pull request #18143 opened by jwosty
December 13, 2024 19:14 44s
December 13, 2024 19:14 44s
Tests: fix setting the original shim in the FileSystem shim tests
Check release notes #7036: Pull request #18142 opened by auduchinok
December 13, 2024 18:11 41s
December 13, 2024 18:11 41s
Merge main to release/dev17.13
Check release notes #7035: Pull request #18138 synchronize by T-Gro
December 13, 2024 17:21 47s
December 13, 2024 17:21 47s
Fix #17797 -- Realsig+ generates nested closures with incorrect Generic arguments
Check release notes #7034: Pull request #17877 synchronize by KevinRansom
December 13, 2024 16:00 44s
December 13, 2024 16:00 44s
Fix #17797 -- Realsig+ generates nested closures with incorrect Generic arguments
Check release notes #7033: Pull request #17877 synchronize by KevinRansom
December 13, 2024 15:07 1m 36s
December 13, 2024 15:07 1m 36s
Parallelize tests
Check release notes #7032: Pull request #17872 synchronize by majocha
December 13, 2024 14:22 46s
December 13, 2024 14:22 46s
Improved threadsafety for FileIndexTable.FileToIndex
Check release notes #7031: Pull request #18137 synchronize by KevinRansom
December 13, 2024 13:51 45s
December 13, 2024 13:51 45s
Improved threadsafety for FileIndexTable.FileToIndex
Check release notes #7030: Pull request #18137 synchronize by KevinRansom
December 13, 2024 13:39 42s
December 13, 2024 13:39 42s
Improved threadsafety for FileIndexTable.FileToIndex
Check release notes #7029: Pull request #18137 labeled by KevinRansom
December 13, 2024 12:33 41s
December 13, 2024 12:33 41s
Merge main to release/dev17.13
Check release notes #7028: Pull request #18138 labeled by dotnet-bot
December 13, 2024 12:02 43s
December 13, 2024 12:02 43s
Merge main to release/dev17.13
Check release notes #7027: Pull request #18138 opened by dotnet-bot
December 13, 2024 12:02 50s
December 13, 2024 12:02 50s
Merge main to release/dev17.13
Check release notes #7026: Pull request #18138 labeled by dotnet-bot
December 13, 2024 12:02 42s
December 13, 2024 12:02 42s
Parallelize tests
Check release notes #7025: Pull request #17872 synchronize by psfinaki
December 13, 2024 11:09 41s
December 13, 2024 11:09 41s
Merge main to release/dev17.13
Check release notes #7024: Pull request #18133 synchronize by vzarytovskii
December 13, 2024 09:24 46s
December 13, 2024 09:24 46s
Improved threadsafety for FileIndexTable.FileToIndex
Check release notes #7023: Pull request #18137 synchronize by KevinRansom
December 13, 2024 08:19 40s
December 13, 2024 08:19 40s
Improved threadsafety for FileIndexTable.FileToIndex
Check release notes #7022: Pull request #18137 opened by KevinRansom
December 13, 2024 07:58 45s
December 13, 2024 07:58 45s
Fix build script breaking when current directory contains spaces
Check release notes #7021: Pull request #18136 opened by jwosty
December 13, 2024 07:28 39s
December 13, 2024 07:28 39s
Merge main to release/dev17.13
Check release notes #7020: Pull request #18133 labeled by dotnet-bot
December 12, 2024 18:03 41s
December 12, 2024 18:03 41s
Merge main to release/dev17.13
Check release notes #7019: Pull request #18133 labeled by dotnet-bot
December 12, 2024 18:03 44s
December 12, 2024 18:03 44s