Skip to content

Actions: viperproject/prusti-dev

Actions

Deploy

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy.yml
9 workflow run results
9 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Restore FIXME (#1442) Deploy #758: Commit cb68494 pushed by fpoli
August 14, 2023 19:47 2h 30m 25s master
master
August 14, 2023 19:47 2h 30m 25s
Fix encoding of mutually recursive pure functions (#1440) Deploy #757: Commit 71683df pushed by fpoli
August 14, 2023 15:07 1h 57m 32s master
master
August 14, 2023 15:07 1h 57m 32s
Merge pull request #1430 from viperproject/auto-update-nightly-2023-0… Deploy #756: Commit d54e24d pushed by Aurel300
August 11, 2023 12:58 2h 37m 18s master
master
August 11, 2023 12:58 2h 37m 18s
Keep all tags and more nightly releases (#1437) Deploy #755: Commit b256b42 pushed by fpoli
August 11, 2023 12:46 2h 20m 25s master
master
August 11, 2023 12:46 2h 20m 25s
Merge pull request #1435 from viperproject/update-actions Deploy #754: Commit 3802482 pushed by fpoli
August 11, 2023 09:52 2h 5m 50s master
master
August 11, 2023 09:52 2h 5m 50s
Update README.md Deploy #753: Commit e2c46e1 pushed by fpoli
August 10, 2023 15:07 1h 57m 44s master
master
August 10, 2023 15:07 1h 57m 44s
Clarify meaning of internal errors (#1433) Deploy #752: Commit 863cd59 pushed by fpoli
August 4, 2023 10:24 1h 52m 9s master
master
August 4, 2023 10:24 1h 52m 9s
Disable tracing by default (#1422) Deploy #751: Commit 4c6e982 pushed by fpoli
August 2, 2023 11:52 1h 46m 3s master
master
August 2, 2023 11:52 1h 46m 3s
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