Skip to content

Actions: viperproject/prusti-dev

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
405 workflow runs
405 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Raise an error if old() expressions are used in local vars outside of loops Test #7321: Pull request #1482 opened by zgrannan
December 14, 2023 23:22 1h 11m 40s zgrannan:no-local-in-old
zgrannan:no-local-in-old
December 14, 2023 23:22 1h 11m 40s
pages build and deployment pages-build-deployment #734: by github-pages bot
December 8, 2023 20:54 45s gh-pages
gh-pages
December 8, 2023 20:54 45s
Disable more complete exhale. Test coverage #828: Commit 8e372e2 pushed by vakaras
December 8, 2023 20:48 49m 34s master
master
December 8, 2023 20:48 49m 34s
Disable more complete exhale. Build GitHub pages #358: Commit 8e372e2 pushed by vakaras
December 8, 2023 20:48 5m 49s master
master
December 8, 2023 20:48 5m 49s
Disable more complete exhale. Deploy #777: Commit 8e372e2 pushed by vakaras
December 8, 2023 20:48 2h 5m 45s master
master
December 8, 2023 20:48 2h 5m 45s
Disable more complete exhale. Test #7320: Commit 8e372e2 pushed by vakaras
December 8, 2023 20:48 1h 11m 15s master
master
December 8, 2023 20:48 1h 11m 15s
Fix rosetta binary search Test #7319: Pull request #1481 opened by vakaras
December 8, 2023 19:37 1h 10m 28s fix-rosetta-binary-search
fix-rosetta-binary-search
December 8, 2023 19:37 1h 10m 28s
Fix rosetta binary search Build GitHub pages #357: Pull request #1481 opened by vakaras
December 8, 2023 19:37 5m 3s fix-rosetta-binary-search
fix-rosetta-binary-search
December 8, 2023 19:37 5m 3s
pages build and deployment pages-build-deployment #733: by github-pages bot
December 7, 2023 14:54 49s gh-pages
gh-pages
December 7, 2023 14:54 49s
Raise an error when postconditions of pure functions contain old() ex… Test coverage #827: Commit 202ca0e pushed by zgrannan
December 7, 2023 14:49 46m 10s master
master
December 7, 2023 14:49 46m 10s
Raise an error when postconditions of pure functions contain old() ex… Deploy #776: Commit 202ca0e pushed by zgrannan
December 7, 2023 14:49 2h 19m 54s master
master
December 7, 2023 14:49 2h 19m 54s
Raise an error when postconditions of pure functions contain old() ex… Build GitHub pages #356: Commit 202ca0e pushed by zgrannan
December 7, 2023 14:49 5m 33s master
master
December 7, 2023 14:49 5m 33s
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
pages build and deployment pages-build-deployment #732: by github-pages bot
December 7, 2023 00:08 50s gh-pages
gh-pages
December 7, 2023 00:08 50s
Raise an error when postconditions of pure functions contain old() expressions Test #7317: Pull request #1474 synchronize by zgrannan
December 7, 2023 00:03 1h 13m 5s zgrannan:zgrannan/old-in-pure-error
zgrannan:zgrannan/old-in-pure-error
December 7, 2023 00:03 1h 13m 5s
Raise an error when postconditions of pure functions contain old() expressions Build GitHub pages #355: Pull request #1474 synchronize by zgrannan
December 7, 2023 00:03 4m 51s zgrannan:zgrannan/old-in-pure-error
zgrannan:zgrannan/old-in-pure-error
December 7, 2023 00:03 4m 51s
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
Updated snapshot injectivity axiom. (#1475) Build GitHub pages #354: Commit 26c999b pushed by zgrannan
December 7, 2023 00:03 5m 9s master
master
December 7, 2023 00:03 5m 9s
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) 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
pages build and deployment pages-build-deployment #731: by github-pages bot
December 6, 2023 17:14 50s gh-pages
gh-pages
December 6, 2023 17:14 50s
Updated snapshot injectivity axiom. Build GitHub pages #353: Pull request #1475 synchronize by zgrannan
December 6, 2023 17:09 4m 57s zgrannan:zgrannan/snapshot-injectivity
zgrannan:zgrannan/snapshot-injectivity
December 6, 2023 17:09 4m 57s
Updated snapshot injectivity axiom. Test #7315: Pull request #1475 synchronize by zgrannan
December 6, 2023 17:09 1h 47m 1s zgrannan:zgrannan/snapshot-injectivity
zgrannan:zgrannan/snapshot-injectivity
December 6, 2023 17:09 1h 47m 1s
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 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