Skip to content

Actions: viperproject/prusti-dev

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
405 workflow runs
405 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adds functionality to ignore dependencies contracts Test #7347: Pull request #1496 synchronize by fpoli
February 26, 2024 11:17 9m 7s nshyrei:ignore_deps_contracts
nshyrei:ignore_deps_contracts
February 26, 2024 11:17 9m 7s
Adds functionality to ignore dependencies contracts Build GitHub pages #385: Pull request #1496 synchronize by fpoli
February 26, 2024 11:17 5m 15s nshyrei:ignore_deps_contracts
nshyrei:ignore_deps_contracts
February 26, 2024 11:17 5m 15s
Adds functionality to ignore dependencies contracts Test #7346: Pull request #1496 opened by nshyrei
February 25, 2024 14:36 11m 50s nshyrei:ignore_deps_contracts
nshyrei:ignore_deps_contracts
February 25, 2024 14:36 11m 50s
Adds functionality to ignore dependencies contracts Build GitHub pages #384: Pull request #1496 opened by nshyrei
February 25, 2024 14:36 5m 29s nshyrei:ignore_deps_contracts
nshyrei:ignore_deps_contracts
February 25, 2024 14:36 5m 29s
Try the new Viper release Test #7345: Pull request #1495 synchronize by fpoli
February 19, 2024 11:09 1m 7s fpoli-patch-3
fpoli-patch-3
February 19, 2024 11:09 1m 7s
Try the new Viper release Build GitHub pages #383: Pull request #1495 synchronize by fpoli
February 19, 2024 11:09 50s fpoli-patch-3
fpoli-patch-3
February 19, 2024 11:09 50s
Try the new Viper release Test #7344: Pull request #1495 opened by fpoli
February 19, 2024 11:01 1m 4s fpoli-patch-3
fpoli-patch-3
February 19, 2024 11:01 1m 4s
Try the new Viper release Build GitHub pages #382: Pull request #1495 opened by fpoli
February 19, 2024 11:01 48s fpoli-patch-3
fpoli-patch-3
February 19, 2024 11:01 48s
pages build and deployment pages-build-deployment #741: by github-pages bot
February 14, 2024 09:52 38s gh-pages
gh-pages
February 14, 2024 09:52 38s
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) 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 #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
pages build and deployment pages-build-deployment #740: by github-pages bot
February 12, 2024 13:32 36s gh-pages
gh-pages
February 12, 2024 13:32 36s
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 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) 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) 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 Build GitHub pages #379: Pull request #1494 opened by fpoli
February 12, 2024 12:15 5m 1s fpoli-patch-3
fpoli-patch-3
February 12, 2024 12:15 5m 1s
Update readme Test #7341: Pull request #1494 opened by fpoli
February 12, 2024 12:15 1h 11m 13s fpoli-patch-3
fpoli-patch-3
February 12, 2024 12:15 1h 11m 13s
Fix doc Build GitHub pages #378: Pull request #1492 synchronize by pixelshot91
February 8, 2024 14:12 5m 48s pixelshot91:patch-2
pixelshot91:patch-2
February 8, 2024 14:12 5m 48s
Fix doc Test #7340: Pull request #1492 synchronize by pixelshot91
February 8, 2024 14:12 1h 10m 24s pixelshot91:patch-2
pixelshot91:patch-2
February 8, 2024 14:12 1h 10m 24s
pages build and deployment pages-build-deployment #739: by github-pages bot
February 1, 2024 12:19 38s gh-pages
gh-pages
February 1, 2024 12:19 38s
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
Update Viper to v-2024-02-01-0836 (#1491) Test #7338: Commit e632f70 pushed by fpoli
February 1, 2024 12:14 2h 17m 10s master
master
February 1, 2024 12:14 2h 17m 10s