Repository navigation
Update Kani Metrics - #1
Open
github-actions[bot] wants to merge 1 commit into
Open
github-actions[bot] wants to merge 1 commit into
github-actions[bot] wants to merge 1 commit into
Conversation
github-actions
Bot
force-pushed
the
update-kani-metrics
branch
from
February 23, 2025 01:37
f1a9fbd to
973e6fd
Compare
github-actions
Bot
force-pushed
the
update-kani-metrics
branch
from
April 6, 2025 02:08
973e6fd to
1f7ceb4
Compare
github-actions
Bot
force-pushed
the
update-kani-metrics
branch
2 times, most recently
from
April 20, 2025 02:11
6de3c08 to
c6aa9bc
Compare
github-actions
Bot
force-pushed
the
update-kani-metrics
branch
from
April 27, 2025 02:10
c6aa9bc to
6ebcf37
Compare
github-actions
Bot
force-pushed
the
update-kani-metrics
branch
from
May 4, 2025 02:19
6ebcf37 to
0cb51dd
Compare
github-actions
Bot
force-pushed
the
update-kani-metrics
branch
from
May 11, 2025 02:30
0cb51dd to
424ed5c
Compare
github-actions
Bot
force-pushed
the
update-kani-metrics
branch
from
May 18, 2025 02:34
424ed5c to
33d47bf
Compare
github-actions
Bot
force-pushed
the
update-kani-metrics
branch
from
May 25, 2025 02:39
33d47bf to
f7e8fa7
Compare
github-actions
Bot
force-pushed
the
update-kani-metrics
branch
from
June 1, 2025 02:48
f7e8fa7 to
374555b
Compare
github-actions
Bot
force-pushed
the
update-kani-metrics
branch
from
June 8, 2025 02:51
374555b to
e9819e5
Compare
github-actions
Bot
force-pushed
the
update-kani-metrics
branch
2 times, most recently
from
June 22, 2025 02:52
e84177d to
6d3193f
Compare
github-actions
Bot
force-pushed
the
update-kani-metrics
branch
2 times, most recently
from
July 6, 2025 02:52
8e8d2e2 to
7eec336
Compare
github-actions
Bot
force-pushed
the
update-kani-metrics
branch
from
July 13, 2025 02:57
7eec336 to
0215122
Compare
github-actions
Bot
force-pushed
the
update-kani-metrics
branch
2 times, most recently
from
July 27, 2025 03:00
9331f31 to
5749c05
Compare
github-actions
Bot
force-pushed
the
update-kani-metrics
branch
from
August 3, 2025 03:00
5749c05 to
da88f59
Compare
github-actions
Bot
force-pushed
the
update-kani-metrics
branch
2 times, most recently
from
August 17, 2025 02:51
9f6e9d1 to
c65ae29
Compare
github-actions
Bot
force-pushed
the
update-kani-metrics
branch
from
August 24, 2025 02:49
c65ae29 to
c9054a9
Compare
github-actions
Bot
force-pushed
the
update-kani-metrics
branch
from
August 31, 2025 02:56
c9054a9 to
daecbe2
Compare
btj
pushed a commit
that referenced
this pull request
Sep 5, 2025
…=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
Bot
force-pushed
the
update-kani-metrics
branch
from
September 7, 2025 02:40
daecbe2 to
3655cb5
Compare
github-actions
Bot
force-pushed
the
update-kani-metrics
branch
from
September 21, 2025 02:43
3655cb5 to
ffe24f9
Compare
github-actions
Bot
force-pushed
the
update-kani-metrics
branch
2 times, most recently
from
October 5, 2025 02:44
9ae3b89 to
400428e
Compare
github-actions
Bot
force-pushed
the
update-kani-metrics
branch
from
October 12, 2025 02:38
400428e to
db106c2
Compare
github-actions
Bot
force-pushed
the
update-kani-metrics
branch
from
October 19, 2025 02:46
db106c2 to
23f2c97
Compare
github-actions
Bot
force-pushed
the
update-kani-metrics
branch
2 times, most recently
from
January 18, 2026 02:56
29e3608 to
5034edd
Compare
github-actions
Bot
force-pushed
the
update-kani-metrics
branch
from
January 25, 2026 03:03
5034edd to
bfd0179
Compare
github-actions
Bot
force-pushed
the
update-kani-metrics
branch
from
February 1, 2026 03:36
bfd0179 to
9eaba38
Compare
github-actions
Bot
force-pushed
the
update-kani-metrics
branch
2 times, most recently
from
February 15, 2026 03:31
6fa60c6 to
4dc71c4
Compare
github-actions
Bot
force-pushed
the
update-kani-metrics
branch
from
February 22, 2026 03:22
4dc71c4 to
88954e7
Compare
github-actions
Bot
force-pushed
the
update-kani-metrics
branch
2 times, most recently
from
March 8, 2026 03:17
bf7f0d2 to
0cd950d
Compare
github-actions
Bot
force-pushed
the
update-kani-metrics
branch
2 times, most recently
from
March 22, 2026 03:25
6fde7b3 to
3d8435f
Compare
github-actions
Bot
force-pushed
the
update-kani-metrics
branch
from
March 29, 2026 03:35
3d8435f to
d777439
Compare
github-actions
Bot
force-pushed
the
update-kani-metrics
branch
from
April 5, 2026 03:36
d777439 to
7b45b3b
Compare
github-actions
Bot
force-pushed
the
update-kani-metrics
branch
from
April 12, 2026 03:46
7b45b3b to
70a0324
Compare
github-actions
Bot
force-pushed
the
update-kani-metrics
branch
from
April 19, 2026 03:49
70a0324 to
662d455
Compare
github-actions
Bot
force-pushed
the
update-kani-metrics
branch
from
April 26, 2026 03:50
662d455 to
27d9f69
Compare
github-actions
Bot
force-pushed
the
update-kani-metrics
branch
from
May 3, 2026 04:24
27d9f69 to
dcb6b87
Compare
github-actions
Bot
force-pushed
the
update-kani-metrics
branch
from
May 10, 2026 04:25
dcb6b87 to
bf54fa4
Compare
github-actions
Bot
force-pushed
the
update-kani-metrics
branch
from
May 17, 2026 04:33
bf54fa4 to
d47c8e9
Compare
github-actions
Bot
force-pushed
the
update-kani-metrics
branch
from
May 24, 2026 04:42
d47c8e9 to
13888b7
Compare
github-actions
Bot
force-pushed
the
update-kani-metrics
branch
from
May 31, 2026 05:03
13888b7 to
0f3dbb6
Compare
github-actions
Bot
force-pushed
the
update-kani-metrics
branch
from
June 7, 2026 05:12
0f3dbb6 to
6172cc3
Compare
github-actions
Bot
force-pushed
the
update-kani-metrics
branch
from
June 14, 2026 05:14
6172cc3 to
7405339
Compare
github-actions
Bot
force-pushed
the
update-kani-metrics
branch
2 times, most recently
from
June 28, 2026 04:54
7d217ee to
4cd9ada
Compare
github-actions
Bot
force-pushed
the
update-kani-metrics
branch
2 times, most recently
from
July 12, 2026 03:58
fad6080 to
5547e5e
Compare
github-actions
Bot
force-pushed
the
update-kani-metrics
branch
from
July 19, 2026 03:50
5547e5e to
bc14e83
Compare
github-actions
Bot
force-pushed
the
update-kani-metrics
branch
from
July 26, 2026 03:59
bc14e83 to
b5adb36
Compare
This branch has not been deployed
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
This is an automated PR to update Kani metrics.
The metrics have been updated by running
./scripts/run-kani.sh --run metrics.