Skip to content

Update Kani Metrics#1

Open
github-actions[bot] wants to merge 1 commit into
mainfrom
update-kani-metrics
Open

Update Kani Metrics#1
github-actions[bot] wants to merge 1 commit into
mainfrom
update-kani-metrics

Conversation

@github-actions

@github-actions github-actions Bot commented Feb 16, 2025

Copy link
Copy Markdown

This is an automated PR to update Kani metrics.

The metrics have been updated by running ./scripts/run-kani.sh --run metrics.

@github-actions github-actions Bot force-pushed the update-kani-metrics branch from f1a9fbd to 973e6fd Compare February 23, 2025 01:37
@github-actions github-actions Bot force-pushed the update-kani-metrics branch from 973e6fd to 1f7ceb4 Compare April 6, 2025 02:08
@github-actions github-actions Bot force-pushed the update-kani-metrics branch 2 times, most recently from 6de3c08 to c6aa9bc Compare April 20, 2025 02:11
@github-actions github-actions Bot force-pushed the update-kani-metrics branch from c6aa9bc to 6ebcf37 Compare April 27, 2025 02:10
@github-actions github-actions Bot force-pushed the update-kani-metrics branch from 6ebcf37 to 0cb51dd Compare May 4, 2025 02:19
@github-actions github-actions Bot force-pushed the update-kani-metrics branch from 0cb51dd to 424ed5c Compare May 11, 2025 02:30
@github-actions github-actions Bot force-pushed the update-kani-metrics branch from 424ed5c to 33d47bf Compare May 18, 2025 02:34
@github-actions github-actions Bot force-pushed the update-kani-metrics branch from 33d47bf to f7e8fa7 Compare May 25, 2025 02:39
@github-actions github-actions Bot force-pushed the update-kani-metrics branch from f7e8fa7 to 374555b Compare June 1, 2025 02:48
@github-actions github-actions Bot force-pushed the update-kani-metrics branch from 374555b to e9819e5 Compare June 8, 2025 02:51
@github-actions github-actions Bot force-pushed the update-kani-metrics branch 2 times, most recently from e84177d to 6d3193f Compare June 22, 2025 02:52
@github-actions github-actions Bot force-pushed the update-kani-metrics branch 2 times, most recently from 8e8d2e2 to 7eec336 Compare July 6, 2025 02:52
@github-actions github-actions Bot force-pushed the update-kani-metrics branch from 7eec336 to 0215122 Compare July 13, 2025 02:57
@github-actions github-actions Bot force-pushed the update-kani-metrics branch 2 times, most recently from 9331f31 to 5749c05 Compare July 27, 2025 03:00
@github-actions github-actions Bot force-pushed the update-kani-metrics branch from 5749c05 to da88f59 Compare August 3, 2025 03:00
@github-actions github-actions Bot force-pushed the update-kani-metrics branch 2 times, most recently from 9f6e9d1 to c65ae29 Compare August 17, 2025 02:51
@github-actions github-actions Bot force-pushed the update-kani-metrics branch from c65ae29 to c9054a9 Compare August 24, 2025 02:49
@github-actions github-actions Bot force-pushed the update-kani-metrics branch from c9054a9 to daecbe2 Compare August 31, 2025 02:56
btj pushed a commit that referenced this pull request Sep 5, 2025
@matthiaskrgr
Rollup merge of rust-lang#145675 - Oneirical:uncountable-integer-8, r…
e15744e 
…=jieyouxu

