Skip to content

Actions: viperproject/prusti-dev

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix zip on windows Build GitHub pages #402: Commit 74a84da pushed by fpoli
February 29, 2024 12:56 5m 16s master
master
February 29, 2024 12:56 5m 16s
Clean up the coverage workflow Deploy #794: Commit 02af397 pushed by fpoli
February 29, 2024 10:39 2h 11m 25s master
master
February 29, 2024 10:39 2h 11m 25s
Clean up the coverage workflow Test coverage #845: Commit 02af397 pushed by fpoli
February 29, 2024 10:39 1h 4m 38s master
master
February 29, 2024 10:39 1h 4m 38s
Clean up the coverage workflow Test #7363: Commit 02af397 pushed by fpoli
February 29, 2024 10:39 1h 12m 29s master
master
February 29, 2024 10:39 1h 12m 29s
Clean up the coverage workflow Build GitHub pages #401: Commit 02af397 pushed by fpoli
February 29, 2024 10:39 5m 6s master
master
February 29, 2024 10:39 5m 6s
Test coverage Test coverage #844: by fpoli
February 29, 2024 10:30 1h 5m 41s master
master
February 29, 2024 10:30 1h 5m 41s
Test Test #7362: by fpoli
February 29, 2024 10:30 9m 33s master
master
February 29, 2024 10:30 9m 33s
Deploy Deploy #793: by fpoli
February 29, 2024 10:30 4m 15s master
master
February 29, 2024 10:30 4m 15s
Build GitHub pages Build GitHub pages #400: by fpoli
February 29, 2024 10:30 5m 4s master
master
February 29, 2024 10:30 5m 4s
Fix disk usage of the coverage workflow Build GitHub pages #399: Commit f1d3ac1 pushed by fpoli
February 29, 2024 10:24 5m 12s master
master
February 29, 2024 10:24 5m 12s
Fix disk usage of the coverage workflow Test #7361: Commit f1d3ac1 pushed by fpoli
February 29, 2024 10:24 6m 18s master
master
February 29, 2024 10:24 6m 18s
Fix disk usage of the coverage workflow Test coverage #843: Commit f1d3ac1 pushed by fpoli
February 29, 2024 10:24 12m 23s master
master
February 29, 2024 10:24 12m 23s
Fix disk usage of the coverage workflow Deploy #792: Commit f1d3ac1 pushed by fpoli
February 29, 2024 10:24 9m 22s master
master
February 29, 2024 10:24 9m 22s
Debug coverage workflow Test #7360: Commit abd7afc pushed by fpoli
February 29, 2024 10:08 15m 51s master
master
February 29, 2024 10:08 15m 51s
Debug coverage workflow Build GitHub pages #398: Commit abd7afc pushed by fpoli
February 29, 2024 10:08 5m 9s master
master
February 29, 2024 10:08 5m 9s
Debug coverage workflow Test coverage #842: Commit abd7afc pushed by fpoli
February 29, 2024 10:08 13m 40s master
master
February 29, 2024 10:08 13m 40s
Debug coverage workflow Deploy #791: Commit abd7afc pushed by fpoli
February 29, 2024 10:08 26m 27s master
master
February 29, 2024 10:08 26m 27s
Fix names of macOS runners Build GitHub pages #397: Commit 70bc148 pushed by fpoli
February 29, 2024 09:58 5m 24s master
master
February 29, 2024 09:58 5m 24s
Fix names of macOS runners Test coverage #841: Commit 70bc148 pushed by fpoli
February 29, 2024 09:58 14m 1s master
master
February 29, 2024 09:58 14m 1s
Fix names of macOS runners Test #7359: Commit 70bc148 pushed by fpoli
February 29, 2024 09:58 9m 36s master
master
February 29, 2024 09:58 9m 36s
Fix names of macOS runners Deploy #790: Commit 70bc148 pushed by fpoli
February 29, 2024 09:58 2h 5m 11s master
master
February 29, 2024 09:58 2h 5m 11s
Debug coverage workflow Test coverage #840: Commit 1a3d32c pushed by fpoli
February 29, 2024 09:49 13m 59s master
master
February 29, 2024 09:49 13m 59s
Debug coverage workflow Test #7358: Commit 1a3d32c pushed by fpoli
February 29, 2024 09:49 8m 59s master
master
February 29, 2024 09:49 8m 59s
Debug coverage workflow Build GitHub pages #396: Commit 1a3d32c pushed by fpoli
February 29, 2024 09:49 5m 15s master
master
February 29, 2024 09:49 5m 15s
Debug coverage workflow Deploy #789: Commit 1a3d32c pushed by fpoli
February 29, 2024 09:49 43m 18s master
master
February 29, 2024 09:49 43m 18s