Skip to content

Actions: viperproject/prusti-dev

Actions

Deploy

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy.yml
51 workflow runs
51 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

A random change to see whether crashes are fixed. Deploy #750: Commit 5486c19 pushed by vakaras
July 20, 2023 19:49 1h 49m 4s master
master
July 20, 2023 19:49 1h 49m 4s