Skip to content

Actions: viperproject/prusti-dev

Actions

Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
209 workflow runs
209 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Improve error message Test #7209: Pull request #1458 opened by fpoli
September 28, 2023 12:08 1h 49m 36s improve-message
improve-message
September 28, 2023 12:08 1h 49m 36s
Prusti 2.0: Coupling Graph Test #7208: Pull request #1449 synchronize by JonasAlaif
September 27, 2023 16:33 6h 0m 59s coupling-graph-engine
coupling-graph-engine
September 27, 2023 16:33 6h 0m 59s
Prusti 2.0: Coupling Graph Test #7207: Pull request #1449 synchronize by JonasAlaif
September 27, 2023 16:20 13m 16s coupling-graph-engine
coupling-graph-engine
September 27, 2023 16:20 13m 16s
Prusti 2.0: Coupling Graph Test #7206: Pull request #1449 synchronize by JonasAlaif
September 27, 2023 16:04 16m 37s coupling-graph-engine
coupling-graph-engine
September 27, 2023 16:04 16m 37s
Prusti 2.0: Free PCS Test #7205: Pull request #1398 synchronize by JonasAlaif
September 27, 2023 15:58 1h 49m 16s free-pcs-engine
free-pcs-engine
September 27, 2023 15:58 1h 49m 16s
Prusti 2.0: Coupling Graph Test #7204: Pull request #1449 synchronize by JonasAlaif
September 27, 2023 15:53 11m 16s coupling-graph-engine
coupling-graph-engine
September 27, 2023 15:53 11m 16s
Prusti 2.0: Free PCS Test #7203: Pull request #1398 synchronize by JonasAlaif
September 27, 2023 15:50 8m 29s free-pcs-engine
free-pcs-engine
September 27, 2023 15:50 8m 29s
Prusti 2.0: Free PCS Test #7202: Pull request #1398 synchronize by JonasAlaif
September 27, 2023 15:38 5m 0s free-pcs-engine
free-pcs-engine
September 27, 2023 15:38 5m 0s
Prusti 2.0: Coupling Graph Test #7201: Pull request #1449 synchronize by JonasAlaif
September 27, 2023 15:14 6m 58s coupling-graph-engine
coupling-graph-engine
September 27, 2023 15:14 6m 58s
Prusti 2.0: Free PCS Test #7200: Pull request #1398 synchronize by JonasAlaif
September 27, 2023 15:14 5m 18s free-pcs-engine
free-pcs-engine
September 27, 2023 15:14 5m 18s
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
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
Run cargo fmt Test #7197: Pull request #1456 synchronize by fpoli
September 27, 2023 08:47 37m 25s JakuJ:cargo-fmt
JakuJ:cargo-fmt
September 27, 2023 08:47 37m 25s
Run cargo fmt Test #7196: Pull request #1456 synchronize by fpoli
September 27, 2023 08:41 6m 6s JakuJ:cargo-fmt
JakuJ:cargo-fmt
September 27, 2023 08:41 6m 6s
Runtime checks Test #7195: Pull request #1452 synchronize by cedihegi
September 22, 2023 16:06 2h 24m 47s cedihegi:runtime-checks
cedihegi:runtime-checks
September 22, 2023 16:06 2h 24m 47s
Runtime checks Test #7194: Pull request #1452 synchronize by cedihegi
September 22, 2023 14:44 22m 34s cedihegi:runtime-checks
cedihegi:runtime-checks
September 22, 2023 14:44 22m 34s
Prusti 2.0: Coupling Graph Test #7193: Pull request #1449 synchronize by JonasAlaif
September 22, 2023 12:06 5m 1s coupling-graph-engine
coupling-graph-engine
September 22, 2023 12:06 5m 1s
Update dependencies (rustc nightly-2023-09-15, viper v-2023-08-26-2125) Test #7192: Commit 24bd4c5 pushed by vakaras
September 19, 2023 20:13 2h 24m 8s master
master
September 19, 2023 20:13 2h 24m 8s
Update dependencies (rustc nightly-2023-09-15, viper v-2023-08-26-2125) Test #7191: Pull request #1455 synchronize by vakaras
September 19, 2023 17:52 2h 19m 24s auto-update-nightly-2023-09-15
auto-update-nightly-2023-09-15
September 19, 2023 17:52 2h 19m 24s
Update dependencies (rustc nightly-2023-09-15, viper v-2023-08-26-2125) Test #7190: Pull request #1455 synchronize by vakaras
September 19, 2023 14:57 2h 12m 34s auto-update-nightly-2023-09-15
auto-update-nightly-2023-09-15
September 19, 2023 14:57 2h 12m 34s
Update dependencies (rustc nightly-2023-09-15, viper v-2023-08-26-2125) Test #7189: Pull request #1455 synchronize by vakaras
September 19, 2023 11:53 2h 7m 34s auto-update-nightly-2023-09-15
auto-update-nightly-2023-09-15
September 19, 2023 11:53 2h 7m 34s
Update dependencies (rustc nightly-2023-09-15, viper v-2023-08-26-2125) Test #7188: Pull request #1455 synchronize by vakaras
September 19, 2023 11:50 3m 37s auto-update-nightly-2023-09-15
auto-update-nightly-2023-09-15
September 19, 2023 11:50 3m 37s
Update dependencies (rustc nightly-2023-09-15, viper v-2023-08-26-2125) Test #7187: Pull request #1455 synchronize by vakaras
September 18, 2023 20:21 1h 52m 3s auto-update-nightly-2023-09-15
auto-update-nightly-2023-09-15
September 18, 2023 20:21 1h 52m 3s
Update dependencies (rustc nightly-2023-09-15, viper v-2023-08-26-2125) Test #7186: Pull request #1455 synchronize by vakaras
September 18, 2023 19:36 45m 17s auto-update-nightly-2023-09-15
auto-update-nightly-2023-09-15
September 18, 2023 19:36 45m 17s
Update dependencies (rustc nightly-2023-09-15, viper v-2023-08-26-2125) Test #7185: Pull request #1455 synchronize by vakaras
September 18, 2023 17:56 1h 40m 0s auto-update-nightly-2023-09-15
auto-update-nightly-2023-09-15
September 18, 2023 17:56 1h 40m 0s