Skip to content

Conversation

@jmkjmt
Copy link
Collaborator

@jmkjmt jmkjmt commented Jul 11, 2025

test github actions

@github-actions

This comment was marked as outdated.

@github-actions
Copy link

Benchmark Summaries

Benchmark: clam

Problem Success Error Timeout Total
clam 18 20 12 50
Total 18 20 12 50

Benchmark: dilemma-bench

Problem Success Error Timeout Total
natmul 6 2 2 10
lambda 3 2 5 10
natadd 7 0 0 7
formula 0 1 0 1
filter 0 1 1 2
uniq 0 9 3 12
sigma 0 5 0 5
max 0 2 0 2
Total 16 22 11 49

Benchmark: isaplanner

No results found.

Benchmark: optimization

No results found.

@jmkjmt jmkjmt merged commit 140e198 into main Jul 11, 2025
1 check passed
@jmkjmt jmkjmt deleted the github-actions branch July 11, 2025 06:39
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.

3 participants