Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

A small bug related to creation of evaluation domains of size 1. #192

Merged
merged 1 commit into from
Dec 12, 2024

Conversation

martun
Copy link
Contributor

@martun martun commented Dec 11, 2024

No description provided.

@martun martun requested a review from ayashunsky December 11, 2024 10:51
@martun martun self-assigned this Dec 11, 2024
@martun martun enabled auto-merge December 11, 2024 11:38
Copy link

Clang Test Results

  159 files  ± 0    159 suites  ±0   18m 17s ⏱️ +6s
3 172 tests +93  3 166 ✅ +93  6 💤 ±0  0 ❌ ±0 
3 260 runs  +93  3 254 ✅ +93  6 💤 ±0  0 ❌ ±0 

Results for commit befafb1. ± Comparison against base commit d0a06c5.

This pull request removes 6 and adds 99 tests. Note that renamed tests count towards both.
pack_imploder_test_suite ‑ be_to_be_1
pack_imploder_test_suite ‑ be_to_be_2
pack_imploder_test_suite ‑ be_to_le_1
pack_imploder_test_suite ‑ be_to_le_2
pack_imploder_test_suite ‑ be_to_le_3
pack_imploder_test_suite ‑ bubb_to_lulb_4
pack_equal_test_suite ‑ bubb_to_bubb_1
pack_equal_test_suite ‑ bubb_to_bubb_2
pack_equal_test_suite ‑ bubb_to_bubb_3
pack_equal_test_suite ‑ bubb_to_bulb_1
pack_equal_test_suite ‑ bubb_to_bulb_2
pack_equal_test_suite ‑ bubb_to_lubb_1
pack_equal_test_suite ‑ bubb_to_lubb_2
pack_equal_test_suite ‑ bubb_to_lubb_3
pack_equal_test_suite ‑ bubb_to_lulb_1
pack_equal_test_suite ‑ bubb_to_lulb_2
…

Copy link

Gcc Test Results

  159 files  ±0    159 suites  ±0   19m 15s ⏱️ +9s
3 176 tests ±0  3 170 ✅ ±0  6 💤 ±0  0 ❌ ±0 
3 264 runs  ±0  3 258 ✅ ±0  6 💤 ±0  0 ❌ ±0 

Results for commit befafb1. ± Comparison against base commit d0a06c5.

@martun martun added this pull request to the merge queue Dec 11, 2024
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to no response for status checks Dec 11, 2024
@martun martun added this pull request to the merge queue Dec 12, 2024
Merged via the queue into master with commit afd105e Dec 12, 2024
10 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants