Skip to content

Actions: viperproject/prusti-dev

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
142 workflow run results
142 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1464 from viperproject/fpoli-patch-3 Deploy #771: Commit 4789fe8 pushed by fpoli
October 24, 2023 11:40 2h 4m 4s master
master
October 24, 2023 11:40 2h 4m 4s
Merge pull request #1464 from viperproject/fpoli-patch-3 Build GitHub pages #300: Commit 4789fe8 pushed by fpoli
October 24, 2023 11:40 9m 53s master
master
October 24, 2023 11:40 9m 53s
Merge pull request #1464 from viperproject/fpoli-patch-3 Test coverage #822: Commit 4789fe8 pushed by fpoli
October 24, 2023 11:40 44m 29s master
master
October 24, 2023 11:40 44m 29s
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
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 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) 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
Update dependencies Update dependencies #72: Scheduled
October 15, 2023 07:01 1m 48s master
master
October 15, 2023 07:01 1m 48s
Clean up test-crates (#1460) Build GitHub pages #270: Commit e735471 pushed by fpoli
October 5, 2023 10:50 8m 13s master
master
October 5, 2023 10:50 8m 13s
Clean up test-crates (#1460) Test coverage #820: Commit e735471 pushed by fpoli
October 5, 2023 10:50 23m 34s master
master
October 5, 2023 10:50 23m 34s
Clean up test-crates (#1460) Deploy #769: Commit e735471 pushed by fpoli
October 5, 2023 10:50 2h 12m 1s master
master
October 5, 2023 10:50 2h 12m 1s
Clean up test-crates (#1460) Test #7232: Commit e735471 pushed by fpoli
October 5, 2023 10:50 2h 4m 45s master
master
October 5, 2023 10:50 2h 4m 45s
Update dependencies Update dependencies #71: Scheduled
October 1, 2023 07:01 1m 42s master
master
October 1, 2023 07:01 1m 42s
Improve error message (#1458) Deploy #768: Commit 221b865 pushed by fpoli
September 28, 2023 13:57 2h 24m 46s master
master
September 28, 2023 13:57 2h 24m 46s
Improve error message (#1458) Build GitHub pages #253: Commit 221b865 pushed by fpoli
September 28, 2023 13:57 7m 54s master
master
September 28, 2023 13:57 7m 54s
Improve error message (#1458) Test #7215: Commit 221b865 pushed by fpoli
September 28, 2023 13:57 1h 36m 17s master
master
September 28, 2023 13:57 1h 36m 17s
Improve error message (#1458) Test coverage #819: Commit 221b865 pushed by fpoli
September 28, 2023 13:57 30m 59s master
master
September 28, 2023 13:57 30m 59s