Skip to content

Actions: verus-lang/verus

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Override vargo target dir ci #6382: Pull request #1433 opened by slerpyyy
February 5, 2025 14:23 Action required slerpyyy:fix-activate-target-dir
slerpyyy:fix-activate-target-dir
February 5, 2025 14:23 Action required
pages pages #1408: completed by utaal
February 5, 2025 13:07 16s
February 5, 2025 13:07 16s
update veritas to rust 1.82.0, update run configurations ci #6381: Commit b6df2c5 pushed by utaal
February 5, 2025 12:52 14m 43s main
main
February 5, 2025 12:52 14m 43s
pages pages #1407: completed by matthias-brun
February 5, 2025 11:43 13s
February 5, 2025 11:43 13s
Add map union lemmas ci #6380: Commit a3b6473 pushed by matthias-brun
February 5, 2025 11:29 13m 51s main
main
February 5, 2025 11:29 13m 51s
update veritas to rust 1.82.0, update run configurations ci #6379: Pull request #1431 opened by utaal
February 5, 2025 10:26 14m 38s veritas-1.82
veritas-1.82
February 5, 2025 10:26 14m 38s
Add lemmas for map union_prefer_right ci #6378: Pull request #1427 opened by matthias-brun
February 4, 2025 12:56 12m 41s matthias-brun:map-lemmas
matthias-brun:map-lemmas
February 4, 2025 12:56 12m 41s
Add model for vstd Set and prove its axioms ci #6377: Pull request #1426 synchronize by matthias-brun
February 3, 2025 12:12 16m 58s matthias-brun:verified-set-axioms
matthias-brun:verified-set-axioms
February 3, 2025 12:12 16m 58s
Add model for vstd Set and prove its axioms ci #6376: Pull request #1426 opened by matthias-brun
February 1, 2025 10:58 11m 7s matthias-brun:verified-set-axioms
matthias-brun:verified-set-axioms
February 1, 2025 10:58 11m 7s
Support let-else ci #6375: Pull request #1408 synchronize by ziqiaozhou
January 31, 2025 22:41 12m 23s let_else
let_else
January 31, 2025 22:41 12m 23s
Support let-else ci #6374: Pull request #1408 synchronize by ziqiaozhou
January 31, 2025 21:49 8m 45s let_else
let_else
January 31, 2025 21:49 8m 45s
pages pages #1406: completed by Chris-Hawblitzel
January 31, 2025 20:04 14s
January 31, 2025 20:04 14s
Merge pull request #1423 from verus-lang/syn-merge ci #6373: Commit 4672e76 pushed by Chris-Hawblitzel
January 31, 2025 19:52 12m 15s main
main
January 31, 2025 19:52 12m 15s
Syn merge ci #6372: Pull request #1423 synchronize by utaal
January 31, 2025 19:36 12m 15s syn-merge
syn-merge
January 31, 2025 19:36 12m 15s
pages pages #1405: completed by Chris-Hawblitzel
January 31, 2025 19:06 10s
January 31, 2025 19:06 10s
When needed, add type parameters and variant check to field access (#… ci #6371: Commit 514f227 pushed by Chris-Hawblitzel
January 31, 2025 18:53 13m 30s main
main
January 31, 2025 18:53 13m 30s
When needed, add type parameters and variant check to field access ci #6370: Pull request #1411 synchronize by Chris-Hawblitzel
January 31, 2025 18:37 12m 59s field-access
field-access
January 31, 2025 18:37 12m 59s
pages pages #1404: completed by y1ca1
January 31, 2025 15:54 13s
January 31, 2025 15:54 13s
Implement View and DeepView for Option<T> (#1389) ci #6369: Commit 6c984e4 pushed by y1ca1
January 31, 2025 15:40 14m 4s main
main
January 31, 2025 15:40 14m 4s
pages pages #1403: completed by utaal
January 31, 2025 07:17 13s
January 31, 2025 07:17 13s
state machines macros State ext_equal attribute should be gated by ve… ci #6368: Commit 768da6e pushed by utaal
January 31, 2025 07:04 12m 13s main
main
January 31, 2025 07:04 12m 13s
Syn merge ci #6367: Pull request #1423 synchronize by Chris-Hawblitzel
January 31, 2025 05:17 12m 11s syn-merge
syn-merge
January 31, 2025 05:17 12m 11s
Syn merge ci #6366: Pull request #1423 synchronize by Chris-Hawblitzel
January 31, 2025 04:57 13m 50s syn-merge
syn-merge
January 31, 2025 04:57 13m 50s
pages pages #1402: completed by jonhnet
January 31, 2025 04:49 10s
January 31, 2025 04:49 10s
Add ext_equal attr to atomic state_machine! generated State structs (… ci #6365: Commit 59c71d8 pushed by jonhnet
January 31, 2025 04:36 12m 57s main
main
January 31, 2025 04:36 12m 57s