Skip to content

Actions: model-checking/verify-rust-std

Actions

VeriFast

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
verifast.yml
62 workflow runs
62 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

VeriFast VeriFast #62: Merge group checks requested
March 4, 2025 09:32 28s
March 4, 2025 09:32 28s
Refine challenges VeriFast #61: Pull request #247 synchronize by thanhnguyen-aws
March 4, 2025 00:53 24s thanhnguyen-aws:refinechallenges
thanhnguyen-aws:refinechallenges
March 4, 2025 00:53 24s
VeriFast VeriFast #60: Merge group checks requested
March 4, 2025 00:10 23s
March 4, 2025 00:10 23s
Revert "Update subtree to 2025-02-11 (#259)" VeriFast #59: Commit 2e96625 pushed by carolynzech
March 3, 2025 23:01 25s revert-259-sync-2025-02-11
revert-259-sync-2025-02-11
March 3, 2025 23:01 25s
Subtree Update Automation Fixes VeriFast #58: Pull request #250 synchronize by tautschnig
March 3, 2025 22:02 23s thanhnguyen-aws:fixaupdatebug
thanhnguyen-aws:fixaupdatebug
March 3, 2025 22:02 23s
Subtree Update Automation Fixes VeriFast #57: Pull request #250 synchronize by carolynzech
March 3, 2025 21:49 26s thanhnguyen-aws:fixaupdatebug
thanhnguyen-aws:fixaupdatebug
March 3, 2025 21:49 26s
Refine challenges VeriFast #56: Pull request #247 synchronize by thanhnguyen-aws
March 3, 2025 20:42 22s thanhnguyen-aws:refinechallenges
thanhnguyen-aws:refinechallenges
March 3, 2025 20:42 22s
Subtree Update Automation Fixes VeriFast #55: Pull request #250 synchronize by thanhnguyen-aws
March 3, 2025 20:38 24s thanhnguyen-aws:fixaupdatebug
thanhnguyen-aws:fixaupdatebug
March 3, 2025 20:38 24s
Subtree Update Automation Fixes VeriFast #54: Pull request #250 synchronize by thanhnguyen-aws
March 3, 2025 19:43 26s thanhnguyen-aws:fixaupdatebug
thanhnguyen-aws:fixaupdatebug
March 3, 2025 19:43 26s
Subtree Update Automation Fixes VeriFast #53: Pull request #250 synchronize by thanhnguyen-aws
March 3, 2025 19:43 24s thanhnguyen-aws:fixaupdatebug
thanhnguyen-aws:fixaupdatebug
March 3, 2025 19:43 24s
Update subtree to 2025-02-11 (#259) VeriFast #52: Commit dcae9fe pushed by github-merge-queue bot
March 3, 2025 18:18 35s main
main
March 3, 2025 18:18 35s
Update subtree to 2025-02-11 (#259) VeriFast #51: Commit dcae9fe pushed by github-merge-queue bot
March 3, 2025 16:21 28s gh-readonly-queue/main/pr-259-eef04d8e90c5c7507018ed70ab475252343613e1
gh-readonly-queue/main/pr-259-eef04d8e90c5c7507018ed70ab475252343613e1
March 3, 2025 16:21 28s
VeriFast VeriFast #50: Merge group checks requested
March 3, 2025 16:21 26s
March 3, 2025 16:21 26s
Subtree Update Automation Fixes VeriFast #49: Pull request #250 synchronize by carolynzech
March 3, 2025 16:13 27s thanhnguyen-aws:fixaupdatebug
thanhnguyen-aws:fixaupdatebug
March 3, 2025 16:13 27s
Move std-analysis.sh script from Kani repository VeriFast #48: Pull request #261 synchronize by tautschnig
March 3, 2025 14:46 30s tautschnig:move-metrics-script
tautschnig:move-metrics-script
March 3, 2025 14:46 30s
Update subtree to 2025-02-11 VeriFast #47: Pull request #259 synchronize by carolynzech
March 3, 2025 14:19 21s carolynzech:sync-2025-02-11
carolynzech:sync-2025-02-11
March 3, 2025 14:19 21s
Update subtree to 2025-02-11 VeriFast #46: Pull request #259 synchronize by carolynzech
March 3, 2025 14:18 31s carolynzech:sync-2025-02-11
carolynzech:sync-2025-02-11
March 3, 2025 14:18 31s
Move std-analysis.sh script from Kani repository VeriFast #45: Pull request #261 opened by tautschnig
March 3, 2025 12:49 32s tautschnig:move-metrics-script
tautschnig:move-metrics-script
March 3, 2025 12:49 32s
Add 10 more challenges VeriFast #44: Pull request #260 opened by thanhnguyen-aws
February 28, 2025 16:15 25s thanhnguyen-aws:morechallenges
thanhnguyen-aws:morechallenges
February 28, 2025 16:15 25s
Update subtree to 2025-02-11 VeriFast #43: Pull request #259 synchronize by carolynzech
February 26, 2025 18:13 2m 45s carolynzech:sync-2025-02-11
carolynzech:sync-2025-02-11
February 26, 2025 18:13 2m 45s
Update subtree to 2025-02-11 VeriFast #42: Pull request #259 synchronize by carolynzech
February 26, 2025 16:50 28s carolynzech:sync-2025-02-11
carolynzech:sync-2025-02-11
February 26, 2025 16:50 28s
Update subtree to 2025-02-11 VeriFast #41: Pull request #259 opened by carolynzech
February 26, 2025 16:04 25s carolynzech:sync-2025-02-11
carolynzech:sync-2025-02-11
February 26, 2025 16:04 25s
Track metrics for core and std crates, add loop metrics VeriFast #40: Pull request #258 synchronize by tautschnig
February 25, 2025 13:53 37s tautschnig:metrics-std
tautschnig:metrics-std
February 25, 2025 13:53 37s
Track metrics for core and std crates, add loop metrics VeriFast #39: Pull request #258 synchronize by tautschnig
February 25, 2025 13:36 33s tautschnig:metrics-std
tautschnig:metrics-std
February 25, 2025 13:36 33s
Track metrics for core and std crates, add loop metrics VeriFast #38: Pull request #258 synchronize by tautschnig
February 25, 2025 13:13 34s tautschnig:metrics-std
tautschnig:metrics-std
February 25, 2025 13:13 34s