Skip to content

Actions: viperproject/prusti-dev

Actions

Test

Actions

Loading...
Loading

Showing runs from all workflows named Test
71 workflow run results
71 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Raise an error when postconditions of pure functions contain old() ex… Test #7318: Commit 202ca0e pushed by zgrannan
December 7, 2023 14:49 1h 11m 28s master
master
December 7, 2023 14:49 1h 11m 28s
Updated snapshot injectivity axiom. (#1475) Test coverage #826: Commit 26c999b pushed by zgrannan
December 7, 2023 00:03 50m 3s master
master
December 7, 2023 00:03 50m 3s
Updated snapshot injectivity axiom. (#1475) Test #7316: Commit 26c999b pushed by zgrannan
December 7, 2023 00:03 1h 11m 57s master
master
December 7, 2023 00:03 1h 11m 57s
Fix get_target_dir and build.py to make packaging work properly wit… Test #7314: Commit 01539d2 pushed by zgrannan
December 6, 2023 17:09 1h 47m 0s master
master
December 6, 2023 17:09 1h 47m 0s
Fix get_target_dir and build.py to make packaging work properly wit… Test coverage #825: Commit 01539d2 pushed by zgrannan
December 6, 2023 17:09 45m 3s master
master
December 6, 2023 17:09 45m 3s
Fix windows CI builds (#1476) Test #7310: Commit a59d989 pushed by zgrannan
December 5, 2023 21:48 1h 54m 31s master
master
December 5, 2023 21:48 1h 54m 31s
Fix windows CI builds (#1476) Test coverage #824: Commit a59d989 pushed by zgrannan
December 5, 2023 21:48 45m 3s master
master
December 5, 2023 21:48 45m 3s
Merge pull request #1467 from viperproject/fpoli-patch-4 Test #7273: Commit a5c29c9 pushed by fpoli
October 27, 2023 14:21 1h 29m 18s master
master
October 27, 2023 14:21 1h 29m 18s
Merge pull request #1467 from viperproject/fpoli-patch-4 Test coverage #823: Commit a5c29c9 pushed by fpoli
October 27, 2023 14:21 38m 4s master
master
October 27, 2023 14:21 38m 4s
Merge pull request #1464 from viperproject/fpoli-patch-3 Test #7262: Commit 4789fe8 pushed by fpoli
October 24, 2023 11:40 2h 1m 20s master
master
October 24, 2023 11:40 2h 1m 20s
Merge pull request #1464 from viperproject/fpoli-patch-3 Test coverage #822: Commit 4789fe8 pushed by fpoli
October 24, 2023 11:40 44m 29s master
master
October 24, 2023 11:40 44m 29s
Try removing quotes (#1463) Test #7252: Commit c8bdd89 pushed by fpoli
October 19, 2023 08:51 2h 4m 4s master
master
October 19, 2023 08:51 2h 4m 4s
Try removing quotes (#1463) Test coverage #821: Commit c8bdd89 pushed by fpoli
October 19, 2023 08:51 46m 39s master
master
October 19, 2023 08:51 46m 39s
Clean up test-crates (#1460) Test coverage #820: Commit e735471 pushed by fpoli
October 5, 2023 10:50 23m 34s master
master
October 5, 2023 10:50 23m 34s
Clean up test-crates (#1460) Test #7232: Commit e735471 pushed by fpoli
October 5, 2023 10:50 2h 4m 45s master
master
October 5, 2023 10:50 2h 4m 45s
Improve error message (#1458) Test #7215: Commit 221b865 pushed by fpoli
September 28, 2023 13:57 1h 36m 17s master
master
September 28, 2023 13:57 1h 36m 17s
Improve error message (#1458) Test coverage #819: Commit 221b865 pushed by fpoli
September 28, 2023 13:57 30m 59s master
master
September 28, 2023 13:57 30m 59s
Show open file handles for any running process Test #7199: Commit 9580905 pushed by fpoli
September 27, 2023 15:06 1h 44m 36s master
master
September 27, 2023 15:06 1h 44m 36s
Show open file handles for any running process Test coverage #818: Commit 9580905 pushed by fpoli
September 27, 2023 15:06 45m 4s master
master
September 27, 2023 15:06 45m 4s
Merge pull request #1456 from JakuJ/cargo-fmt Test coverage #817: Commit 0631c11 pushed by fpoli
September 27, 2023 12:11 36m 16s master
master
September 27, 2023 12:11 36m 16s
Merge pull request #1456 from JakuJ/cargo-fmt Test #7198: Commit 0631c11 pushed by fpoli
September 27, 2023 12:11 2h 1m 7s master
master
September 27, 2023 12:11 2h 1m 7s