Skip to content

Actions: FStarLang/fstar-vscode-assistant

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
122 workflow runs
122 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bundle using rollup. build #48: Commit 7c70d57 pushed by gebner
May 8, 2024 22:12 50s rollup
rollup
May 8, 2024 22:12 50s
Bundle using rollup. build #47: Commit ebfc10f pushed by gebner
May 8, 2024 22:12 42s rollup
rollup
May 8, 2024 22:12 42s
0.9.2 build #46: Commit ae68d78 pushed by gebner
May 8, 2024 18:45 42s main
main
May 8, 2024 18:45 42s
0.9.2 build #45: Commit ae68d78 pushed by gebner
May 8, 2024 18:45 55s v0.9.2
v0.9.2
May 8, 2024 18:45 55s
Merge pull request #40 from amosr/amos/paths build #44: Commit 8a27799 pushed by gebner
May 8, 2024 18:44 41s main
main
May 8, 2024 18:44 41s
Fix relative paths in .fst.config.json fstar exe build #43: Pull request #40 synchronize by amosr
May 6, 2024 00:47 42s amosr:amos/paths
amosr:amos/paths
May 6, 2024 00:47 42s
Fix relative paths in .fst.config.json fstar exe build #41: Pull request #40 opened by amosr
May 3, 2024 06:58 49s amosr:amos/paths
amosr:amos/paths
May 3, 2024 06:58 49s
Use standard LSP requests. build #40: Commit 53152d4 pushed by gebner
April 30, 2024 23:53 39s standardlsp
standardlsp
April 30, 2024 23:53 39s
Use standard LSP requests. build #39: Commit 2a618cc pushed by gebner
April 30, 2024 22:55 40s standardlsp
standardlsp
April 30, 2024 22:55 40s
Use standard LSP requests. build #38: Commit 7dbd9f6 pushed by gebner
April 30, 2024 22:14 39s standardlsp
standardlsp
April 30, 2024 22:14 39s
Use standard LSP requests. build #37: Commit 62756f4 pushed by gebner
April 30, 2024 21:14 43s standardlsp
standardlsp
April 30, 2024 21:14 43s
Use standard LSP requests. build #36: Commit 192a9a6 pushed by gebner
April 30, 2024 20:35 57s standardlsp
standardlsp
April 30, 2024 20:35 57s
Use standard LSP requests. build #35: Commit 4334b6c pushed by gebner
April 30, 2024 20:32 40s standardlsp
standardlsp
April 30, 2024 20:32 40s
Use standard LSP requests. build #34: Commit cab3d6f pushed by gebner
April 30, 2024 20:30 45s standardlsp
standardlsp
April 30, 2024 20:30 45s
Use standard LSP requests. build #33: Commit f9e8c99 pushed by gebner
April 30, 2024 01:51 43s standardlsp
standardlsp
April 30, 2024 01:51 43s
wip build #32: Commit cf75b7a pushed by gebner
April 29, 2024 19:52 39s standardlsp
standardlsp
April 29, 2024 19:52 39s
wip build #31: Commit c14b59b pushed by gebner
April 29, 2024 19:47 45s standardlsp
standardlsp
April 29, 2024 19:47 45s
wip build #30: Commit f6e99fc pushed by gebner
April 27, 2024 01:13 44s standardlsp
standardlsp
April 27, 2024 01:13 44s
0.9.1 build #29: Commit 3fdf711 pushed by gebner
April 26, 2024 23:09 39s main
main
April 26, 2024 23:09 39s
0.9.1 build #28: Commit 3fdf711 pushed by gebner
April 26, 2024 23:09 53s v0.9.1
v0.9.1
April 26, 2024 23:09 53s
Correctly handle responses to requests before a FBQ. build #27: Commit 8ed954e pushed by gebner
April 26, 2024 22:52 40s main
main
April 26, 2024 22:52 40s
Remove outdated documentation. build #26: Commit 5d66cf3 pushed by gebner
April 26, 2024 22:14 43s main
main
April 26, 2024 22:14 43s
Update dependencies. build #25: Commit fc13010 pushed by gebner
April 26, 2024 22:06 40s main
main
April 26, 2024 22:06 40s
0.9.0 build #24: Commit c71d8c4 pushed by gebner
April 26, 2024 17:49 40s main
main
April 26, 2024 17:49 40s
0.9.0 build #23: Commit c71d8c4 pushed by gebner
April 26, 2024 17:49 53s v0.9.0
v0.9.0
April 26, 2024 17:49 53s