Skip to content

Actions: kant2002/FStarMSBuildSdk

Actions

Run Build and Package

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
This scheduled workflow is disabled because there hasn't been activity in this repository for at least 60 days. Enable this workflow to resume scheduled runs.
47 workflow runs
47 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Run Build and Package Run Build and Package #23: Scheduled
February 4, 2024 00:56 2m 38s main
main
February 4, 2024 00:56 2m 38s
Run Build and Package Run Build and Package #22: Scheduled
January 28, 2024 00:55 2m 18s main
main
January 28, 2024 00:55 2m 18s
Run Build and Package Run Build and Package #21: Scheduled
January 21, 2024 01:01 2m 20s main
main
January 21, 2024 01:01 2m 20s
Run Build and Package Run Build and Package #20: Scheduled
January 14, 2024 01:00 2m 19s main
main
January 14, 2024 01:00 2m 19s
Run Build and Package Run Build and Package #19: Scheduled
January 7, 2024 01:00 2m 14s main
main
January 7, 2024 01:00 2m 14s
Run Build and Package Run Build and Package #18: Scheduled
December 31, 2023 00:58 2m 22s main
main
December 31, 2023 00:58 2m 22s
Run Build and Package Run Build and Package #17: Scheduled
December 24, 2023 00:58 3m 8s main
main
December 24, 2023 00:58 3m 8s
Run Build and Package Run Build and Package #16: Scheduled
December 17, 2023 00:59 2m 17s main
main
December 17, 2023 00:59 2m 17s
Run Build and Package Run Build and Package #15: Scheduled
December 10, 2023 00:59 2m 21s main
main
December 10, 2023 00:59 2m 21s
Very strange workaround Run Build and Package #14: Commit 8740e6d pushed by kant2002
December 5, 2023 08:35 2m 9s main
main
December 5, 2023 08:35 2m 9s
Attempt to push again Run Build and Package #13: Commit c990e5f pushed by kant2002
December 5, 2023 08:30 2m 21s main
main
December 5, 2023 08:30 2m 21s
Attempt to push again Run Build and Package #11: Commit c990e5f pushed by kant2002
December 5, 2023 08:13 2m 21s main
main
December 5, 2023 08:13 2m 21s
Publish on CI Run Build and Package #10: Commit c4f8525 pushed by kant2002
December 5, 2023 08:04 2m 13s main
main
December 5, 2023 08:04 2m 13s
Attempt to use different id for the CI Run Build and Package #9: Commit dab5832 pushed by kant2002
December 5, 2023 07:46 2m 21s main
main
December 5, 2023 07:46 2m 21s
Add files for the osx Run Build and Package #8: Commit 9535854 pushed by kant2002
December 5, 2023 07:05 2m 19s main
main
December 5, 2023 07:05 2m 19s
Unlock osx-x64 Run Build and Package #7: Commit 3360d9a pushed by kant2002
December 5, 2023 06:33 1m 41s main
main
December 5, 2023 06:33 1m 41s
Fix path to new Windows artifacts Run Build and Package #6: Commit 6cd3738 pushed by kant2002
December 5, 2023 06:30 1m 33s main
main
December 5, 2023 06:30 1m 33s
Bump version of F* to pack Run Build and Package #5: Commit 4e6268c pushed by kant2002
December 5, 2023 06:22 25s main
main
December 5, 2023 06:22 25s
Fix unpack on linux Run Build and Package #4: Commit 74a8f14 pushed by kant2002
December 5, 2023 06:11 1m 42s main
main
December 5, 2023 06:11 1m 42s
Attempt to normalize path Run Build and Package #3: Commit 144daae pushed by kant2002
December 5, 2023 06:08 56s main
main
December 5, 2023 06:08 56s
Disable output artifacts and use artifacts layout Run Build and Package #2: Commit 6b52b13 pushed by kant2002
December 5, 2023 05:46 58s main
main
December 5, 2023 05:46 58s
Fix path to CI build Run Build and Package #1: Commit d313509 pushed by kant2002
December 5, 2023 04:39 14s main
main
December 5, 2023 04:39 14s