Skip to content

Actions: FStarLang/fstar-vscode-assistant

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
122 workflow runs
122 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
0.14.0 build #107: Commit e9b4511 pushed by gebner
October 11, 2024 22:06 1m 38s v0.14.0
v0.14.0
October 11, 2024 22:06 1m 38s
0.13.0 build #106: Commit 94a42f9 pushed by gebner
October 11, 2024 20:24 39s main
main
October 11, 2024 20:24 39s
0.13.0 build #105: Commit 94a42f9 pushed by gebner
October 11, 2024 20:24 2m 19s v0.13.0
v0.13.0
October 11, 2024 20:24 2m 19s
0.12.0 build #104: Commit 3276b98 pushed by gebner
August 22, 2024 17:29 1m 25s v0.12.0
v0.12.0
August 22, 2024 17:29 1m 25s
0.12.0 build #103: Commit 3276b98 pushed by gebner
August 22, 2024 17:28 50s main
main
August 22, 2024 17:28 50s
Oops, forgot to send notification. build #102: Commit f0984c9 pushed by gebner
July 17, 2024 23:19 38s user_study
user_study
July 17, 2024 23:19 38s
MVP build #101: Commit 9b9f670 pushed by gebner
July 17, 2024 22:40 37s user_study
user_study
July 17, 2024 22:40 37s
0.11.0 build #100: Commit 0c63f43 pushed by gebner
July 1, 2024 18:25 47s main
main
July 1, 2024 18:25 47s
0.11.0 build #99: Commit 0c63f43 pushed by gebner
July 1, 2024 18:25 1m 17s v0.11.0
v0.11.0
July 1, 2024 18:25 1m 17s