Rehome 30 `tests/ui/issues/` tests to other subdirectories under `tests/ui/` [#1 of Batch model-checking#2]

Part of rust-lang#133895

Methodology:

1. Refer to the previously written `tests/ui/SUMMARY.md`
2. Find an appropriate category for the test, using the original issue thread and the test contents.
3. Add the issue URL at the bottom (not at the top, as that would mess up stderr line numbers)
4. Rename the tests to make their purpose clearer

Inspired by the methodology that `@Kivooeo` was using.

r? `@jieyouxu`
@github-actions github-actions Bot force-pushed the update-kani-metrics branch from daecbe2 to 3655cb5 Compare September 7, 2025 02:40
@github-actions github-actions Bot force-pushed the update-kani-metrics branch 2 times, most recently from 9ae3b89 to 400428e Compare October 5, 2025 02:44
@github-actions github-actions Bot force-pushed the update-kani-metrics branch from 400428e to db106c2 Compare October 12, 2025 02:38
@github-actions github-actions Bot force-pushed the update-kani-metrics branch from db106c2 to 23f2c97 Compare October 19, 2025 02:46
@github-actions github-actions Bot force-pushed the update-kani-metrics branch 2 times, most recently from 1357cf7 to ea7d271 Compare December 7, 2025 02:53
@github-actions github-actions Bot force-pushed the update-kani-metrics branch from ea7d271 to 6055725 Compare December 14, 2025 02:49
@github-actions github-actions Bot force-pushed the update-kani-metrics branch from 6055725 to 3a29c9f Compare December 21, 2025 02:51
@github-actions github-actions Bot force-pushed the update-kani-metrics branch from 3a29c9f to 8e36f6c Compare December 28, 2025 02:56
@github-actions github-actions Bot force-pushed the update-kani-metrics branch from 8e36f6c to 4279b61 Compare January 4, 2026 02:58
@github-actions github-actions Bot force-pushed the update-kani-metrics branch 2 times, most recently from 29e3608 to 5034edd Compare January 18, 2026 02:56
@github-actions github-actions Bot force-pushed the update-kani-metrics branch from 5034edd to bfd0179 Compare January 25, 2026 03:03
@github-actions github-actions Bot force-pushed the update-kani-metrics branch from bfd0179 to 9eaba38 Compare February 1, 2026 03:36
@github-actions github-actions Bot force-pushed the update-kani-metrics branch 2 times, most recently from 6fa60c6 to 4dc71c4 Compare February 15, 2026 03:31
@github-actions github-actions Bot force-pushed the update-kani-metrics branch from 4dc71c4 to 88954e7 Compare February 22, 2026 03:22
@github-actions github-actions Bot force-pushed the update-kani-metrics branch 2 times, most recently from bf7f0d2 to 0cd950d Compare March 8, 2026 03:17
@github-actions github-actions Bot force-pushed the update-kani-metrics branch 2 times, most recently from 6fde7b3 to 3d8435f Compare March 22, 2026 03:25
@github-actions github-actions Bot force-pushed the update-kani-metrics branch from 3d8435f to d777439 Compare March 29, 2026 03:35
@github-actions github-actions Bot force-pushed the update-kani-metrics branch from d777439 to 7b45b3b Compare April 5, 2026 03:36
@github-actions github-actions Bot force-pushed the update-kani-metrics branch from 7b45b3b to 70a0324 Compare April 12, 2026 03:46
@github-actions github-actions Bot force-pushed the update-kani-metrics branch from 70a0324 to 662d455 Compare April 19, 2026 03:49
@github-actions github-actions Bot force-pushed the update-kani-metrics branch from 662d455 to 27d9f69 Compare April 26, 2026 03:50
@github-actions github-actions Bot force-pushed the update-kani-metrics branch from 27d9f69 to dcb6b87 Compare May 3, 2026 04:24
@github-actions github-actions Bot force-pushed the update-kani-metrics branch from dcb6b87 to bf54fa4 Compare May 10, 2026 04:25
@github-actions github-actions Bot force-pushed the update-kani-metrics branch from bf54fa4 to d47c8e9 Compare May 17, 2026 04:33
@github-actions github-actions Bot force-pushed the update-kani-metrics branch from d47c8e9 to 13888b7 Compare May 24, 2026 04:42
@github-actions github-actions Bot force-pushed the update-kani-metrics branch from 13888b7 to 0f3dbb6 Compare May 31, 2026 05:03
@github-actions github-actions Bot force-pushed the update-kani-metrics branch from 0f3dbb6 to 6172cc3 Compare June 7, 2026 05:12
@github-actions github-actions Bot force-pushed the update-kani-metrics branch from 6172cc3 to 7405339 Compare June 14, 2026 05:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@btj