Skip to content

Actions: viperproject/prusti-dev

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,529 workflow runs
1,529 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Update dependencies (rustc nightly-2023-04-01, viper v-2023-03-29-1448) Publish on Crates.io #70: Pull request #1384 synchronize by vakaras
May 23, 2023 11:39 39s auto-update-nightly-2023-04-01
auto-update-nightly-2023-04-01
May 23, 2023 11:39 39s
Update dependencies (rustc nightly-2023-04-01, viper v-2023-03-29-1448) Test #6797: Pull request #1384 synchronize by vakaras
May 23, 2023 11:39 6m 47s auto-update-nightly-2023-04-01
auto-update-nightly-2023-04-01
May 23, 2023 11:39 6m 47s
Update dependencies (rustc nightly-2023-04-01, viper v-2023-03-29-1448) Publish on Crates.io #69: Pull request #1384 synchronize by vakaras
May 23, 2023 10:03 45s auto-update-nightly-2023-04-01
auto-update-nightly-2023-04-01
May 23, 2023 10:03 45s
Update dependencies (rustc nightly-2023-04-01, viper v-2023-03-29-1448) Test #6796: Pull request #1384 synchronize by vakaras
May 23, 2023 10:03 1h 37m 11s auto-update-nightly-2023-04-01
auto-update-nightly-2023-04-01
May 23, 2023 10:03 1h 37m 11s
Just checking CI Publish on Crates.io #68: Pull request #1282 synchronize by vakaras
May 22, 2023 18:26 43s refactorings
refactorings
May 22, 2023 18:26 43s
Just checking CI Test #6795: Pull request #1282 synchronize by vakaras
May 22, 2023 18:26 5m 15s refactorings
refactorings
May 22, 2023 18:26 5m 15s
Update dependencies (rustc nightly-2023-05-15, viper v-2023-05-13-0727) Test #6794: Pull request #1402 opened by viper-admin
May 15, 2023 07:05 3m 3s auto-update-nightly-2023-05-15
auto-update-nightly-2023-05-15
May 15, 2023 07:05 3m 3s
Update dependencies Update dependencies #62: Scheduled
May 15, 2023 07:02 3m 21s master
master
May 15, 2023 07:02 3m 21s
Lithium: a Rust-native back end Test #6793: Pull request #1321 synchronize by JakuJ
May 12, 2023 10:00 18m 4s JakuJ:lithium
JakuJ:lithium
May 12, 2023 10:00 18m 4s
Update dependencies (rustc nightly-2023-04-01, viper v-2023-03-29-1448) Publish on Crates.io #67: Pull request #1384 synchronize by Aurel300
May 5, 2023 09:48 51s auto-update-nightly-2023-04-01
auto-update-nightly-2023-04-01
May 5, 2023 09:48 51s
Update dependencies (rustc nightly-2023-04-01, viper v-2023-03-29-1448) Test #6792: Pull request #1384 synchronize by Aurel300
May 5, 2023 09:48 1h 6m 43s auto-update-nightly-2023-04-01
auto-update-nightly-2023-04-01
May 5, 2023 09:48 1h 6m 43s
Provide Specs for the Standard Library Test #6791: Pull request #1249 synchronize by Aurel300
May 5, 2023 09:31 2h 27m 7s juliand665:prusti-std
juliand665:prusti-std
May 5, 2023 09:31 2h 27m 7s
Provide Specs for the Standard Library Publish on Crates.io #66: Pull request #1249 synchronize by Aurel300
May 5, 2023 09:31 50s juliand665:prusti-std
juliand665:prusti-std
May 5, 2023 09:31 50s
Provide Specs for the Standard Library Test #6790: Pull request #1249 synchronize by vakaras
May 4, 2023 14:03 2h 22m 51s juliand665:prusti-std
juliand665:prusti-std
May 4, 2023 14:03 2h 22m 51s
Provide Specs for the Standard Library Publish on Crates.io #65: Pull request #1249 synchronize by vakaras
May 4, 2023 14:03 50s juliand665:prusti-std
juliand665:prusti-std
May 4, 2023 14:03 50s
Update dependencies (rustc nightly-2023-04-01, viper v-2023-03-29-1448) Publish on Crates.io #64: Pull request #1384 synchronize by vakaras
May 4, 2023 12:43 38s auto-update-nightly-2023-04-01
auto-update-nightly-2023-04-01
May 4, 2023 12:43 38s
Update dependencies (rustc nightly-2023-04-01, viper v-2023-03-29-1448) Test #6789: Pull request #1384 synchronize by vakaras
May 4, 2023 12:43 1h 10m 38s auto-update-nightly-2023-04-01
auto-update-nightly-2023-04-01
May 4, 2023 12:43 1h 10m 38s
Provide Specs for the Standard Library Test #6788: Pull request #1249 synchronize by vakaras
May 4, 2023 12:15 1h 48m 47s juliand665:prusti-std
juliand665:prusti-std
May 4, 2023 12:15 1h 48m 47s
Provide Specs for the Standard Library Publish on Crates.io #63: Pull request #1249 synchronize by vakaras
May 4, 2023 12:15 49s juliand665:prusti-std
juliand665:prusti-std
May 4, 2023 12:15 49s
Update dependencies (rustc nightly-2023-04-01, viper v-2023-03-29-1448) Test #6787: Pull request #1384 synchronize by Aurel300
May 4, 2023 10:02 36m 22s auto-update-nightly-2023-04-01
auto-update-nightly-2023-04-01
May 4, 2023 10:02 36m 22s
Update dependencies (rustc nightly-2023-04-01, viper v-2023-03-29-1448) Publish on Crates.io #62: Pull request #1384 synchronize by Aurel300
May 4, 2023 10:02 42s auto-update-nightly-2023-04-01
auto-update-nightly-2023-04-01
May 4, 2023 10:02 42s
Lithium: a Rust-native back end Test #6786: Pull request #1321 synchronize by JakuJ
May 3, 2023 15:18 16m 5s JakuJ:lithium
JakuJ:lithium
May 3, 2023 15:18 16m 5s
Update dependencies (rustc nightly-2023-05-01, viper v-2023-04-14-0820) Test #6785: Pull request #1401 opened by viper-admin
May 1, 2023 07:03 2m 43s auto-update-nightly-2023-05-01
auto-update-nightly-2023-05-01
May 1, 2023 07:03 2m 43s
Update dependencies Update dependencies #61: Scheduled
May 1, 2023 07:01 2m 25s master
master
May 1, 2023 07:01 2m 25s
Lithium: a Rust-native back end Test #6784: Pull request #1321 synchronize by JakuJ
April 26, 2023 19:21 15m 14s JakuJ:lithium
JakuJ:lithium
April 26, 2023 19:21 15m 14s
ProTip! You can narrow down the results and go further in time using created:<2023-04-26 or the other filters available.