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

Deploy for macOS arm64 and preserve file attributes (#1499) Deploy #788: Commit df9b3ac pushed by fpoli
February 29, 2024 09:43 1h 45m 20s master
master
February 29, 2024 09:43 1h 45m 20s
Deploy for macOS arm64 and preserve file attributes (#1499) Test #7357: Commit df9b3ac pushed by fpoli
February 29, 2024 09:43 6m 52s master
master
February 29, 2024 09:43 6m 52s
Deploy for macOS arm64 and preserve file attributes (#1499) Test coverage #839: Commit df9b3ac pushed by fpoli
February 29, 2024 09:43 15m 3s master
master
February 29, 2024 09:43 15m 3s
Deploy for macOS arm64 and preserve file attributes (#1499) Build GitHub pages #395: Commit df9b3ac pushed by fpoli
February 29, 2024 09:43 5m 8s master
master
February 29, 2024 09:43 5m 8s
Reduce disk usage when collecting coverage Build GitHub pages #394: Commit 96b841c pushed by fpoli
February 29, 2024 09:29 5m 12s master
master
February 29, 2024 09:29 5m 12s
Reduce disk usage when collecting coverage Deploy #787: Commit 96b841c pushed by fpoli
February 29, 2024 09:29 1h 55m 1s master
master
February 29, 2024 09:29 1h 55m 1s
Reduce disk usage when collecting coverage Test #7356: Commit 96b841c pushed by fpoli
February 29, 2024 09:29 1h 12m 24s master
master
February 29, 2024 09:29 1h 12m 24s
Reduce disk usage when collecting coverage Test coverage #838: Commit 96b841c pushed by fpoli
February 29, 2024 09:29 14m 43s master
master
February 29, 2024 09:29 14m 43s
Make ignore_deps_contracts a "category B" flag (#1498) Test coverage #837: Commit 2d14265 pushed by fpoli
February 28, 2024 16:26 14m 53s master
master
February 28, 2024 16:26 14m 53s
Make ignore_deps_contracts a "category B" flag (#1498) Build GitHub pages #390: Commit 2d14265 pushed by fpoli
February 28, 2024 16:26 5m 1s master
master
February 28, 2024 16:26 5m 1s
Make ignore_deps_contracts a "category B" flag (#1498) Test #7352: Commit 2d14265 pushed by fpoli
February 28, 2024 16:26 1h 11m 21s master
master
February 28, 2024 16:26 1h 11m 21s
Make ignore_deps_contracts a "category B" flag (#1498) Deploy #786: Commit 2d14265 pushed by fpoli
February 28, 2024 16:26 1h 50m 58s master
master
February 28, 2024 16:26 1h 50m 58s
Merge pull request #1496 from nshyrei/ignore_deps_contracts Test coverage #836: Commit f94b7fa pushed by fpoli
February 26, 2024 13:34 17m 8s master
master
February 26, 2024 13:34 17m 8s
Merge pull request #1496 from nshyrei/ignore_deps_contracts Deploy #785: Commit f94b7fa pushed by fpoli
February 26, 2024 13:34 1h 47m 56s master
master
February 26, 2024 13:34 1h 47m 56s
Merge pull request #1496 from nshyrei/ignore_deps_contracts Build GitHub pages #387: Commit f94b7fa pushed by fpoli
February 26, 2024 13:34 5m 26s master
master
February 26, 2024 13:34 5m 26s
Merge pull request #1496 from nshyrei/ignore_deps_contracts Test #7349: Commit f94b7fa pushed by fpoli
February 26, 2024 13:34 2h 4m 58s master
master
February 26, 2024 13:34 2h 4m 58s
Fix doc (#1492) Build GitHub pages #381: Commit 2a4f04c pushed by Aurel300
February 14, 2024 09:47 5m 25s master
master
February 14, 2024 09:47 5m 25s
Fix doc (#1492) Test coverage #835: Commit 2a4f04c pushed by Aurel300
February 14, 2024 09:47 30m 10s master
master
February 14, 2024 09:47 30m 10s
Fix doc (#1492) Test #7343: Commit 2a4f04c pushed by Aurel300
February 14, 2024 09:47 1h 10m 22s master
master
February 14, 2024 09:47 1h 10m 22s
Fix doc (#1492) Deploy #784: Commit 2a4f04c pushed by Aurel300
February 14, 2024 09:47 2h 32m 2s master
master
February 14, 2024 09:47 2h 32m 2s
Update readme (#1494) Build GitHub pages #380: Commit c1a5b12 pushed by fpoli
February 12, 2024 13:27 5m 12s master
master
February 12, 2024 13:27 5m 12s
Update readme (#1494) Test coverage #834: Commit c1a5b12 pushed by fpoli
February 12, 2024 13:27 30m 58s master
master
February 12, 2024 13:27 30m 58s
Update readme (#1494) Test #7342: Commit c1a5b12 pushed by fpoli
February 12, 2024 13:27 1h 11m 37s master
master
February 12, 2024 13:27 1h 11m 37s
Update readme (#1494) Deploy #783: Commit c1a5b12 pushed by fpoli
February 12, 2024 13:27 2h 19m 35s master
master
February 12, 2024 13:27 2h 19m 35s
Update Viper to v-2024-02-01-0836 (#1491) Build GitHub pages #376: Commit e632f70 pushed by fpoli
February 1, 2024 12:14 5m 10s master
master
February 1, 2024 12:14 5m 10s