Skip to content

Actions: verus-lang/verus

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,905 workflow runs
1,905 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

in lifetime-generate, emit a single impl block for all associated types of an impl ci #4269: Pull request #776 opened by utaal
August 28, 2023 00:09 19m 49s fix-769
fix-769
August 28, 2023 00:09 19m 49s
Move the verus-specific error message definitions out of air, and clean-up error reporting utilities in vir ci #4268: Pull request #775 synchronize by utaal
August 27, 2023 23:29 15m 27s air-message-refactor
air-message-refactor
August 27, 2023 23:29 15m 27s
Move the verus-specific error message definitions out of air, and clean-up error reporting utilities in vir ci #4267: Pull request #775 synchronize by utaal
August 27, 2023 23:28 14m 38s air-message-refactor
air-message-refactor
August 27, 2023 23:28 14m 38s
Move the verus-specific error message definitions out of air, and clean-up error reporting utilities in vir ci #4266: Pull request #775 synchronize by utaal
August 27, 2023 23:06 13m 6s air-message-refactor
air-message-refactor
August 27, 2023 23:06 13m 6s
Move the verus-specific error message definitions out of air, and clean-up error reporting utilities in vir ci #4265: Pull request #775 opened by utaal
August 27, 2023 23:02 11m 39s air-message-refactor
air-message-refactor
August 27, 2023 23:02 11m 39s
fix typo ci #4264: Commit 137d2d8 pushed by tjhance
August 27, 2023 19:04 19m 59s main
main
August 27, 2023 19:04 19m 59s
Support building Verus-verified components with ordinary stable Rust ci #4263: Pull request #733 synchronize by Chris-Hawblitzel
August 26, 2023 02:04 30m 40s cargo_build2
cargo_build2
August 26, 2023 02:04 30m 40s
Support building Verus-verified components with ordinary stable Rust ci #4262: Pull request #733 synchronize by Chris-Hawblitzel
August 26, 2023 01:37 21m 16s cargo_build2
cargo_build2
August 26, 2023 01:37 21m 16s
Add - and * binary operators for set (#770) ci #4261: Commit 62582ba pushed by jonhnet
August 26, 2023 01:15 26m 2s main
main
August 26, 2023 01:15 26m 2s
Fix warning when building Verus ci #4260: Pull request #773 opened by jaylorch
August 25, 2023 22:41 27m 50s fix-warning
fix-warning
August 25, 2023 22:41 27m 50s
Use Euclidean div/mod from num-bigint (#766) ci #4259: Commit d46d0c9 pushed by jaybosamiya
August 25, 2023 22:38 28m 28s main
main
August 25, 2023 22:38 28m 28s
Make non-verus-macro items external by default ci #4257: Pull request #771 opened by Chris-Hawblitzel
August 24, 2023 18:05 26m 16s external-by-default
external-by-default
August 24, 2023 18:05 26m 16s
Add - and * binary operators for set ci #4256: Pull request #770 opened by jonhnet
August 24, 2023 15:35 24m 1s jonh-set-binary-ops
jonh-set-binary-ops
August 24, 2023 15:35 24m 1s
in the VIR printer, if a string atom contains a newline, replace it w… ci #4255: Commit 7b31831 pushed by utaal
August 24, 2023 02:46 21m 6s main
main
August 24, 2023 02:46 21m 6s
fix the analysis of a contradiction proof discovered by verus that wa… ci #4254: Commit af00da5 pushed by utaal
August 24, 2023 02:01 28m 25s main
main
August 24, 2023 02:01 28m 25s
add an analysis of a contradiction proof discovered by verus via `rev… ci #4253: Commit 27bc92a pushed by utaal
August 24, 2023 01:11 26m 12s main
main
August 24, 2023 01:11 26m 12s
Clean up some len-related lemmas in set_lib (#762) ci #4252: Commit e8f1848 pushed by Chris-Hawblitzel
August 23, 2023 22:19 27m 37s main
main
August 23, 2023 22:19 27m 37s
Use Euclidean div/mod from num-bigint ci #4251: Pull request #766 opened by jaybosamiya
August 23, 2023 21:15 25m 8s euclid-div-mod
euclid-div-mod
August 23, 2023 21:15 25m 8s
Clean up some len-related lemmas in set_lib ci #4250: Pull request #762 synchronize by utaal
August 23, 2023 21:06 19m 39s set_lib_cleanup
set_lib_cleanup
August 23, 2023 21:06 19m 39s
Add node_is_in_cycle to scc Graph (#763) ci #4249: Commit f75ec5e pushed by Chris-Hawblitzel
August 23, 2023 16:35 33m 6s main
main
August 23, 2023 16:35 33m 6s
Add node_is_in_cycle to scc Graph ci #4248: Pull request #763 opened by Chris-Hawblitzel
August 23, 2023 15:55 23m 57s scc_node_is_in_cycle
scc_node_is_in_cycle
August 23, 2023 15:55 23m 57s
Encode trait bounds in AIR/SMT to enable broadcast_forall with trait … ci #4247: Commit 78fa40b pushed by Chris-Hawblitzel
August 22, 2023 18:25 20m 54s main
main
August 22, 2023 18:25 20m 54s
Encode trait bounds in AIR/SMT to enable broadcast_forall with trait bounds ci #4246: Pull request #750 synchronize by Chris-Hawblitzel
August 22, 2023 18:01 21m 30s trait_bound_smt_encoding2
trait_bound_smt_encoding2
August 22, 2023 18:01 21m 30s
update the INSTALL instructions for Windows to match changes of the Z… ci #4245: Commit 49fd021 pushed by utaal
August 22, 2023 17:02 23m 56s main
main
August 22, 2023 17:02 23m 56s
handle impl function with different param names than the trait fn dec… ci #4244: Commit 5484ef0 pushed by utaal
August 22, 2023 01:02 23m 4s main
main
August 22, 2023 01:02 23m 4s
ProTip! You can narrow down the results and go further in time using created:<2023-08-22 or the other filters available.