Skip to content

Actions: viperproject/prusti-dev

Actions

Publish on Crates.io

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
crates-io.yml
33 workflow runs
33 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Runtime checks Publish on Crates.io #347: Pull request #1452 synchronize by cedihegi
September 22, 2023 16:06 45s cedihegi:runtime-checks
cedihegi:runtime-checks
September 22, 2023 16:06 45s
Runtime checks Publish on Crates.io #346: Pull request #1452 synchronize by cedihegi
September 22, 2023 14:44 46s cedihegi:runtime-checks
cedihegi:runtime-checks
September 22, 2023 14:44 46s
Runtime checks Publish on Crates.io #345: Pull request #1452 synchronize by cedihegi
September 18, 2023 12:22 46s cedihegi:runtime-checks
cedihegi:runtime-checks
September 18, 2023 12:22 46s
Runtime checks Publish on Crates.io #344: Pull request #1452 synchronize by cedihegi
September 13, 2023 13:09 42s cedihegi:runtime-checks
cedihegi:runtime-checks
September 13, 2023 13:09 42s
Runtime checks Publish on Crates.io #343: Pull request #1452 synchronize by cedihegi
September 12, 2023 22:21 40s cedihegi:runtime-checks
cedihegi:runtime-checks
September 12, 2023 22:21 40s
Runtime checks Publish on Crates.io #342: Pull request #1452 synchronize by cedihegi
September 11, 2023 23:25 44s cedihegi:runtime-checks
cedihegi:runtime-checks
September 11, 2023 23:25 44s
Runtime checks Publish on Crates.io #341: Pull request #1452 synchronize by cedihegi
September 10, 2023 12:08 35s cedihegi:runtime-checks
cedihegi:runtime-checks
September 10, 2023 12:08 35s
Runtime checks Publish on Crates.io #340: Pull request #1452 synchronize by cedihegi
September 10, 2023 09:54 3m 7s cedihegi:runtime-checks
cedihegi:runtime-checks
September 10, 2023 09:54 3m 7s
Runtime checks Publish on Crates.io #339: Pull request #1452 synchronize by cedihegi
September 6, 2023 11:44 47s cedihegi:runtime-checks
cedihegi:runtime-checks
September 6, 2023 11:44 47s
Runtime checks Publish on Crates.io #338: Pull request #1452 synchronize by cedihegi
September 6, 2023 10:00 46s cedihegi:runtime-checks
cedihegi:runtime-checks
September 6, 2023 10:00 46s
Runtime checks Publish on Crates.io #337: Pull request #1452 opened by cedihegi
September 6, 2023 09:46 2m 14s cedihegi:runtime-checks
cedihegi:runtime-checks
September 6, 2023 09:46 2m 14s
Provide Specs for the Standard Library Publish on Crates.io #336: Pull request #1249 synchronize by Aurel300
September 4, 2023 17:49 40s juliand665:prusti-std
juliand665:prusti-std
September 4, 2023 17:49 40s
Bump prusti contracts version (#1448) Publish on Crates.io #335: Commit cfefd8d pushed by JonasAlaif
September 4, 2023 12:24 2m 56s master
master
September 4, 2023 12:24 2m 56s
Provide Specs for the Standard Library Publish on Crates.io #334: Pull request #1249 synchronize by Aurel300
August 31, 2023 14:11 1m 34s juliand665:prusti-std
juliand665:prusti-std
August 31, 2023 14:11 1m 34s
Provide Specs for the Standard Library Publish on Crates.io #333: Pull request #1249 synchronize by Aurel300
August 30, 2023 20:13 43s juliand665:prusti-std
juliand665:prusti-std
August 30, 2023 20:13 43s
Bump prusti contracts version Publish on Crates.io #332: Pull request #1448 opened by JonasAlaif
August 22, 2023 13:31 55s bump-pc
bump-pc
August 22, 2023 13:31 55s
Provide Specs for the Standard Library Publish on Crates.io #331: Pull request #1249 synchronize by Aurel300
August 18, 2023 12:03 48s juliand665:prusti-std
juliand665:prusti-std
August 18, 2023 12:03 48s
Merge pull request #1430 from viperproject/auto-update-nightly-2023-0… Publish on Crates.io #330: Commit d54e24d pushed by Aurel300
August 11, 2023 12:58 1m 45s master
master
August 11, 2023 12:58 1m 45s
Update dependencies (rustc nightly-2023-07-15) Publish on Crates.io #329: Pull request #1430 synchronize by Aurel300
August 11, 2023 10:40 38m 26s auto-update-nightly-2023-07-15
auto-update-nightly-2023-07-15
August 11, 2023 10:40 38m 26s
Try enabling LTO Publish on Crates.io #328: Pull request #1438 opened by fpoli
August 11, 2023 09:59 37s try-lto
try-lto
August 11, 2023 09:59 37s
Merge pull request #1435 from viperproject/update-actions Publish on Crates.io #327: Commit 3802482 pushed by fpoli
August 11, 2023 09:52 47s master
master
August 11, 2023 09:52 47s
Update dependencies (rustc nightly-2023-07-15) Publish on Crates.io #326: Pull request #1430 synchronize by Aurel300
August 11, 2023 09:14 45s auto-update-nightly-2023-07-15
auto-update-nightly-2023-07-15
August 11, 2023 09:14 45s
Update dependencies (rustc nightly-2023-07-15) Publish on Crates.io #325: Pull request #1430 synchronize by Aurel300
August 11, 2023 08:14 56s auto-update-nightly-2023-07-15
auto-update-nightly-2023-07-15
August 11, 2023 08:14 56s
Update GitHub actions and fix release builds Publish on Crates.io #324: Pull request #1435 synchronize by fpoli
August 11, 2023 08:03 42s update-actions
update-actions
August 11, 2023 08:03 42s
Update GitHub actions and fix release builds Publish on Crates.io #323: Pull request #1435 synchronize by fpoli
August 11, 2023 07:55 49s update-actions
update-actions
August 11, 2023 07:55 49s