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

Fix purification Test #7259: Pull request #1464 synchronize by fpoli
October 24, 2023 08:42 16m 28s fpoli-patch-3
fpoli-patch-3
October 24, 2023 08:42 16m 28s
Prusti 2.0: Coupling Graph Test #7258: Pull request #1449 synchronize by JonasAlaif
October 20, 2023 14:16 18m 2s coupling-graph-engine
coupling-graph-engine
October 20, 2023 14:16 18m 2s
Prusti 2.0: Free PCS Test #7257: Pull request #1398 synchronize by JonasAlaif
October 20, 2023 14:13 5m 41s free-pcs-engine
free-pcs-engine
October 20, 2023 14:13 5m 41s
Fix purification Test #7256: Pull request #1464 synchronize by fpoli
October 20, 2023 14:10 1h 37m 5s fpoli-patch-3
fpoli-patch-3
October 20, 2023 14:10 1h 37m 5s
Fix purification Test #7255: Pull request #1464 synchronize by fpoli
October 20, 2023 14:01 9m 42s fpoli-patch-3
fpoli-patch-3
October 20, 2023 14:01 9m 42s
Fix purification Test #7254: Pull request #1464 opened by fpoli
October 20, 2023 13:33 29m 33s fpoli-patch-3
fpoli-patch-3
October 20, 2023 13:33 29m 33s
Prusti 2.0: Coupling Graph Test #7253: Pull request #1449 synchronize by JonasAlaif
October 19, 2023 15:55 20m 53s coupling-graph-engine
coupling-graph-engine
October 19, 2023 15:55 20m 53s
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
Prusti 2.0: Coupling Graph Test #7251: Pull request #1449 synchronize by JonasAlaif
October 18, 2023 17:01 21m 41s coupling-graph-engine
coupling-graph-engine
October 18, 2023 17:01 21m 41s
Prusti 2.0: Coupling Graph Test #7250: Pull request #1449 synchronize by JonasAlaif
October 17, 2023 14:48 16m 51s coupling-graph-engine
coupling-graph-engine
October 17, 2023 14:48 16m 51s
Try removing quotes Test #7249: Pull request #1463 opened by fpoli
October 17, 2023 14:10 1h 19m 16s fpoli-patch-3
fpoli-patch-3
October 17, 2023 14:10 1h 19m 16s
Prusti 2.0: Coupling Graph Test #7248: Pull request #1449 synchronize by JonasAlaif
October 17, 2023 14:10 20m 24s coupling-graph-engine
coupling-graph-engine
October 17, 2023 14:10 20m 24s
Update dependencies (rustc nightly-2023-10-15, viper v-2023-09-27-0729) Test #7247: Pull request #1461 opened by viper-admin
October 15, 2023 07:03 5m 56s auto-update-nightly-2023-10-15
auto-update-nightly-2023-10-15
October 15, 2023 07:03 5m 56s
Prusti 2.0: Coupling Graph Test #7246: Pull request #1449 synchronize by JonasAlaif
October 12, 2023 12:29 48m 50s coupling-graph-engine
coupling-graph-engine
October 12, 2023 12:29 48m 50s
Prusti 2.0: Free PCS Test #7245: Pull request #1398 synchronize by JonasAlaif
October 12, 2023 12:28 6m 51s free-pcs-engine
free-pcs-engine
October 12, 2023 12:28 6m 51s
Prusti 2.0: Free PCS Test #7244: Pull request #1398 synchronize by JonasAlaif
October 12, 2023 12:28 1m 19s free-pcs-engine
free-pcs-engine
October 12, 2023 12:28 1m 19s
Prusti 2.0: Coupling Graph Test #7243: Pull request #1449 synchronize by JonasAlaif
October 12, 2023 12:27 2m 4s coupling-graph-engine
coupling-graph-engine
October 12, 2023 12:27 2m 4s
Prusti 2.0: Free PCS Test #7242: Pull request #1398 synchronize by JonasAlaif
October 12, 2023 10:04 22m 40s free-pcs-engine
free-pcs-engine
October 12, 2023 10:04 22m 40s
Prusti 2.0: Coupling Graph Test #7241: Pull request #1449 synchronize by JonasAlaif
October 12, 2023 10:03 46m 19s coupling-graph-engine
coupling-graph-engine
October 12, 2023 10:03 46m 19s
Prusti 2.0: Coupling Graph Test #7240: Pull request #1449 synchronize by JonasAlaif
October 11, 2023 12:50 36m 56s coupling-graph-engine
coupling-graph-engine
October 11, 2023 12:50 36m 56s
Prusti 2.0: Coupling Graph Test #7239: Pull request #1449 synchronize by JonasAlaif
October 11, 2023 12:29 26m 45s coupling-graph-engine
coupling-graph-engine
October 11, 2023 12:29 26m 45s
Prusti 2.0: Coupling Graph Test #7238: Pull request #1449 synchronize by JonasAlaif
October 11, 2023 12:26 7m 34s coupling-graph-engine
coupling-graph-engine
October 11, 2023 12:26 7m 34s
Prusti 2.0: Coupling Graph Test #7237: Pull request #1449 synchronize by JonasAlaif
October 11, 2023 12:25 6m 6s coupling-graph-engine
coupling-graph-engine
October 11, 2023 12:25 6m 6s
Prusti 2.0: Coupling Graph Test #7236: Pull request #1449 synchronize by JonasAlaif
October 11, 2023 12:24 6m 24s coupling-graph-engine
coupling-graph-engine
October 11, 2023 12:24 6m 24s
Prusti 2.0: Coupling Graph Test #7235: Pull request #1449 synchronize by JonasAlaif
October 11, 2023 12:22 3m 12s coupling-graph-engine
coupling-graph-engine
October 11, 2023 12:22 3m 12s