Skip to content

Actions: FStarLang/fstar-vscode-assistant

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
131 workflow runs
131 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

0.17.1 build #132: Commit 1d8c67e pushed by gebner
February 7, 2025 00:25 37s main
main
February 7, 2025 00:25 37s
0.17.1 build #131: Commit 1d8c67e pushed by gebner
February 7, 2025 00:25 1m 24s v0.17.1
v0.17.1
February 7, 2025 00:25 1m 24s
0.17.0 build #130: Commit a506dc6 pushed by nikswamy
February 4, 2025 22:51 1m 15s v0.17.0
v0.17.0
February 4, 2025 22:51 1m 15s
0.17.0 build #129: Commit a506dc6 pushed by nikswamy
February 4, 2025 22:51 37s main
main
February 4, 2025 22:51 37s
Merge pull request #51 from FStarLang/_nik_filter_dummy_ranges_before… build #128: Commit 0873345 pushed by nikswamy
February 4, 2025 22:50 38s main
main
February 4, 2025 22:50 38s
Filter dummy ranges before qualifyFilename build #127: Pull request #51 opened by nikswamy
February 4, 2025 05:00 35s _nik_filter_dummy_ranges_before_qualifyFilename
_nik_filter_dummy_ranges_before_qualifyFilename
February 4, 2025 05:00 35s
filter dummy ranges before qualifyFilename (as reported on Zulip by A… build #126: Commit 4c66ceb pushed by nikswamy
February 4, 2025 04:59 39s _nik_filter_dummy_ranges_before_qualifyFilename
_nik_filter_dummy_ranges_before_qualifyFilename
February 4, 2025 04:59 39s
Revise include path build #125: Pull request #50 opened by nikswamy
January 27, 2025 18:37 39s nik_add_dirname_filepath_to_include
nik_add_dirname_filepath_to_include
January 27, 2025 18:37 39s
If the include_dirs is empty, then add the directory of the file to t… build #124: Commit 1eb8fae pushed by nikswamy
January 27, 2025 18:34 37s nik_add_dirname_filepath_to_include
nik_add_dirname_filepath_to_include
January 27, 2025 18:34 37s
0.16.0 build #123: Commit e21f719 pushed by gebner
January 15, 2025 18:27 1m 37s v0.16.0
v0.16.0
January 15, 2025 18:27 1m 37s
0.16.0 build #122: Commit e21f719 pushed by gebner
January 15, 2025 18:27 37s main
main
January 15, 2025 18:27 37s
Resolve symlinks in go-to-definition. build #121: Commit 39eb62f pushed by gebner
January 15, 2025 18:20 46s main
main
January 15, 2025 18:20 46s
0.15.2 build #120: Commit 8469664 pushed by gebner
December 27, 2024 00:11 1m 6s v0.15.2
v0.15.2
December 27, 2024 00:11 1m 6s
0.15.2 build #119: Commit 8469664 pushed by gebner
December 27, 2024 00:11 37s main
main
December 27, 2024 00:11 37s
Merge pull request #49 from mtzguido/lax build #118: Commit 8bf1768 pushed by gebner
December 27, 2024 00:10 40s main
main
December 27, 2024 00:10 40s
Also use custom editor for .checked.lax files build #117: Pull request #49 opened by mtzguido
December 26, 2024 22:28 37s mtzguido:lax
mtzguido:lax
December 26, 2024 22:28 37s
0.15.1 build #116: Commit be071b0 pushed by gebner
October 16, 2024 22:29 1m 8s v0.15.1
v0.15.1
October 16, 2024 22:29 1m 8s
0.15.1 build #115: Commit be071b0 pushed by gebner
October 16, 2024 22:29 36s main
main
October 16, 2024 22:29 36s
Correctly highlight assume. build #114: Commit 7733053 pushed by gebner
October 16, 2024 22:29 37s main
main
October 16, 2024 22:29 37s
0.15.0 build #113: Commit 087a341 pushed by gebner
October 15, 2024 01:04 39s main
main
October 15, 2024 01:04 39s
0.15.0 build #112: Commit 087a341 pushed by gebner
October 15, 2024 01:04 1m 26s v0.15.0
v0.15.0
October 15, 2024 01:04 1m 26s
Fix linting. build #111: Commit 95a58d0 pushed by gebner
October 15, 2024 00:56 45s main
main
October 15, 2024 00:56 45s
Highlight admit/assume. build #110: Commit 40b9b11 pushed by gebner
October 15, 2024 00:51 32s main
main
October 15, 2024 00:51 32s
Format asyncly. build #109: Commit 3416c17 pushed by gebner
October 15, 2024 00:44 38s main
main
October 15, 2024 00:44 38s
0.14.0 build #108: Commit e9b4511 pushed by gebner
October 11, 2024 22:06 49s main
main
October 11, 2024 22:06 49s