Skip to content

Actions: kant2002/FStarMSBuildSdk

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
48 workflow runs
48 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Run Build and Package
Run Build and Package #48: Scheduled
November 10, 2024 01:20 2m 4s main
November 10, 2024 01:20 2m 4s
Run Build and Package
Run Build and Package #47: Scheduled
November 3, 2024 01:21 1m 38s main
November 3, 2024 01:21 1m 38s
Run Build and Package
Run Build and Package #46: Scheduled
October 27, 2024 01:22 1m 50s main
October 27, 2024 01:22 1m 50s
Run Build and Package
Run Build and Package #45: Scheduled
October 20, 2024 01:22 1m 39s main
October 20, 2024 01:22 1m 39s
Run Build and Package
Run Build and Package #44: Scheduled
October 13, 2024 01:21 1m 45s main
October 13, 2024 01:21 1m 45s
Run Build and Package
Run Build and Package #43: Scheduled
October 6, 2024 01:21 1m 46s main
October 6, 2024 01:21 1m 46s
Run Build and Package
Run Build and Package #42: Scheduled
September 29, 2024 01:22 1m 38s main
September 29, 2024 01:22 1m 38s
Run Build and Package
Run Build and Package #41: Scheduled
September 22, 2024 01:20 1m 38s main
September 22, 2024 01:20 1m 38s
Run Build and Package
Run Build and Package #40: Scheduled
September 15, 2024 01:20 1m 44s main
September 15, 2024 01:20 1m 44s
Release compiler 2024.08.14
Run Build and Package #39: Commit 675648e pushed by kant2002
September 10, 2024 02:31 1m 38s main
September 10, 2024 02:31 1m 38s
Run Build and Package
Run Build and Package #38: Scheduled
September 8, 2024 01:17 3m 31s main
September 8, 2024 01:17 3m 31s
Record updated instructions to publish
Run Build and Package #37: Commit f8b4a4b pushed by kant2002
September 4, 2024 02:12 3m 45s main
September 4, 2024 02:12 3m 45s
github_actions in for actions/download-artifact - Update #878918659
Dependabot Updates #1: by dependabot bot
September 3, 2024 22:57 44s main
September 3, 2024 22:57 44s
Run Build and Package
Run Build and Package #35: Scheduled
September 1, 2024 01:22 3m 38s main
September 1, 2024 01:22 3m 38s
Run Build and Package
Run Build and Package #34: Scheduled
August 25, 2024 01:14 3m 40s main
August 25, 2024 01:14 3m 40s
Run Build and Package
Run Build and Package #33: Scheduled
August 18, 2024 01:13 4m 25s main
August 18, 2024 01:13 4m 25s
Run Build and Package
Run Build and Package #32: Scheduled
August 11, 2024 01:14 3m 49s main
August 11, 2024 01:14 3m 49s
Update template for the F* project
Run Build and Package #31: Commit 86dd738 pushed by kant2002
August 6, 2024 21:51 3m 40s main
August 6, 2024 21:51 3m 40s
Change naming convention for the packages to be able publish on Nuget
Run Build and Package #30: Commit 27b6e25 pushed by kant2002
August 6, 2024 21:31 3m 46s main
August 6, 2024 21:31 3m 46s
Explicitly list nuget artifacts source to publish to
Run Build and Package #29: Commit 44778d1 pushed by kant2002
August 6, 2024 20:34 3m 38s main
August 6, 2024 20:34 3m 38s
Split build and publish and publish artifacts also
Run Build and Package #28: Commit c82b96d pushed by kant2002
August 6, 2024 20:30 3m 23s main
August 6, 2024 20:30 3m 23s
One more attempt
Run Build and Package #27: Commit 5f30b6f pushed by kant2002
August 6, 2024 19:55 2m 18s main
August 6, 2024 19:55 2m 18s
Update command for pushing
Run Build and Package #26: Commit f5c1912 pushed by kant2002
August 6, 2024 19:50 2m 26s main
August 6, 2024 19:50 2m 26s
Add ability to push via manual run
Run Build and Package #25: Commit 1ffcbf9 pushed by kant2002
August 6, 2024 19:39 2m 8s main
August 6, 2024 19:39 2m 8s