Skip to content

Actions: viperproject/prusti-dev

Actions

Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
347 workflow runs
347 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Raise an error when postconditions of pure functions contain old() expressions Test #7284: Pull request #1474 synchronize by zgrannan
November 28, 2023 05:58 2m 6s zgrannan:zgrannan/old-in-pure-error
zgrannan:zgrannan/old-in-pure-error
November 28, 2023 05:58 2m 6s
Raise an error when postconditions of pure functions contain old() expressions Test #7283: Pull request #1474 synchronize by zgrannan
November 28, 2023 05:40 11m 52s zgrannan:zgrannan/old-in-pure-error
zgrannan:zgrannan/old-in-pure-error
November 28, 2023 05:40 11m 52s
Raise an error when postconditions of pure functions contain old() expressions Test #7282: Pull request #1474 synchronize by zgrannan
November 28, 2023 05:34 6m 57s zgrannan:zgrannan/old-in-pure-error
zgrannan:zgrannan/old-in-pure-error
November 28, 2023 05:34 6m 57s
Raise an error when postconditions of pure functions contain old() expressions Test #7281: Pull request #1474 opened by zgrannan
November 28, 2023 05:30 4m 15s zgrannan:zgrannan/old-in-pure-error
zgrannan:zgrannan/old-in-pure-error
November 28, 2023 05:30 4m 15s
Prusti 2.0: Coupling Graph Test #7280: Pull request #1449 synchronize by JonasAlaif
November 27, 2023 13:06 11m 49s coupling-graph-engine
coupling-graph-engine
November 27, 2023 13:06 11m 49s
Prusti 2.0: Coupling Graph Test #7279: Pull request #1449 synchronize by JonasAlaif
November 13, 2023 18:20 3m 36s coupling-graph-engine
coupling-graph-engine
November 13, 2023 18:20 3m 36s
Prusti 2.0: Free PCS Test #7278: Pull request #1398 synchronize by JonasAlaif
November 13, 2023 18:18 1h 16m 28s free-pcs-engine
free-pcs-engine
November 13, 2023 18:18 1h 16m 28s
Prusti 2.0: Free PCS Test #7277: Pull request #1398 synchronize by JonasAlaif
November 13, 2023 18:17 1m 41s free-pcs-engine
free-pcs-engine
November 13, 2023 18:17 1m 41s
Update dependencies (rustc nightly-2023-11-01, viper v-2023-09-27-0729) Test #7276: Pull request #1470 synchronize by JonasAlaif
November 13, 2023 16:24 3m 33s auto-update-nightly-2023-11-01
auto-update-nightly-2023-11-01
November 13, 2023 16:24 3m 33s
Prusti 2.0: Free PCS Test #7275: Pull request #1398 synchronize by JonasAlaif
November 13, 2023 15:46 1h 58m 1s free-pcs-engine
free-pcs-engine
November 13, 2023 15:46 1h 58m 1s
Update dependencies (rustc nightly-2023-11-01, viper v-2023-09-27-0729) Test #7274: Pull request #1470 opened by viper-admin
November 1, 2023 07:03 3m 53s auto-update-nightly-2023-11-01
auto-update-nightly-2023-11-01
November 1, 2023 07:03 3m 53s
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
Update README.md Test #7272: Pull request #1467 synchronize by fpoli
October 27, 2023 12:27 1h 54m 18s fpoli-patch-4
fpoli-patch-4
October 27, 2023 12:27 1h 54m 18s
Lithium: a Rust-native back end Test #7271: Pull request #1321 synchronize by JakuJ
October 27, 2023 11:21 1h 57m 15s JakuJ:lithium
JakuJ:lithium
October 27, 2023 11:21 1h 57m 15s
Lithium: a Rust-native back end Test #7270: Pull request #1321 synchronize by JakuJ
October 27, 2023 11:08 13m 14s JakuJ:lithium
JakuJ:lithium
October 27, 2023 11:08 13m 14s
Lithium: a Rust-native back end Test #7269: Pull request #1321 synchronize by JakuJ
October 27, 2023 10:50 19m 7s JakuJ:lithium
JakuJ:lithium
October 27, 2023 10:50 19m 7s
Update README.md Test #7268: Pull request #1467 opened by fpoli
October 27, 2023 09:43 25m 12s fpoli-patch-4
fpoli-patch-4
October 27, 2023 09:43 25m 12s
Lithium: a Rust-native back end Test #7267: Pull request #1321 synchronize by JakuJ
October 27, 2023 09:10 1h 37m 9s JakuJ:lithium
JakuJ:lithium
October 27, 2023 09:10 1h 37m 9s
Prusti 2.0: Coupling Graph Test #7266: Pull request #1449 synchronize by JonasAlaif
October 25, 2023 14:08 48m 44s coupling-graph-engine
coupling-graph-engine
October 25, 2023 14:08 48m 44s
Prusti 2.0: Free PCS Test #7265: Pull request #1398 synchronize by JonasAlaif
October 25, 2023 13:56 19m 31s free-pcs-engine
free-pcs-engine
October 25, 2023 13:56 19m 31s
Prusti 2.0: Coupling Graph Test #7264: Pull request #1449 synchronize by JonasAlaif
October 25, 2023 13:47 6m 14s coupling-graph-engine
coupling-graph-engine
October 25, 2023 13:47 6m 14s
Prusti 2.0: Coupling Graph Test #7263: Pull request #1449 synchronize by JonasAlaif
October 25, 2023 13:37 11m 2s coupling-graph-engine
coupling-graph-engine
October 25, 2023 13:37 11m 2s
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
Fix purification Test #7261: Pull request #1464 synchronize by fpoli
October 24, 2023 09:20 1h 56m 5s fpoli-patch-3
fpoli-patch-3
October 24, 2023 09:20 1h 56m 5s
Fix purification Test #7260: Pull request #1464 synchronize by fpoli
October 24, 2023 08:58 23m 25s fpoli-patch-3
fpoli-patch-3
October 24, 2023 08:58 23m 25s