Skip to content

Actions: ProVerif/vscode-proverif-language-service

Actions

Build, Lint, Test and possibly release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
This scheduled workflow is disabled because there hasn't been activity in this repository for at least 60 days. Enable this workflow to resume scheduled runs.
126 workflow runs
126 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build, Lint, Test and possibly release Build, Lint, Test and possibly release #126: Scheduled
June 9, 2024 01:23 32s main
main
June 9, 2024 01:23 32s
Build, Lint, Test and possibly release Build, Lint, Test and possibly release #125: Scheduled
June 2, 2024 01:21 35s main
main
June 2, 2024 01:21 35s
Build, Lint, Test and possibly release Build, Lint, Test and possibly release #124: Scheduled
May 26, 2024 01:20 35s main
main
May 26, 2024 01:20 35s
Build, Lint, Test and possibly release Build, Lint, Test and possibly release #123: Scheduled
May 19, 2024 01:19 32s main
main
May 19, 2024 01:19 32s
Build, Lint, Test and possibly release Build, Lint, Test and possibly release #122: Scheduled
May 12, 2024 01:20 34s main
main
May 12, 2024 01:20 34s
Build, Lint, Test and possibly release Build, Lint, Test and possibly release #121: Scheduled
May 5, 2024 01:17 30s main
main
May 5, 2024 01:17 30s
Build, Lint, Test and possibly release Build, Lint, Test and possibly release #120: Scheduled
April 28, 2024 01:17 35s main
main
April 28, 2024 01:17 35s
Build, Lint, Test and possibly release Build, Lint, Test and possibly release #119: Scheduled
April 21, 2024 01:16 30s main
main
April 21, 2024 01:16 30s
Build, Lint, Test and possibly release Build, Lint, Test and possibly release #118: Scheduled
April 14, 2024 01:44 33s main
main
April 14, 2024 01:44 33s
Build, Lint, Test and possibly release Build, Lint, Test and possibly release #117: Scheduled
April 7, 2024 01:16 37s main
main
April 7, 2024 01:16 37s
v1.6.4 Build, Lint, Test and possibly release #116: Release v1.6.4 published by famoser
April 6, 2024 13:22 36s
April 6, 2024 13:22 36s
release: Release v1.6.4 Build, Lint, Test and possibly release #115: Commit 1f65769 pushed by famoser
April 6, 2024 13:20 33s main
main
April 6, 2024 13:20 33s
Build, Lint, Test and possibly release Build, Lint, Test and possibly release #114: Scheduled
March 31, 2024 01:16 29s main
main
March 31, 2024 01:16 29s
feat: Improve macro resolution Build, Lint, Test and possibly release #113: Commit 8bab662 pushed by famoser
March 25, 2024 14:52 33s main
main
March 25, 2024 14:52 33s
Rework symbol table Build, Lint, Test and possibly release #112: Pull request #27 synchronize by famoser
March 25, 2024 14:51 31s support-new-declaration
support-new-declaration
March 25, 2024 14:51 31s
feat: Improve macro resolution Build, Lint, Test and possibly release #111: Commit 28d34a7 pushed by famoser
March 25, 2024 14:51 36s support-new-declaration
support-new-declaration
March 25, 2024 14:51 36s
Rework symbol table Build, Lint, Test and possibly release #110: Pull request #27 synchronize by famoser
March 25, 2024 06:42 23s support-new-declaration
support-new-declaration
March 25, 2024 06:42 23s
refactor: Avoid recursing twice Build, Lint, Test and possibly release #109: Commit 786b040 pushed by famoser
March 25, 2024 06:42 22s support-new-declaration
support-new-declaration
March 25, 2024 06:42 22s
Rework symbol table Build, Lint, Test and possibly release #108: Pull request #27 synchronize by famoser
March 24, 2024 10:00 31s support-new-declaration
support-new-declaration
March 24, 2024 10:00 31s
fix: Fix linter issues Build, Lint, Test and possibly release #107: Commit b7b6de1 pushed by famoser
March 24, 2024 10:00 31s support-new-declaration
support-new-declaration
March 24, 2024 10:00 31s
Rework symbol table Build, Lint, Test and possibly release #106: Pull request #27 opened by famoser
March 24, 2024 09:58 20s support-new-declaration
support-new-declaration
March 24, 2024 09:58 20s
docs: Document progress Build, Lint, Test and possibly release #105: Commit fbaa870 pushed by famoser
March 24, 2024 09:58 22s support-new-declaration
support-new-declaration
March 24, 2024 09:58 22s
feat: Improve macro support, support in-lib declarations Build, Lint, Test and possibly release #104: Commit c1240b7 pushed by famoser
March 24, 2024 09:55 23s support-new-declaration
support-new-declaration
March 24, 2024 09:55 23s
feat: Consider clauses Build, Lint, Test and possibly release #103: Commit 1a4d218 pushed by famoser
March 24, 2024 09:21 21s support-new-declaration
support-new-declaration
March 24, 2024 09:21 21s
Build, Lint, Test and possibly release Build, Lint, Test and possibly release #102: Scheduled
March 24, 2024 01:15 25s main
main
March 24, 2024 01:15 25s