Skip to content

Actions: viperproject/prusti-dev

Actions

Deploy

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy.yml
59 workflow run results
59 workflow run results

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
Fix issue #1505 (#1511) Deploy #800: Commit 0d4a8d4 pushed by fpoli
March 26, 2024 13:08 1h 56m 22s master
master
March 26, 2024 13:08 1h 56m 22s
Disable MIR optimizations in tests (#1507) Deploy #799: Commit 528f4c2 pushed by fpoli
March 6, 2024 10:13 1h 54m 22s master
master
March 6, 2024 10:13 1h 54m 22s
Fix signed discriminant in pure code (#1502) Deploy #798: Commit daf0e86 pushed by fpoli
March 1, 2024 17:58 2h 2m 49s master
master
March 1, 2024 17:58 2h 2m 49s
Optimize encoding of mir::BinOp::Rem for unsigned integers (#1503) Deploy #797: Commit 45405dc pushed by fpoli
March 1, 2024 17:52 2h 11m 29s master
master
March 1, 2024 17:52 2h 11m 29s
Deploy Deploy #796: by fpoli
February 29, 2024 15:39 2h 1m 35s master
master
February 29, 2024 15:39 2h 1m 35s
Fix zip on windows Deploy #795: Commit 74a84da pushed by fpoli
February 29, 2024 12:56 1h 59m 1s master
master
February 29, 2024 12:56 1h 59m 1s
Clean up the coverage workflow Deploy #794: Commit 02af397 pushed by fpoli
February 29, 2024 10:39 2h 11m 25s master
master
February 29, 2024 10:39 2h 11m 25s
Deploy Deploy #793: by fpoli
February 29, 2024 10:30 4m 15s master
master
February 29, 2024 10:30 4m 15s
Fix disk usage of the coverage workflow Deploy #792: Commit f1d3ac1 pushed by fpoli
February 29, 2024 10:24 9m 22s master
master
February 29, 2024 10:24 9m 22s
Debug coverage workflow Deploy #791: Commit abd7afc pushed by fpoli
February 29, 2024 10:08 26m 27s master
master
February 29, 2024 10:08 26m 27s
Fix names of macOS runners Deploy #790: Commit 70bc148 pushed by fpoli
February 29, 2024 09:58 2h 5m 11s master
master
February 29, 2024 09:58 2h 5m 11s
Debug coverage workflow Deploy #789: Commit 1a3d32c pushed by fpoli
February 29, 2024 09:49 43m 18s master
master
February 29, 2024 09:49 43m 18s
Deploy for macOS arm64 and preserve file attributes (#1499) Deploy #788: Commit df9b3ac pushed by fpoli
February 29, 2024 09:43 1h 45m 20s master
master
February 29, 2024 09:43 1h 45m 20s
Reduce disk usage when collecting coverage Deploy #787: Commit 96b841c pushed by fpoli
February 29, 2024 09:29 1h 55m 1s master
master
February 29, 2024 09:29 1h 55m 1s
Make ignore_deps_contracts a "category B" flag (#1498) Deploy #786: Commit 2d14265 pushed by fpoli
February 28, 2024 16:26 1h 50m 58s master
master
February 28, 2024 16:26 1h 50m 58s
Merge pull request #1496 from nshyrei/ignore_deps_contracts Deploy #785: Commit f94b7fa pushed by fpoli
February 26, 2024 13:34 1h 47m 56s master
master
February 26, 2024 13:34 1h 47m 56s
Fix doc (#1492) Deploy #784: Commit 2a4f04c pushed by Aurel300
February 14, 2024 09:47 2h 32m 2s master
master
February 14, 2024 09:47 2h 32m 2s
Update readme (#1494) Deploy #783: Commit c1a5b12 pushed by fpoli
February 12, 2024 13:27 2h 19m 35s master
master
February 12, 2024 13:27 2h 19m 35s
Update Viper to v-2024-02-01-0836 (#1491) Deploy #782: Commit e632f70 pushed by fpoli
February 1, 2024 12:14 2h 29m 32s master
master
February 1, 2024 12:14 2h 29m 32s
Remove redundant invariant (#1487) Deploy #781: Commit 2ade23b pushed by fpoli
January 11, 2024 11:31 1h 56m 19s master
master
January 11, 2024 11:31 1h 56m 19s
Merge pull request #1486 from viperproject/fpoli-patch-3 Deploy #780: Commit 216e5db pushed by fpoli
January 9, 2024 15:32 2h 2m 44s master
master
January 9, 2024 15:32 2h 2m 44s
Merge pull request #1485 from viperproject/fix-normalization Deploy #779: Commit cd736cc pushed by fpoli
January 8, 2024 12:00 1h 56m 31s master
master
January 8, 2024 12:00 1h 56m 31s
Raise an error if old() expressions are used in local vars outside of… Deploy #778: Commit 260594b pushed by zgrannan
December 20, 2023 19:36 2h 17m 7s master
master
December 20, 2023 19:36 2h 17m 7s
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
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