{math}[foss/2020b] Demystify v0.0.17 w/ Python 3.8.6 #17990

lexming · 2023-05-30T12:08:53Z

(created using eb --new-pr)

Depends on:

{tools}[GCCcore/11.3.0] Z3 v4.10.2, Z3 v4.8.16, Z3 v4.8.12, ... w/ Python 3.10.4 + 3.9.6 + 3.9.5 + 3.8.6 #18284

easybuild/easyconfigs/d/Demystify/Demystify-0.0.17-foss-2020b.eb

verdurin

Looks fine.

verdurin · 2023-06-21T17:09:21Z

@boegelbot please test @ generoso

verdurin · 2023-06-21T17:09:29Z

Test report by @verdurin
FAILED
Build succeeded for 0 out of 1 (1 easyconfigs in total)
easybuild-c7.novalocal - Linux CentOS Linux 7.9.2009, x86_64, Intel Xeon Processor (Skylake, IBRS), Python 3.6.8
See https://gist.github.com/verdurin/cd77f813e87b4a568d3aadf67c4088f6 for a full test report.

boegelbot · 2023-06-21T17:10:09Z

@verdurin: Request for testing this PR well received on login1

PR test command 'EB_PR=17990 EB_ARGS= EB_CONTAINER= /opt/software/slurm/bin/sbatch --job-name test_PR_17990 --ntasks=4 ~/boegelbot/eb_from_pr_upload_generoso.sh' executed!

exit code: 0
output:

Submitted batch job 11066

Test results coming soon (I hope)...

Details

- notification for comment with ID 1601251129 processed

