Skip to content

Actions: verus-lang/verus

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,139 workflow runs
3,139 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages pages #1217: completed by tjhance
October 4, 2024 17:53 49s
October 4, 2024 17:53 49s
clean-up doubly_linked example a bit more ci #5964: Commit b7b9da2 pushed by tjhance
October 4, 2024 17:43 10m 8s main
main
October 4, 2024 17:43 10m 8s
pages pages #1216: completed by tjhance
October 4, 2024 15:34 57s
October 4, 2024 15:34 57s
verusdoc: make VerusSync docs look better ci #5963: Commit accf4e6 pushed by tjhance
October 4, 2024 15:21 12m 39s main
main
October 4, 2024 15:21 12m 39s
pages pages #1215: completed by tjhance
October 4, 2024 14:57 58s
October 4, 2024 14:57 58s
clean up the doubly-linked list example ci #5962: Commit 020a751 pushed by tjhance
October 4, 2024 14:44 12m 45s main
main
October 4, 2024 14:44 12m 45s
vargo: Decouple from rustup ci #5961: Pull request #877 synchronize by zhaofengli
October 4, 2024 14:35 14m 16s mars-research:decouple-rustup
mars-research:decouple-rustup
October 4, 2024 14:35 14m 16s
vargo: Decouple from rustup ci #5960: Pull request #877 synchronize by zhaofengli
October 4, 2024 14:29 10m 41s mars-research:decouple-rustup
mars-research:decouple-rustup
October 4, 2024 14:29 10m 41s
Add is_empty and is_singleton to multiset ci #5959: Pull request #1246 synchronize by rikosellic
October 3, 2024 04:50 Action required rikosellic:main
rikosellic:main
October 3, 2024 04:50 Action required
Small macros to avoid use of verus!{} for executable codes. ci #5958: Pull request #1297 synchronize by ziqiaozhou
October 2, 2024 22:09 12m 49s ziqiaozhou:small-macros
ziqiaozhou:small-macros
October 2, 2024 22:09 12m 49s
Small macros to avoid use of verus!{} for executable codes. ci #5957: Pull request #1297 synchronize by ziqiaozhou
October 2, 2024 22:05 11m 18s ziqiaozhou:small-macros
ziqiaozhou:small-macros
October 2, 2024 22:05 11m 18s
pages pages #1214: completed by Chris-Hawblitzel
October 2, 2024 18:42 1m 0s
October 2, 2024 18:42 1m 0s
Add dep state_machines_macros into vstd (#1290) ci #5956: Commit 7af3e4c pushed by Chris-Hawblitzel
October 2, 2024 18:30 11m 28s main
main
October 2, 2024 18:30 11m 28s
Small macros to avoid use of verus!{} for executable codes. ci #5955: Pull request #1297 synchronize by ziqiaozhou
October 2, 2024 18:17 11m 27s ziqiaozhou:small-macros
ziqiaozhou:small-macros
October 2, 2024 18:17 11m 27s
Small macros to avoid use of verus!{} for executable codes. ci #5954: Pull request #1297 opened by ziqiaozhou
October 2, 2024 17:59 11m 42s ziqiaozhou:small-macros
ziqiaozhou:small-macros
October 2, 2024 17:59 11m 42s
Add extend to HashMap and StringHashMap ci #5953: Pull request #1295 synchronize by marshtompsxd
October 2, 2024 01:47 11m 18s marshtompsxd:xudong/dev
marshtompsxd:xudong/dev
October 2, 2024 01:47 11m 18s
Add extend to HashMap and StringHashMap ci #5952: Pull request #1295 synchronize by marshtompsxd
October 2, 2024 01:35 7m 19s marshtompsxd:xudong/dev
marshtompsxd:xudong/dev
October 2, 2024 01:35 7m 19s
add support for prophecy variables ci #5951: Pull request #1293 synchronize by zeldovich
October 2, 2024 01:20 11m 57s zeldovich:proph
zeldovich:proph
October 2, 2024 01:20 11m 57s
Add extend to HashMap and StringHashMap ci #5950: Pull request #1295 opened by marshtompsxd
October 2, 2024 01:09 8m 46s marshtompsxd:xudong/dev
marshtompsxd:xudong/dev
October 2, 2024 01:09 8m 46s
pages pages #1213: completed by tjhance
October 2, 2024 00:57 59s
October 2, 2024 00:57 59s
rebase issues ci #5949: Commit 1a2fb58 pushed by tjhance
October 2, 2024 00:46 11m 16s main
main
October 2, 2024 00:46 11m 16s
more consistent handling of unit-return functions ci #5948: Pull request #1280 synchronize by tjhance
October 2, 2024 00:24 10m 57s ret-param
ret-param
October 2, 2024 00:24 10m 57s
pages pages #1212: completed by tjhance
October 2, 2024 00:23 53s
October 2, 2024 00:23 53s
more consistent handling of unit-return functions ci #5947: Pull request #1280 synchronize by tjhance
October 2, 2024 00:15 9m 43s ret-param
ret-param
October 2, 2024 00:15 9m 43s
fix warnings ci #5946: Commit 9c420e4 pushed by tjhance
October 2, 2024 00:11 11m 42s main
main
October 2, 2024 00:11 11m 42s