Skip to content

Actions: viperproject/prusti-assistant

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
145 workflow runs
145 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update VS Code to 1.93.1 Test and publish #798: Pull request #259 synchronize by viper-admin
October 1, 2024 07:05 11m 26s auto-update-vscode
auto-update-vscode
October 1, 2024 07:05 11m 26s
Update VS Code Update VS Code #75: Scheduled
October 1, 2024 07:05 14s master
master
October 1, 2024 07:05 14s
Update VS Code to 1.93.1 Test and publish #797: Pull request #259 synchronize by viper-admin
September 1, 2024 07:04 11m 7s auto-update-vscode
auto-update-vscode
September 1, 2024 07:04 11m 7s
Update VS Code Update VS Code #74: Scheduled
September 1, 2024 07:04 18s master
master
September 1, 2024 07:04 18s
Update VS Code to 1.93.1 Test and publish #796: Pull request #259 synchronize by viper-admin
August 1, 2024 07:05 11m 11s auto-update-vscode
auto-update-vscode
August 1, 2024 07:05 11m 11s
Update VS Code Update VS Code #73: Scheduled
August 1, 2024 07:04 18s master
master
August 1, 2024 07:04 18s
Update VS Code to 1.93.1 Test and publish #795: Pull request #259 synchronize by viper-admin
July 1, 2024 07:05 11m 19s auto-update-vscode
auto-update-vscode
July 1, 2024 07:05 11m 19s
Update VS Code Update VS Code #72: Scheduled
July 1, 2024 07:05 25s master
master
July 1, 2024 07:05 25s
Bump the all group across 1 directory with 15 updates Test and publish #794: Pull request #261 opened by dependabot bot
July 1, 2024 05:33 1m 0s dependabot/npm_and_yarn/all-119afed683
dependabot/npm_and_yarn/all-119afed683
July 1, 2024 05:33 1m 0s
Update VS Code to 1.93.1 Test and publish #793: Pull request #259 synchronize by viper-admin
June 1, 2024 07:05 11m 15s auto-update-vscode
auto-update-vscode
June 1, 2024 07:05 11m 15s
Update VS Code Update VS Code #71: Scheduled
June 1, 2024 07:04 18s master
master
June 1, 2024 07:04 18s
Bump the all group across 1 directory with 11 updates Test and publish #792: Pull request #260 opened by dependabot bot
June 1, 2024 05:07 1m 3s dependabot/npm_and_yarn/all-f92a1552ca
dependabot/npm_and_yarn/all-f92a1552ca
June 1, 2024 05:07 1m 3s
Update VS Code to 1.93.1 Test and publish #791: Pull request #259 opened by viper-admin
May 1, 2024 07:05 11m 6s auto-update-vscode
auto-update-vscode
May 1, 2024 07:05 11m 6s
Update VS Code Update VS Code #70: Scheduled
May 1, 2024 07:05 18s master
master
May 1, 2024 07:05 18s
Bump the all group with 7 updates Test and publish #790: Pull request #258 opened by dependabot bot
May 1, 2024 06:01 58s dependabot/npm_and_yarn/all-521b2ac7af
dependabot/npm_and_yarn/all-521b2ac7af
May 1, 2024 06:01 58s
Merge pull request #256 from viperproject/dependabot/npm_and_yarn/all… Test and publish #789: Commit f6cee5c pushed by fpoli
April 2, 2024 08:10 11m 19s master
master
April 2, 2024 08:10 11m 19s
Merge pull request #257 from viperproject/auto-update-vscode Test and publish #788: Commit b777bca pushed by fpoli
April 2, 2024 08:09 10m 44s master
master
April 2, 2024 08:09 10m 44s
Update VS Code to 1.87.2 Test and publish #787: Pull request #257 opened by viper-admin
April 1, 2024 07:05 14m 3s auto-update-vscode
auto-update-vscode
April 1, 2024 07:05 14m 3s
Update VS Code Update VS Code #69: Scheduled
April 1, 2024 07:04 13s master
master
April 1, 2024 07:04 13s
Bump the all group with 10 updates Test and publish #786: Pull request #256 opened by dependabot bot
April 1, 2024 05:45 9m 27s dependabot/npm_and_yarn/all-8cba063c5e
dependabot/npm_and_yarn/all-8cba063c5e
April 1, 2024 05:45 9m 27s
Merge pull request #255 from viperproject/auto-update-vscode Test and publish #785: Commit d73313d pushed by fpoli
March 1, 2024 10:32 9m 23s master
master
March 1, 2024 10:32 9m 23s
Merge pull request #254 from viperproject/dependabot/npm_and_yarn/all… Test and publish #784: Commit bd4659b pushed by fpoli
March 1, 2024 10:32 9m 18s master
master
March 1, 2024 10:32 9m 18s
Update VS Code to 1.87.0 Test and publish #783: Pull request #255 opened by viper-admin
March 1, 2024 07:04 9m 6s auto-update-vscode
auto-update-vscode
March 1, 2024 07:04 9m 6s
Update VS Code Update VS Code #68: Scheduled
March 1, 2024 07:04 14s master
master
March 1, 2024 07:04 14s
Bump the all group with 9 updates Test and publish #782: Pull request #254 opened by dependabot bot
March 1, 2024 05:16 9m 38s dependabot/npm_and_yarn/all-92c6021bfb
dependabot/npm_and_yarn/all-92c6021bfb
March 1, 2024 05:16 9m 38s