Skip to content

Actions: kant2002/FStar

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4 workflow runs
4 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'master' into kant/version-ufslib Build and test FStar #63: Commit 2a8d24e pushed by kant2002
October 2, 2024 13:39 1d 18h 46m 2s kant/version-ufslib
kant/version-ufslib
October 2, 2024 13:39 1d 18h 46m 2s
Improve publishing Nuget properties Build and test FStar #62: Commit 39b83dc pushed by mtzguido
September 30, 2024 21:34 1d 10h 51m 28s kant/ulibfs-nuget
kant/ulibfs-nuget
September 30, 2024 21:34 1d 10h 51m 28s
Improve publishing Nuget properties Build and test FStar #61: Commit ec89d00 pushed by kant2002
September 17, 2024 19:34 1d 12h 51m 31s kant/ulibfs-nuget
kant/ulibfs-nuget
September 17, 2024 19:34 1d 12h 51m 31s
Merge branch 'master' into patch-7 Build and test FStar #60: Commit 3a1df2d pushed by kant2002
August 9, 2024 10:50 1d 21h 35m 7s patch-7
patch-7
August 9, 2024 10:50 1d 21h 35m 7s