Skip to content

Actions: viperproject/prusti-assistant

Actions

Update VS Code

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
update-vscode.yml
14 workflow runs
14 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update VS Code Update VS Code #80: Scheduled
March 1, 2025 07:04 18s master
master
March 1, 2025 07:04 18s
Update VS Code Update VS Code #79: Scheduled
February 1, 2025 07:04 13s master
master
February 1, 2025 07:04 13s
Update VS Code Update VS Code #78: Scheduled
January 1, 2025 07:05 19s master
master
January 1, 2025 07:05 19s
Update VS Code Update VS Code #77: Scheduled
December 1, 2024 07:05 13s master
master
December 1, 2024 07:05 13s
Update VS Code Update VS Code #76: Scheduled
November 1, 2024 07:05 16s master
master
November 1, 2024 07:05 16s
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 Update VS Code #74: Scheduled
September 1, 2024 07:04 18s master
master
September 1, 2024 07:04 18s
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 Update VS Code #72: Scheduled
July 1, 2024 07:05 25s master
master
July 1, 2024 07:05 25s
Update VS Code Update VS Code #71: Scheduled
June 1, 2024 07:04 18s master
master
June 1, 2024 07:04 18s
Update VS Code Update VS Code #70: Scheduled
May 1, 2024 07:05 18s master
master
May 1, 2024 07:05 18s
Update VS Code Update VS Code #69: Scheduled
April 1, 2024 07:04 13s master
master
April 1, 2024 07:04 13s
Update VS Code Update VS Code #68: Scheduled
March 1, 2024 07:04 14s master
master
March 1, 2024 07:04 14s
Update VS Code Update VS Code #67: Scheduled
February 1, 2024 07:05 15s master
master
February 1, 2024 07:05 15s