Skip to content

Actions: viperproject/prusti-dev

Actions

Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
371 workflow runs
371 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update dependencies (rustc nightly-2023-07-15) Test #7084: Pull request #1430 synchronize by Aurel300
August 2, 2023 23:36 1h 39m 10s auto-update-nightly-2023-07-15
auto-update-nightly-2023-07-15
August 2, 2023 23:36 1h 39m 10s
Disable tracing by default (#1422) Test #7083: Commit 4c6e982 pushed by fpoli
August 2, 2023 11:52 2h 46m 17s master
master
August 2, 2023 11:52 2h 46m 17s
Disable tracing by default Test #7082: Pull request #1422 synchronize by fpoli
August 2, 2023 09:35 2h 17m 20s disable-tracing
disable-tracing
August 2, 2023 09:35 2h 17m 20s
Update dependencies (rustc nightly-2023-08-01, viper v-2023-07-18-0828) Test #7081: Pull request #1432 opened by viper-admin
August 1, 2023 07:03 4m 35s auto-update-nightly-2023-08-01
auto-update-nightly-2023-08-01
August 1, 2023 07:03 4m 35s
Resources, Obligations, Time Reasoning Test #7080: Pull request #1408 synchronize by vfukala
July 28, 2023 22:56 2h 1m 42s vfukala:simplest-obligation
vfukala:simplest-obligation
July 28, 2023 22:56 2h 1m 42s
Resources, Obligations, Time Reasoning Test #7079: Pull request #1408 synchronize by vfukala
July 28, 2023 18:17 2h 44m 12s vfukala:simplest-obligation
vfukala:simplest-obligation
July 28, 2023 18:17 2h 44m 12s
Resources, Obligations, Time Reasoning Test #7078: Pull request #1408 synchronize by vfukala
July 28, 2023 16:05 2h 12m 0s vfukala:simplest-obligation
vfukala:simplest-obligation
July 28, 2023 16:05 2h 12m 0s
Update dependencies (rustc nightly-2023-07-15) Test #7077: Pull request #1430 synchronize by vakaras
July 27, 2023 21:08 48m 24s auto-update-nightly-2023-07-15
auto-update-nightly-2023-07-15
July 27, 2023 21:08 48m 24s
Update dependencies (rustc nightly-2023-07-15) Test #7076: Pull request #1430 synchronize by vakaras
July 27, 2023 21:01 6m 37s auto-update-nightly-2023-07-15
auto-update-nightly-2023-07-15
July 27, 2023 21:01 6m 37s
Update dependencies (rustc nightly-2023-07-15) Test #7075: Pull request #1430 synchronize by Aurel300
July 21, 2023 13:59 23m 6s auto-update-nightly-2023-07-15
auto-update-nightly-2023-07-15
July 21, 2023 13:59 23m 6s
Update dependencies (rustc nightly-2023-07-15) Test #7074: Pull request #1430 synchronize by Aurel300
July 21, 2023 13:49 10m 10s auto-update-nightly-2023-07-15
auto-update-nightly-2023-07-15
July 21, 2023 13:49 10m 10s
Update dependencies (rustc nightly-2023-07-15) Test #7073: Pull request #1430 synchronize by Aurel300
July 21, 2023 13:43 6m 56s auto-update-nightly-2023-07-15
auto-update-nightly-2023-07-15
July 21, 2023 13:43 6m 56s
Update dependencies (rustc nightly-2023-07-15) Test #7072: Pull request #1430 synchronize by vakaras
July 21, 2023 13:02 19m 14s auto-update-nightly-2023-07-15
auto-update-nightly-2023-07-15
July 21, 2023 13:02 19m 14s
Update dependencies (rustc nightly-2023-07-15) Test #7071: Pull request #1430 synchronize by vakaras
July 21, 2023 12:30 20m 46s auto-update-nightly-2023-07-15
auto-update-nightly-2023-07-15
July 21, 2023 12:30 20m 46s
Update dependencies (rustc nightly-2023-07-15) Test #7070: Pull request #1430 synchronize by vakaras
July 21, 2023 12:27 3m 17s auto-update-nightly-2023-07-15
auto-update-nightly-2023-07-15
July 21, 2023 12:27 3m 17s
Lithium: a Rust-native back end Test #7069: Pull request #1321 synchronize by JakuJ
July 20, 2023 23:30 12m 38s JakuJ:lithium
JakuJ:lithium
July 20, 2023 23:30 12m 38s
Lithium: a Rust-native back end Test #7068: Pull request #1321 synchronize by JakuJ
July 20, 2023 23:21 8m 54s JakuJ:lithium
JakuJ:lithium
July 20, 2023 23:21 8m 54s
Lithium: a Rust-native back end Test #7067: Pull request #1321 synchronize by JakuJ
July 20, 2023 22:55 15m 45s JakuJ:lithium
JakuJ:lithium
July 20, 2023 22:55 15m 45s
Update dependencies (rustc nightly-2023-07-15) Test #7066: Pull request #1430 synchronize by vakaras
July 20, 2023 20:42 5m 50s auto-update-nightly-2023-07-15
auto-update-nightly-2023-07-15
July 20, 2023 20:42 5m 50s
Update dependencies (rustc nightly-2023-07-15) Test #7065: Pull request #1430 opened by vakaras
July 20, 2023 20:08 6m 6s auto-update-nightly-2023-07-15
auto-update-nightly-2023-07-15
July 20, 2023 20:08 6m 6s
A random change to see whether crashes are fixed. Test #7064: Commit 5486c19 pushed by vakaras
July 20, 2023 19:49 2h 30m 1s master
master
July 20, 2023 19:49 2h 30m 1s
Update dependencies (rustc nightly-2023-06-15, viper v-2023-05-17-0733) Test #7063: Pull request #1411 synchronize by vakaras
July 20, 2023 17:17 2h 11m 53s auto-update-nightly-2023-06-15
auto-update-nightly-2023-06-15
July 20, 2023 17:17 2h 11m 53s
Update dependencies (rustc nightly-2023-06-15, viper v-2023-05-17-0733) Test #7062: Pull request #1411 synchronize by vakaras
July 20, 2023 15:27 41m 18s auto-update-nightly-2023-06-15
auto-update-nightly-2023-06-15
July 20, 2023 15:27 41m 18s
Update dependencies (rustc nightly-2023-06-15, viper v-2023-05-17-0733) Test #7061: Pull request #1411 synchronize by vakaras
July 20, 2023 12:46 2h 17m 46s auto-update-nightly-2023-06-15
auto-update-nightly-2023-06-15
July 20, 2023 12:46 2h 17m 46s
Update dependencies (rustc nightly-2023-06-15, viper v-2023-05-17-0733) Test #7060: Pull request #1411 synchronize by vakaras
July 20, 2023 09:56 2h 1m 7s auto-update-nightly-2023-06-15
auto-update-nightly-2023-06-15
July 20, 2023 09:56 2h 1m 7s
ProTip! You can narrow down the results and go further in time using created:<2023-07-20 or the other filters available.