Skip to content

Actions: viperproject/prusti-dev

Actions

Deploy

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy.yml
31 workflow runs
31 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Updated snapshot injectivity axiom. (#1475) Deploy #775: Commit 26c999b pushed by zgrannan
December 7, 2023 00:03 1h 49m 29s master
master
December 7, 2023 00:03 1h 49m 29s
Fix get_target_dir and build.py to make packaging work properly wit… Deploy #774: Commit 01539d2 pushed by zgrannan
December 6, 2023 17:09 1h 54m 13s master
master
December 6, 2023 17:09 1h 54m 13s
Fix windows CI builds (#1476) Deploy #773: Commit a59d989 pushed by zgrannan
December 5, 2023 21:48 1h 41m 54s master
master
December 5, 2023 21:48 1h 41m 54s
Merge pull request #1467 from viperproject/fpoli-patch-4 Deploy #772: Commit a5c29c9 pushed by fpoli
October 27, 2023 14:21 2h 18m 57s master
master
October 27, 2023 14:21 2h 18m 57s
Merge pull request #1464 from viperproject/fpoli-patch-3 Deploy #771: Commit 4789fe8 pushed by fpoli
October 24, 2023 11:40 2h 4m 4s master
master
October 24, 2023 11:40 2h 4m 4s
Try removing quotes (#1463) Deploy #770: Commit c8bdd89 pushed by fpoli
October 19, 2023 08:51 2h 8m 20s master
master
October 19, 2023 08:51 2h 8m 20s