Skip to content

Actions: verus-lang/verus

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages pages #1476: completed by parno
March 8, 2025 11:59 39s
March 8, 2025 11:59 39s
Allow --profile-all to work with --verify-root (#1494) ci #6570: Commit e0761e7 pushed by parno
March 8, 2025 11:46 12m 32s main
main
March 8, 2025 11:46 12m 32s
pages pages #1475: completed by tjhance
March 8, 2025 09:51 41s
March 8, 2025 09:51 41s
tests: add tests about tracked-caputure in nested closures ci #6569: Commit 5efe83d pushed by tjhance
March 8, 2025 09:39 11m 37s main
main
March 8, 2025 09:39 11m 37s
pages pages #1474: completed by tjhance
March 8, 2025 08:45 43s
March 8, 2025 08:45 43s
tests: add test for Send restrictions in tracked variable captured by… ci #6568: Commit 6a831a8 pushed by tjhance
March 8, 2025 08:31 13m 58s main
main
March 8, 2025 08:31 13m 58s
pages pages #1473: completed by utaal
March 8, 2025 07:52 44s
March 8, 2025 07:52 44s
try and make the spans for loop queries more compact to reduce visual… ci #6567: Commit b301864 pushed by utaal
March 8, 2025 07:40 11m 48s main
main
March 8, 2025 07:40 11m 48s
pages pages #1472: completed by Chris-Hawblitzel
March 8, 2025 05:58 49s
March 8, 2025 05:58 49s
Fix trigger selection for tuples, closure specs (#1498) ci #6566: Commit 1739e83 pushed by Chris-Hawblitzel
March 8, 2025 05:46 12m 11s main
main
March 8, 2025 05:46 12m 11s
Fix trigger selection for tuples, closure specs ci #6565: Pull request #1498 opened by Chris-Hawblitzel
March 8, 2025 05:15 16m 4s discard_tuple_triggers
discard_tuple_triggers
March 8, 2025 05:15 16m 4s
Attr add tracked args ci #6564: Pull request #1492 synchronize by ziqiaozhou
March 7, 2025 23:09 10m 56s attr_add_tracked_args
attr_add_tracked_args
March 7, 2025 23:09 10m 56s
pages pages #1471: completed by ziqiaozhou
March 7, 2025 23:05 51s
March 7, 2025 23:05 51s
A solution to avoid using .set() function by replacing IndexMut with … ci #6563: Commit eeff8b1 pushed by ziqiaozhou
March 7, 2025 22:52 13m 11s main
main
March 7, 2025 22:52 13m 11s
pages pages #1470: completed by jaylorch
March 7, 2025 21:09 44s
March 7, 2025 21:09 44s
Specification of std::collections::VecDeque (#1486) ci #6562: Commit c48d088 pushed by jaylorch
March 7, 2025 20:55 13m 46s main
main
March 7, 2025 20:55 13m 46s
Specification for std::collections::VecDeque ci #6561: Pull request #1486 synchronize by jaylorch
March 7, 2025 20:22 21m 53s jaylorch:vecdeque-specs
jaylorch:vecdeque-specs
March 7, 2025 20:22 21m 53s
Specification for std::collections::VecDeque ci #6560: Pull request #1486 synchronize by jaylorch
March 7, 2025 20:22 13m 19s jaylorch:vecdeque-specs
jaylorch:vecdeque-specs
March 7, 2025 20:22 13m 19s
pages pages #1469: completed by parno
March 7, 2025 15:02 45s
March 7, 2025 15:02 45s
Update the interpreter to perform substitutions on type arguments (#1… ci #6559: Commit a0979b4 pushed by parno
March 7, 2025 14:49 13m 27s main
main
March 7, 2025 14:49 13m 27s
A solution to avoid using .set() function by replacing IndexMut with index_set ci #6558: Pull request #1476 synchronize by ziqiaozhou
March 7, 2025 00:55 13m 12s ziqiaozhou:index_set
ziqiaozhou:index_set
March 7, 2025 00:55 13m 12s
A solution to avoid using .set() function by replacing IndexMut with index_set ci #6557: Pull request #1476 synchronize by ziqiaozhou
March 7, 2025 00:28 14m 49s ziqiaozhou:index_set
ziqiaozhou:index_set
March 7, 2025 00:28 14m 49s
Specification for std::collections::VecDeque ci #6556: Pull request #1486 synchronize by jaylorch
March 7, 2025 00:16 18m 41s jaylorch:vecdeque-specs
jaylorch:vecdeque-specs
March 7, 2025 00:16 18m 41s
Specification for std::collections::VecDeque ci #6555: Pull request #1486 synchronize by jaylorch
March 7, 2025 00:14 13m 53s jaylorch:vecdeque-specs
jaylorch:vecdeque-specs
March 7, 2025 00:14 13m 53s
pages pages #1468: completed by Chris-Hawblitzel
March 6, 2025 23:50 52s
March 6, 2025 23:50 52s