Skip to content

Actions: viperproject/prusti-dev

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
374 workflow runs
374 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Prusti 2.0: Free PCS Build GitHub pages #295: Pull request #1398 synchronize by JonasAlaif
October 20, 2023 14:13 7m 54s free-pcs-engine
free-pcs-engine
October 20, 2023 14:13 7m 54s
Fix purification Build GitHub pages #294: Pull request #1464 synchronize by fpoli
October 20, 2023 14:10 7m 33s fpoli-patch-3
fpoli-patch-3
October 20, 2023 14:10 7m 33s
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 Build GitHub pages #293: Pull request #1464 synchronize by fpoli
October 20, 2023 14:01 9m 22s fpoli-patch-3
fpoli-patch-3
October 20, 2023 14:01 9m 22s
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
Fix purification Build GitHub pages #292: Pull request #1464 opened by fpoli
October 20, 2023 13:33 7m 48s fpoli-patch-3
fpoli-patch-3
October 20, 2023 13:33 7m 48s
Prusti 2.0: Coupling Graph Build GitHub pages #291: Pull request #1449 synchronize by JonasAlaif
October 19, 2023 15:55 8m 52s coupling-graph-engine
coupling-graph-engine
October 19, 2023 15:55 8m 52s
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
pages build and deployment pages-build-deployment #727: by github-pages bot
October 19, 2023 08:59 57s gh-pages
gh-pages
October 19, 2023 08:59 57s
Try removing quotes (#1463) Build GitHub pages #290: Commit c8bdd89 pushed by fpoli
October 19, 2023 08:51 8m 3s master
master
October 19, 2023 08:51 8m 3s
Try removing quotes (#1463) Test coverage #821: Commit c8bdd89 pushed by fpoli
October 19, 2023 08:51 46m 39s master
master
October 19, 2023 08:51 46m 39s
Try removing quotes (#1463) Deploy #770: Commit c8bdd89 pushed by fpoli
October 19, 2023 08:51 2h 8m 20s master
master
October 19, 2023 08:51 2h 8m 20s
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 Build GitHub pages #289: Pull request #1449 synchronize by JonasAlaif
October 18, 2023 17:01 10m 13s coupling-graph-engine
coupling-graph-engine
October 18, 2023 17:01 10m 13s
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
Prusti 2.0: Coupling Graph Build GitHub pages #288: Pull request #1449 synchronize by JonasAlaif
October 17, 2023 14:48 7m 44s coupling-graph-engine
coupling-graph-engine
October 17, 2023 14:48 7m 44s
Try removing quotes Build GitHub pages #287: Pull request #1463 opened by fpoli
October 17, 2023 14:10 8m 35s fpoli-patch-3
fpoli-patch-3
October 17, 2023 14:10 8m 35s
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 Build GitHub pages #286: Pull request #1449 synchronize by JonasAlaif
October 17, 2023 14:10 10m 47s coupling-graph-engine
coupling-graph-engine
October 17, 2023 14:10 10m 47s
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
ProTip! You can narrow down the results and go further in time using created:<2023-10-17 or the other filters available.