Skip to content

Actions: viperproject/prusti-dev

Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
209 workflow runs
209 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
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
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
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
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
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
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
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
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
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
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
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
October 17, 2023 14:10 20m 24s
Prusti 2.0: Coupling Graph
Test #7246: Pull request #1449 synchronize by JonasAlaif
October 12, 2023 12:29 48m 50s 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
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
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
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
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
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
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
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
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
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
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
October 11, 2023 12:22 3m 12s