Skip to content

Actions: viperproject/prusti-assistant

Actions

Test and publish

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
128 workflow runs
128 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix error reporting Test and publish #774: Pull request #253 synchronize by fpoli
February 23, 2024 09:50 9m 31s fix-workspaces
fix-workspaces
February 23, 2024 09:50 9m 31s
Fix error reporting Test and publish #773: Pull request #253 synchronize by fpoli
February 23, 2024 09:36 9m 47s fix-workspaces
fix-workspaces
February 23, 2024 09:36 9m 47s
Fix error reporting Test and publish #772: Pull request #253 synchronize by fpoli
February 23, 2024 09:25 10m 13s fix-workspaces
fix-workspaces
February 23, 2024 09:25 10m 13s
Fix error reporting Test and publish #771: Pull request #253 synchronize by fpoli
February 23, 2024 09:22 6m 57s fix-workspaces
fix-workspaces
February 23, 2024 09:22 6m 57s
Fix error reporting Test and publish #770: Pull request #253 synchronize by fpoli
February 23, 2024 09:09 6m 56s fix-workspaces
fix-workspaces
February 23, 2024 09:09 6m 56s
Fix error reporting Test and publish #769: Pull request #253 synchronize by fpoli
February 23, 2024 08:54 8m 34s fix-workspaces
fix-workspaces
February 23, 2024 08:54 8m 34s
Fix error reporting Test and publish #768: Pull request #253 synchronize by fpoli
February 23, 2024 08:43 11m 24s fix-workspaces
fix-workspaces
February 23, 2024 08:43 11m 24s
Fix error reporting Test and publish #767: Pull request #253 synchronize by fpoli
February 23, 2024 08:25 9m 0s fix-workspaces
fix-workspaces
February 23, 2024 08:25 9m 0s
Fix error reporting Test and publish #766: Pull request #253 synchronize by fpoli
February 22, 2024 16:01 11m 42s fix-workspaces
fix-workspaces
February 22, 2024 16:01 11m 42s
Fix error reporting Test and publish #765: Pull request #253 synchronize by fpoli
February 22, 2024 15:50 6m 57s fix-workspaces
fix-workspaces
February 22, 2024 15:50 6m 57s
Fix error reporting Test and publish #764: Pull request #253 synchronize by fpoli
February 22, 2024 15:48 3m 46s fix-workspaces
fix-workspaces
February 22, 2024 15:48 3m 46s
Fix error reporting Test and publish #763: Pull request #253 opened by fpoli
February 22, 2024 15:47 3m 6s fix-workspaces
fix-workspaces
February 22, 2024 15:47 3m 6s
Merge pull request #251 from zgrannan/zgrannan/more-permissive-tool-s… Test and publish #762: Commit e990a88 pushed by zgrannan
February 2, 2024 17:46 9m 25s master
master
February 2, 2024 17:46 9m 25s
Look in more places for rust-toolchain and viper_tools Test and publish #761: Pull request #251 opened by zgrannan
February 1, 2024 22:27 10m 10s zgrannan:zgrannan/more-permissive-tool-search
zgrannan:zgrannan/more-permissive-tool-search
February 1, 2024 22:27 10m 10s
Update codecov action Test and publish #760: Commit a3f9757 pushed by fpoli
February 1, 2024 12:17 12m 34s master
master
February 1, 2024 12:17 12m 34s
Bump the all group with 2 updates (#249) Test and publish #759: Commit 8fe124e pushed by fpoli
February 1, 2024 11:18 11m 6s master
master
February 1, 2024 11:18 11m 6s
Bump chai from 4.4.1 to 5.0.3 Test and publish #758: Pull request #250 opened by dependabot bot
February 1, 2024 11:09 7m 3s dependabot/npm_and_yarn/chai-5.0.3
dependabot/npm_and_yarn/chai-5.0.3
February 1, 2024 11:09 7m 3s
Bump the all group with 2 updates Test and publish #757: Pull request #249 opened by dependabot bot
February 1, 2024 11:09 8m 55s dependabot/npm_and_yarn/all-1b917c2611
dependabot/npm_and_yarn/all-1b917c2611
February 1, 2024 11:09 8m 55s
Bump version Test and publish #756: Commit 6bc1039 pushed by fpoli
February 1, 2024 11:09 9m 22s master
master
February 1, 2024 11:09 9m 22s
Replace deprecated workflow action Test and publish #755: Commit bd0da05 pushed by fpoli
February 1, 2024 11:08 10m 14s master
master
February 1, 2024 11:08 10m 14s
Merge pull request #247 from viperproject/dependabot/npm_and_yarn/all… Test and publish #754: Commit e9dd7c9 pushed by fpoli
February 1, 2024 11:06 10m 13s master
master
February 1, 2024 11:06 10m 13s
Bump the all group with 7 updates Test and publish #753: Pull request #247 synchronize by fpoli
February 1, 2024 10:55 10m 39s dependabot/npm_and_yarn/all-dff4d2fd48
dependabot/npm_and_yarn/all-dff4d2fd48
February 1, 2024 10:55 10m 39s
Bump the all group with 7 updates Test and publish #752: Pull request #247 synchronize by fpoli
February 1, 2024 10:45 1m 0s dependabot/npm_and_yarn/all-dff4d2fd48
dependabot/npm_and_yarn/all-dff4d2fd48
February 1, 2024 10:45 1m 0s
Bump the all group with 7 updates Test and publish #751: Pull request #247 synchronize by fpoli
February 1, 2024 10:34 8m 3s dependabot/npm_and_yarn/all-dff4d2fd48
dependabot/npm_and_yarn/all-dff4d2fd48
February 1, 2024 10:34 8m 3s
Update VS Code to 1.85.2 (#248) Test and publish #750: Commit 36eec59 pushed by fpoli
February 1, 2024 10:28 10m 28s master
master
February 1, 2024 10:28 10m 28s