Message to humans: this is just bookkeeping information for me,
it is of no use to you (unless you think I have a bug, which I don't).

boegelbot · 2023-06-21T17:11:29Z

Test report by @boegelbot
FAILED
Build succeeded for 0 out of 1 (1 easyconfigs in total)
cns1 - Linux Rocky Linux 8.5, x86_64, Intel(R) Xeon(R) CPU E5-2667 v3 @ 3.20GHz (haswell), Python 3.6.8
See https://gist.github.com/boegelbot/6c08374639034591070560b8989b0dd0 for a full test report.

lexming · 2023-07-04T21:53:55Z

@boegelbot: please test @ generoso

boegelbot · 2023-07-04T21:55:10Z

@lexming: Request for testing this PR well received on login1

PR test command 'EB_PR=17990 EB_ARGS= EB_CONTAINER= /opt/software/slurm/bin/sbatch --job-name test_PR_17990 --ntasks=4 ~/boegelbot/eb_from_pr_upload_generoso.sh' executed!

exit code: 0
output:

Submitted batch job 11207

Test results coming soon (I hope)...

Details

- notification for comment with ID 1620781493 processed

Message to humans: this is just bookkeeping information for me,
it is of no use to you (unless you think I have a bug, which I don't).

boegelbot · 2023-07-04T21:56:16Z

Test report by @boegelbot
FAILED
Build succeeded for 0 out of 1 (1 easyconfigs in total)
cns1 - Linux Rocky Linux 8.5, x86_64, Intel(R) Xeon(R) CPU E5-2667 v3 @ 3.20GHz (haswell), Python 3.6.8
See https://gist.github.com/boegelbot/933adf1effc27675dae67072e1f9d511 for a full test report.

lexming · 2023-07-07T21:41:13Z

Failed tests are due to missing z3_solver. This PR needs #18284

…asyconfigs into 20230530140849_new_pr_Demystify0017

lexming · 2023-07-11T15:12:14Z

@boegelbot: please test @ generoso

boegelbot · 2023-07-11T15:15:09Z

@lexming: Request for testing this PR well received on login1

PR test command 'EB_PR=17990 EB_ARGS= EB_CONTAINER= /opt/software/slurm/bin/sbatch --job-name test_PR_17990 --ntasks=4 ~/boegelbot/eb_from_pr_upload_generoso.sh' executed!

exit code: 0
output:

Submitted batch job 11228

Test results coming soon (I hope)...

Details

- notification for comment with ID 1631012329 processed

Message to humans: this is just bookkeeping information for me,
it is of no use to you (unless you think I have a bug, which I don't).

boegelbot · 2023-07-11T15:16:05Z

Test report by @boegelbot
FAILED
Build succeeded for 0 out of 1 (1 easyconfigs in total)
cns1 - Linux Rocky Linux 8.5, x86_64, Intel(R) Xeon(R) CPU E5-2667 v3 @ 3.20GHz (haswell), Python 3.6.8
See https://gist.github.com/boegelbot/415c1ae9f55b38ddfe4c67f3790e0408 for a full test report.

lexming · 2023-07-11T15:19:45Z

@boegelbot: please test @ generoso

boegelbot · 2023-07-11T15:20:09Z

@lexming: Request for testing this PR well received on login1

PR test command 'EB_PR=17990 EB_ARGS= EB_CONTAINER= /opt/software/slurm/bin/sbatch --job-name test_PR_17990 --ntasks=4 ~/boegelbot/eb_from_pr_upload_generoso.sh' executed!

exit code: 0
output:

Submitted batch job 11229

Test results coming soon (I hope)...

Details

- notification for comment with ID 1631024840 processed

Message to humans: this is just bookkeeping information for me,
it is of no use to you (unless you think I have a bug, which I don't).

boegelbot · 2023-07-11T15:21:10Z

Test report by @boegelbot
SUCCESS
Build succeeded for 1 out of 1 (1 easyconfigs in total)
cns1 - Linux Rocky Linux 8.5, x86_64, Intel(R) Xeon(R) CPU E5-2667 v3 @ 3.20GHz (haswell), Python 3.6.8
See https://gist.github.com/boegelbot/93dcf5705694579ace48290f47deaad9 for a full test report.

lexming · 2023-07-11T15:45:08Z

@boegelbot please test @ jsc-zen2

boegelbot · 2023-07-11T15:47:09Z

@lexming: Request for testing this PR well received on jsczen2l1.int.jsc-zen2.easybuild-test.cluster

PR test command 'EB_PR=17990 EB_ARGS= /opt/software/slurm/bin/sbatch --mem-per-cpu=4000M --job-name test_PR_17990 --ntasks=8 ~/boegelbot/eb_from_pr_upload_jsc-zen2.sh' executed!

exit code: 0
output:

Submitted batch job 2971

Test results coming soon (I hope)...

Details

- notification for comment with ID 1631066281 processed

Message to humans: this is just bookkeeping information for me,
it is of no use to you (unless you think I have a bug, which I don't).

boegelbot · 2023-07-11T15:55:07Z

Test report by @boegelbot
SUCCESS
Build succeeded for 6 out of 6 (1 easyconfigs in total)
jsczen2c1.int.jsc-zen2.easybuild-test.cluster - Linux Rocky Linux 8.5, x86_64, AMD EPYC 7742 64-Core Processor (zen2), Python 3.6.8
See https://gist.github.com/boegelbot/3c22f2a456ac2fe48473b23a1d8b5031 for a full test report.

…asyconfigs into 20230530140849_new_pr_Demystify0017

lexming · 2023-12-14T12:12:26Z

@boegelbot: please test @ generoso

boegelbot · 2023-12-14T12:15:08Z

@lexming: Request for testing this PR well received on login1

PR test command 'EB_PR=17990 EB_ARGS= EB_CONTAINER= EB_REPO=easybuild-easyconfigs /opt/software/slurm/bin/sbatch --job-name test_PR_17990 --ntasks=4 ~/boegelbot/eb_from_pr_upload_generoso.sh' executed!

exit code: 0
output:

Submitted batch job 12402

Test results coming soon (I hope)...

Details

- notification for comment with ID 1855737932 processed

Message to humans: this is just bookkeeping information for me,
it is of no use to you (unless you think I have a bug, which I don't).

boegelbot · 2023-12-14T12:16:37Z

Test report by @boegelbot
SUCCESS
Build succeeded for 1 out of 1 (1 easyconfigs in total)
cns1 - Linux Rocky Linux 8.5, x86_64, Intel(R) Xeon(R) CPU E5-2667 v3 @ 3.20GHz (haswell), Python 3.6.8
See https://gist.github.com/boegelbot/f5c89576768c245aefb6644672896752 for a full test report.

lexming · 2023-12-14T13:36:49Z

@boegelbot please test @ jsc-zen2

boegelbot · 2023-12-14T13:40:09Z

@lexming: Request for testing this PR well received on jsczen2l1.int.jsc-zen2.easybuild-test.cluster

PR test command 'EB_PR=17990 EB_ARGS= EB_REPO=easybuild-easyconfigs /opt/software/slurm/bin/sbatch --mem-per-cpu=4000M --job-name test_PR_17990 --ntasks=8 ~/boegelbot/eb_from_pr_upload_jsc-zen2.sh' executed!

exit code: 0
output:

Submitted batch job 3910

Test results coming soon (I hope)...

Details

- notification for comment with ID 1855868406 processed

Message to humans: this is just bookkeeping information for me,
it is of no use to you (unless you think I have a bug, which I don't).

boegelbot · 2023-12-14T13:41:17Z

Test report by @boegelbot
SUCCESS
Build succeeded for 1 out of 1 (1 easyconfigs in total)
jsczen2c1.int.jsc-zen2.easybuild-test.cluster - Linux Rocky Linux 8.5, x86_64, AMD EPYC 7742 64-Core Processor (zen2), Python 3.6.8
See https://gist.github.com/boegelbot/3f19206254ac2d8a4733658c6f02ad37 for a full test report.

SebastianAchilles · 2023-12-27T17:11:47Z

Test report by @SebastianAchilles
SUCCESS
Build succeeded for 1 out of 1 (1 easyconfigs in total)
zen2-rockylinux-89 - Linux Rocky Linux 8.9, x86_64, AMD EPYC 7452 32-Core Processor (zen2), Python 3.6.8
See https://gist.github.com/SebastianAchilles/ea80c98dbd502363d91eefd9baf1b4ea for a full test report.

SebastianAchilles

lgtm

SebastianAchilles · 2023-12-27T17:14:10Z

Going in, thanks @lexming!

adding easyconfigs: Demystify-0.0.17-foss-2020b.eb

61da4a3

lexming added the new label May 30, 2023

This comment was marked as outdated.

Sign in to view

verdurin requested changes Jun 13, 2023

View reviewed changes

easybuild/easyconfigs/d/Demystify/Demystify-0.0.17-foss-2020b.eb Show resolved Hide resolved

lexming added 2 commits June 19, 2023 11:48

fix version string of Z3 in Demystify v0.0.17

b7f92d8

set download_dep_fail in Demystify v0.0.17

076a39e

verdurin previously approved these changes Jun 21, 2023

View reviewed changes

verdurin added this to the next release (4.7.3?) milestone Jun 21, 2023

boegel modified the milestones: 4.8.0, release after 4.8.0 Jul 6, 2023

Merge branch 'develop' of https://github.com/easybuilders/easybuild-e…

5d310e2

…asyconfigs into 20230530140849_new_pr_Demystify0017

use Z3 with Python bindings in Demystify v0.0.17

3a5e763

lexming dismissed verdurin’s stale review via 3a5e763 July 11, 2023 15:19

This comment was marked as outdated.

Sign in to view

boegel modified the milestones: 4.8.1, release after 4.8.1 Sep 9, 2023

boegel modified the milestones: next release (4.8.2), release after 4.8.2 Oct 27, 2023

Merge branch 'develop' of https://github.com/easybuilders/easybuild-e…

5f488a6

…asyconfigs into 20230530140849_new_pr_Demystify0017

SebastianAchilles approved these changes Dec 27, 2023

View reviewed changes

SebastianAchilles merged commit c9bec2f into easybuilders:develop Dec 27, 2023

lexming deleted the 20230530140849_new_pr_Demystify0017 branch January 9, 2024 14:48

{math}[foss/2020b] Demystify v0.0.17 w/ Python 3.8.6 #17990

{math}[foss/2020b] Demystify v0.0.17 w/ Python 3.8.6 #17990

Uh oh!

Conversation

lexming commented May 30, 2023 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

This comment was marked as outdated.

Uh oh!

verdurin left a comment

Choose a reason for hiding this comment

Uh oh!

verdurin commented Jun 21, 2023

Uh oh!

verdurin commented Jun 21, 2023

Uh oh!

boegelbot commented Jun 21, 2023

Uh oh!

boegelbot commented Jun 21, 2023

Uh oh!

lexming commented Jul 4, 2023

Uh oh!

boegelbot commented Jul 4, 2023

Uh oh!

boegelbot commented Jul 4, 2023

Uh oh!

lexming commented Jul 7, 2023

Uh oh!

lexming commented Jul 11, 2023

Uh oh!

boegelbot commented Jul 11, 2023

Uh oh!

boegelbot commented Jul 11, 2023

Uh oh!

lexming commented Jul 11, 2023

Uh oh!

boegelbot commented Jul 11, 2023

Uh oh!

boegelbot commented Jul 11, 2023

Uh oh!

lexming commented Jul 11, 2023

Uh oh!

boegelbot commented Jul 11, 2023

Uh oh!

boegelbot commented Jul 11, 2023

Uh oh!

This comment was marked as outdated.

lexming commented Dec 14, 2023

Uh oh!

boegelbot commented Dec 14, 2023

Uh oh!

boegelbot commented Dec 14, 2023

Uh oh!

lexming commented Dec 14, 2023

Uh oh!

boegelbot commented Dec 14, 2023

Uh oh!

boegelbot commented Dec 14, 2023

Uh oh!

SebastianAchilles commented Dec 27, 2023

Uh oh!

SebastianAchilles left a comment

Choose a reason for hiding this comment

Uh oh!

SebastianAchilles commented Dec 27, 2023

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

5 participants

lexming commented May 30, 2023 •

edited

Loading