Skip to content

Actions: verus-lang/verus

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages pages #1335: completed by tjhance
December 23, 2024 19:23 49s
December 23, 2024 19:23 49s
in rust_to_vir_func, handle params before the function body ci #6205: Commit dad7116 pushed by tjhance
December 23, 2024 19:10 12m 53s main
main
December 23, 2024 19:10 12m 53s
pages pages #1334: completed by tjhance
December 22, 2024 22:02 50s
December 22, 2024 22:02 50s
code cleanup: syntax macro, spec operators ci #6204: Commit 2fe5339 pushed by tjhance
December 22, 2024 21:50 12m 42s main
main
December 22, 2024 21:50 12m 42s
ci ci #6203: Manually run by tjhance
December 22, 2024 21:37 10m 48s syntax-reogranization
syntax-reogranization
December 22, 2024 21:37 10m 48s
apply exteq heuristics to assert-by and ensures, fixes #1257 ci #6202: Pull request #1371 opened by tjhance
December 22, 2024 15:06 11m 33s exteq-heuristics-assert-by-and-ensures
exteq-heuristics-assert-by-and-ensures
December 22, 2024 15:06 11m 33s
pages pages #1333: completed by tjhance
December 22, 2024 03:32 52s
December 22, 2024 03:32 52s
bugfix: fix panic in reveal_hide from PrimTy, fixes #1228 ci #6201: Commit 9685b98 pushed by tjhance
December 22, 2024 03:18 13m 34s main
main
December 22, 2024 03:18 13m 34s
pages pages #1332: completed by tjhance
December 22, 2024 00:58 51s
December 22, 2024 00:58 51s
bugfix: for fuel statements, check if function is recursive, fixes #644 ci #6200: Commit b7f6e1c pushed by tjhance
December 22, 2024 00:47 11m 32s main
main
December 22, 2024 00:47 11m 32s
pages pages #1331: completed by tjhance
December 21, 2024 23:59 52s
December 21, 2024 23:59 52s
support while loop with continue but no break, fixes #421 ci #6199: Commit 09958f1 pushed by tjhance
December 21, 2024 23:49 10m 53s main
main
December 21, 2024 23:49 10m 53s
pages pages #1330: completed by tjhance
December 21, 2024 21:59 54s
December 21, 2024 21:59 54s
error on Header expression in unexpected place, fixes #1365 ci #6198: Commit f47583e pushed by tjhance
December 21, 2024 21:48 11m 24s main
main
December 21, 2024 21:48 11m 24s
pages pages #1329: completed by tjhance
December 21, 2024 21:27 47s
December 21, 2024 21:27 47s
error for use of 'reveal' on closed function, fixes #1327 ci #6197: Commit cb1ef5c pushed by tjhance
December 21, 2024 21:14 13m 37s main
main
December 21, 2024 21:14 13m 37s
pages pages #1328: completed by tjhance
December 21, 2024 01:06 59s
December 21, 2024 01:06 59s
external_fn_specification: better error messages for not-supported cases ci #6196: Commit e8472ef pushed by tjhance
December 21, 2024 00:54 12m 21s main
main
December 21, 2024 00:54 12m 21s
pages pages #1327: completed by tjhance
December 20, 2024 23:59 1m 13s
December 20, 2024 23:59 1m 13s
Allow vstd to support 32-bit platforms (#1370) ci #6195: Commit 3e21ec9 pushed by tjhance
December 20, 2024 23:48 11m 2s main
main
December 20, 2024 23:48 11m 2s
Allow vstd to support 32-bit platforms ci #6194: Pull request #1370 synchronize by aaurandt
December 20, 2024 23:21 11m 35s aaurandt:main
aaurandt:main
December 20, 2024 23:21 11m 35s
Allow vstd to support 32-bit platforms ci #6193: Pull request #1370 opened by aaurandt
December 20, 2024 22:39 11m 48s aaurandt:main
aaurandt:main
December 20, 2024 22:39 11m 48s
Add fibonacci example to the Guide to illustrate how spec, proof, and exec code work together ci #6192: Pull request #1354 synchronize by parno
December 20, 2024 21:27 11m 27s doc-fib
doc-fib
December 20, 2024 21:27 11m 27s
Add fibonacci example to the Guide to illustrate how spec, proof, and exec code work together ci #6191: Pull request #1354 synchronize by parno
December 20, 2024 16:55 15m 31s doc-fib
doc-fib
December 20, 2024 16:55 15m 31s
pages pages #1326: completed by tjhance
December 20, 2024 14:48 51s
December 20, 2024 14:48 51s