Skip to content

Actions: ProVerif/vscode-proverif-language-service

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
207 workflow runs
207 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: Extend lexer tokens Build, Lint and Test #32: Pull request #7 synchronize by famoser
September 1, 2023 18:42 43s extend-grammar
extend-grammar
September 1, 2023 18:42 43s
feat: Regenerate parser & lexer based on new spec Build, Lint and Test #31: Commit dde518c pushed by famoser
September 1, 2023 18:42 41s extend-grammar
extend-grammar
September 1, 2023 18:42 41s
feat: Extend lexer tokens Build, Lint and Test #30: Pull request #7 synchronize by famoser
August 30, 2023 17:37 47s extend-grammar
extend-grammar
August 30, 2023 17:37 47s
fix: Avoid using antlr reserved keywords Build, Lint and Test #29: Commit 45355af pushed by famoser
August 30, 2023 17:37 54s extend-grammar
extend-grammar
August 30, 2023 17:37 54s
feat: Extend lexer tokens Build, Lint and Test #28: Pull request #7 synchronize by famoser
August 30, 2023 12:06 36s extend-grammar
extend-grammar
August 30, 2023 12:06 36s
fix: Ensure lexer defines all symbols Build, Lint and Test #27: Commit c804b4f pushed by famoser
August 30, 2023 12:06 32s extend-grammar
extend-grammar
August 30, 2023 12:06 32s
feat: Extend lexer tokens Build, Lint and Test #26: Pull request #7 synchronize by famoser
August 30, 2023 07:00 31s extend-grammar
extend-grammar
August 30, 2023 07:00 31s
fix: Ensure {} brackets are respected Build, Lint and Test #25: Commit 99f1471 pushed by famoser
August 30, 2023 07:00 37s extend-grammar
extend-grammar
August 30, 2023 07:00 37s
feat: Extend lexer tokens Build, Lint and Test #24: Pull request #7 opened by famoser
August 29, 2023 06:08 31s extend-grammar
extend-grammar
August 29, 2023 06:08 31s
feat: Extend lexer tokens Build, Lint and Test #23: Commit 525db9c pushed by famoser
August 29, 2023 06:00 43s extend-grammar
extend-grammar
August 29, 2023 06:00 43s
release: Bump versions Build, Lint and Test #22: Commit d0a5ec5 pushed by famoser
August 27, 2023 16:17 34s main
main
August 27, 2023 16:17 34s
Update CONTRIBUTE.md Build, Lint and Test #21: Commit 5e2c8eb pushed by famoser
August 27, 2023 16:12 29s main
main
August 27, 2023 16:12 29s
release: Clean up comments, imports & license situation Build, Lint and Test #20: Commit b85004f pushed by famoser
August 27, 2023 16:10 38s main
main
August 27, 2023 16:10 38s
Add grammar Build, Lint and Test #19: Pull request #6 synchronize by famoser
August 27, 2023 16:09 28s add-grammar
add-grammar
August 27, 2023 16:09 28s
release: Clean up comments, imports & license situation Build, Lint and Test #18: Commit 19d114e pushed by famoser
August 27, 2023 16:09 34s add-grammar
add-grammar
August 27, 2023 16:09 34s
Add grammar Build, Lint and Test #17: Pull request #6 synchronize by famoser
August 27, 2023 15:47 35s add-grammar
add-grammar
August 27, 2023 15:47 35s
release: Disable for now until more refined Build, Lint and Test #16: Commit 1e45493 pushed by famoser
August 27, 2023 15:47 36s add-grammar
add-grammar
August 27, 2023 15:47 36s
Add grammar Build, Lint and Test #15: Pull request #6 synchronize by famoser
August 27, 2023 15:22 28s add-grammar
add-grammar
August 27, 2023 15:22 28s
test: Test go to definition of variable Build, Lint and Test #14: Commit 5f5665f pushed by famoser
August 27, 2023 15:22 33s add-grammar
add-grammar
August 27, 2023 15:22 33s
Add grammar Build, Lint and Test #13: Pull request #6 synchronize by famoser
August 27, 2023 10:25 29s add-grammar
add-grammar
August 27, 2023 10:25 29s
fix: Filter messages earlier to prevent unwanted error messages to sh… Build, Lint and Test #12: Commit 1e01ebe pushed by famoser
August 27, 2023 10:25 37s add-grammar
add-grammar
August 27, 2023 10:25 37s
Add grammar Build, Lint and Test #11: Pull request #6 synchronize by famoser
August 26, 2023 16:52 34s add-grammar
add-grammar
August 26, 2023 16:52 34s
fix: Exclude generated parser from typechecks Build, Lint and Test #10: Commit 3da601a pushed by famoser
August 26, 2023 16:52 28s add-grammar
add-grammar
August 26, 2023 16:52 28s
Add grammar Build, Lint and Test #9: Pull request #6 synchronize by famoser
August 26, 2023 16:51 25s add-grammar
add-grammar
August 26, 2023 16:51 25s
refactor: Move grammar generation Build, Lint and Test #8: Commit 2370303 pushed by famoser
August 26, 2023 16:51 21s add-grammar
add-grammar
August 26, 2023 16:51 21s