Skip to content

Actions: tornado80/easycrypt-vscode-ide

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
43 workflow runs
43 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Bump version to 0.2.5 Publish VSIX + Marketplace #20: Commit 8ff0270 pushed by tornado80
41s v0.2.5
v0.2.5
41s
Bump version to 0.2.5 CI #23: Commit 8ff0270 pushed by tornado80
21s main
main
21s
Implement (feat) stop on first error and organized tests CI #22: Commit cddae57 pushed by tornado80
17s main
main
17s
Bump version to 0.2.4 Publish VSIX + Marketplace #19: Commit 8976af5 pushed by tornado80
1m 17s v0.2.4
v0.2.4
1m 17s
Bump version to 0.2.4 CI #21: Commit 8976af5 pushed by tornado80
23s main
main
23s
Bump version to 0.2.3 Publish VSIX + Marketplace #18: Commit fb38399 pushed by tornado80
48s v0.2.3
v0.2.3
48s
Bump version to 0.2.3 CI #20: Commit fb38399 pushed by tornado80
19s main
main
19s
Implement adaptive layout scaling and zoom functionality for proof st… CI #19: Commit 8047ae2 pushed by tornado80
16s main
main
16s
Bump version to 0.2.2 Publish VSIX + Marketplace #17: Commit c757144 pushed by tornado80
45s v0.2.2
v0.2.2
45s
Bump version to 0.2.2 CI #18: Commit c757144 pushed by tornado80
16s main
main
16s
Bump version to 0.2.1 Publish VSIX + Marketplace #16: Commit b3c728c pushed by tornado80
48s v0.2.1
v0.2.1
48s
Bump version to 0.2.1 CI #17: Commit b3c728c pushed by tornado80
14s main
main
14s
Add support for lsp CI #16: Commit 778de06 pushed by tornado80
19s main
main
19s
Bump to version 0.2.0 CI #15: Commit ce6066e pushed by tornado80
16s main
main
16s
Publish VSIX + Marketplace Publish VSIX + Marketplace #15: by tornado80
43s v0.2.0
v0.2.0
43s
Update CI and publish workflows, README, and package files for Node.j… Publish VSIX + Marketplace #14: Commit 577c10b pushed by tornado80
33s v0.1.6
v0.1.6
33s
Update CI and publish workflows, README, and package files for Node.j… CI #14: Commit 577c10b pushed by tornado80
14s main
main
14s
Bump to version 0.1.5 Publish VSIX + Marketplace #13: Commit cc89406 pushed by tornado80
47s v0.1.5
v0.1.5
47s
Publish VSIX + Marketplace Publish VSIX + Marketplace #12: Manually run by tornado80
35s main
main
35s
Bump to version 0.1.5 CI #13: Commit cc89406 pushed by tornado80
15s main
main
15s
Implement per-file session isolation CI #12: Commit aacdaf4 pushed by tornado80
20s main
main
20s
Add support for module importing CI #11: Commit a5da828 pushed by tornado80
27s main
main
27s
Bump version to 0.1.4 Publish VSIX + Marketplace #11: Commit f688737 pushed by tornado80
30s v0.1.4
v0.1.4
30s
Bump version to 0.1.4 CI #10: Commit f688737 pushed by tornado80
19s main
main
19s
Bump version to v0.1.3 Publish VSIX + Marketplace #10: Commit cc30c6b pushed by tornado80
27s v0.1.3
v0.1.3
27s