Skip to content

Actions: verus-lang/verus

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,521 workflow runs
2,521 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages pages #636: completed by utaal
November 3, 2023 08:11 58s
November 3, 2023 08:11 58s
pages pages #635: completed by utaal
November 3, 2023 07:08 3s
November 3, 2023 07:08 3s
use rust_items, not string matching to determine if a DefId is the De… ci #4561: Commit a03602a pushed by utaal
November 3, 2023 06:49 10m 13s main
main
November 3, 2023 06:49 10m 13s
rustup to 1.72.1 ci #4560: Pull request #880 synchronize by utaal
November 2, 2023 21:55 19m 21s rust-1.72.1
rust-1.72.1
November 2, 2023 21:55 19m 21s
rustup to 1.72.1 ci #4559: Pull request #880 opened by utaal
November 2, 2023 21:27 15m 36s rust-1.72.1
rust-1.72.1
November 2, 2023 21:27 15m 36s
rustup to 1.72.0 ci #4558: Pull request #879 synchronize by utaal
November 2, 2023 21:17 16m 32s rust-1.72.0
rust-1.72.0
November 2, 2023 21:17 16m 32s
rustup to 1.72.0 ci #4557: Pull request #879 opened by utaal
November 2, 2023 17:43 6m 35s rust-1.72.0
rust-1.72.0
November 2, 2023 17:43 6m 35s
pages pages #634: completed by utaal
November 2, 2023 16:24 49s
November 2, 2023 16:24 49s
Merge pull request #829 from bjorn3/rustup ci #4556: Commit a62f363 pushed by utaal
November 2, 2023 16:10 13m 48s main
main
November 2, 2023 16:10 13m 48s
Rustup to rustc 1.71.1 ci #4555: Pull request #829 synchronize by utaal
November 2, 2023 15:52 16m 50s bjorn3:rustup
bjorn3:rustup
November 2, 2023 15:52 16m 50s
pages pages #633: completed by tjhance
November 2, 2023 15:28 54s
November 2, 2023 15:28 54s
initial support for array literals (#832) ci #4554: Commit 403eec8 pushed by tjhance
November 2, 2023 15:12 15m 34s main
main
November 2, 2023 15:12 15m 34s
initial support for array literals ci #4553: Pull request #832 synchronize by tjhance
November 2, 2023 14:50 20m 45s array-literal
array-literal
November 2, 2023 14:50 20m 45s
vstd/bytes: Stabilize proofs ci #4552: Pull request #878 opened by zhaofengli
November 2, 2023 12:05 15m 13s mars-research:stablize-no-std
mars-research:stablize-no-std
November 2, 2023 12:05 15m 13s
vargo: Decouple from rustup ci #4551: Pull request #877 opened by zhaofengli
November 2, 2023 12:02 14m 48s mars-research:decouple-rustup
mars-research:decouple-rustup
November 2, 2023 12:02 14m 48s
Make non-verus-macro items external by default ci #4550: Pull request #771 synchronize by Chris-Hawblitzel
November 2, 2023 11:02 15m 39s external-by-default
external-by-default
November 2, 2023 11:02 15m 39s
initial support for array literals ci #4549: Pull request #832 synchronize by utaal
November 2, 2023 10:52 8m 28s array-literal
array-literal
November 2, 2023 10:52 8m 28s
pages pages #632: completed by utaal
November 2, 2023 10:48 53s
November 2, 2023 10:48 53s
initial support for array literals ci #4548: Pull request #832 synchronize by utaal
November 2, 2023 10:47 7m 5s array-literal
array-literal
November 2, 2023 10:47 7m 5s
fix type-inference issues in ghost code ci #4547: Commit 37eb85e pushed by utaal
November 2, 2023 10:28 19m 39s main
main
November 2, 2023 10:28 19m 39s
Make non-verus-macro items external by default ci #4546: Pull request #771 synchronize by Chris-Hawblitzel
November 2, 2023 10:10 9m 52s external-by-default
external-by-default
November 2, 2023 10:10 9m 52s
pages pages #631: completed by utaal
November 2, 2023 10:07 48s
November 2, 2023 10:07 48s
add regression test for hypothetical incompleteness issue while inves… ci #4545: Commit f8bbd5e pushed by utaal
November 2, 2023 09:51 16m 1s main
main
November 2, 2023 09:51 16m 1s
pages pages #630: completed by utaal
November 2, 2023 09:49 58s
November 2, 2023 09:49 58s
add -V use-internal-profiler to debug quantifier instantiation issues ci #4544: Commit 3223fa5 pushed by utaal
November 2, 2023 09:27 21m 42s main
main
November 2, 2023 09:27 21m 42s
ProTip! You can narrow down the results and go further in time using created:<2023-11-02 or the other filters available.