Skip to content

Actions: viperproject/prusti-assistant

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
143 workflow runs
143 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update VS Code to 1.85.1 Test and publish #734: Pull request #245 opened by viper-admin
January 1, 2024 07:05 11m 16s auto-update-vscode
auto-update-vscode
January 1, 2024 07:05 11m 16s
Update VS Code Update VS Code #66: Scheduled
January 1, 2024 07:04 16s master
master
January 1, 2024 07:04 16s
Bump the all group with 9 updates Test and publish #733: Pull request #244 opened by dependabot bot
January 1, 2024 05:58 4m 19s dependabot/npm_and_yarn/all-f8145d5a16
dependabot/npm_and_yarn/all-f8145d5a16
January 1, 2024 05:58 4m 19s
Add suggestion to the readme Test and publish #732: Commit 006c197 pushed by fpoli
December 11, 2023 09:19 8m 35s master
master
December 11, 2023 09:19 8m 35s
Describe Prusti.toml in the readme Test and publish #731: Commit 0a69c1a pushed by fpoli
December 6, 2023 09:21 11m 0s master
master
December 6, 2023 09:21 11m 0s
Update VS Code to 1.84.2 (#243) Test and publish #730: Commit e821371 pushed by fpoli
December 1, 2023 11:30 10m 25s master
master
December 1, 2023 11:30 10m 25s
Update VS Code to 1.84.2 Test and publish #729: Pull request #243 opened by viper-admin
December 1, 2023 07:04 8m 6s auto-update-vscode
auto-update-vscode
December 1, 2023 07:04 8m 6s
Update VS Code Update VS Code #65: Scheduled
December 1, 2023 07:04 18s master
master
December 1, 2023 07:04 18s
Bump the all group with 14 updates (#242) Test and publish #728: Commit 3f615df pushed by fpoli
December 1, 2023 05:58 9m 1s master
master
December 1, 2023 05:58 9m 1s
Bump the all group with 14 updates Test and publish #727: Pull request #242 opened by dependabot bot
December 1, 2023 05:18 10m 13s dependabot/npm_and_yarn/all-62a0edce4b
dependabot/npm_and_yarn/all-62a0edce4b
December 1, 2023 05:18 10m 13s
Publish new version (#241) Test and publish #726: Commit 3f7d58c pushed by fpoli
November 8, 2023 14:57 10m 28s master
master
November 8, 2023 14:57 10m 28s
Publish new version Test and publish #725: Pull request #241 opened by fpoli
November 8, 2023 14:45 11m 23s fpoli-patch-1
fpoli-patch-1
November 8, 2023 14:45 11m 23s
Bump the all group with 17 updates (#238) Test and publish #724: Commit becd29b pushed by fpoli
November 1, 2023 10:52 11m 18s master
master
November 1, 2023 10:52 11m 18s
Bump the all group with 17 updates Test and publish #723: Pull request #238 synchronize by dependabot bot
November 1, 2023 10:33 14m 18s dependabot/npm_and_yarn/all-7f74cf2421
dependabot/npm_and_yarn/all-7f74cf2421
November 1, 2023 10:33 14m 18s
Use Node v18 and JDK v17 in CI (#240) Test and publish #722: Commit 3dfa771 pushed by fpoli
November 1, 2023 10:29 11m 53s master
master
November 1, 2023 10:29 11m 53s
Use Node v18 and JDK v17 in CI Test and publish #721: Pull request #240 synchronize by fpoli
November 1, 2023 10:17 11m 37s fpoli-patch-1
fpoli-patch-1
November 1, 2023 10:17 11m 37s
Use Node v18 and JDK v17 in CI Test and publish #720: Pull request #240 opened by fpoli
November 1, 2023 10:12 11m 55s fpoli-patch-1
fpoli-patch-1
November 1, 2023 10:12 11m 55s
Update VS Code to 1.83.1 (#239) Test and publish #719: Commit e9b368b pushed by fpoli
November 1, 2023 10:08 14m 55s master
master
November 1, 2023 10:08 14m 55s
Update VS Code to 1.83.1 Test and publish #718: Pull request #239 opened by viper-admin
November 1, 2023 07:05 11m 10s auto-update-vscode
auto-update-vscode
November 1, 2023 07:05 11m 10s
Update VS Code Update VS Code #64: Scheduled
November 1, 2023 07:04 22s master
master
November 1, 2023 07:04 22s
Bump the all group with 17 updates Test and publish #717: Pull request #238 opened by dependabot bot
November 1, 2023 05:29 14m 36s dependabot/npm_and_yarn/all-7f74cf2421
dependabot/npm_and_yarn/all-7f74cf2421
November 1, 2023 05:29 14m 36s
Bump webpack from 5.88.2 to 5.89.0 Test and publish #716: Pull request #237 opened by dependabot bot
November 1, 2023 05:26 14m 20s dependabot/npm_and_yarn/webpack-5.89.0
dependabot/npm_and_yarn/webpack-5.89.0
November 1, 2023 05:26 14m 20s
Bump eslint-plugin-import from 2.28.1 to 2.29.0 Test and publish #715: Pull request #236 opened by dependabot bot
November 1, 2023 05:25 10m 43s dependabot/npm_and_yarn/eslint-plugin-import-2.29.0
dependabot/npm_and_yarn/eslint-plugin-import-2.29.0
November 1, 2023 05:25 10m 43s
Bump the all group with 15 updates Test and publish #714: Pull request #235 synchronize by fpoli
October 9, 2023 09:42 14m 40s dependabot/npm_and_yarn/all-331a012405
dependabot/npm_and_yarn/all-331a012405
October 9, 2023 09:42 14m 40s
Bump the all group with 15 updates Test and publish #713: Pull request #235 opened by dependabot bot
October 9, 2023 09:11 14m 8s dependabot/npm_and_yarn/all-331a012405
dependabot/npm_and_yarn/all-331a012405
October 9, 2023 09:11 14m 8s