Skip to content

{math}[GCCcore/10.2.0] Vampire v4.5.1#13352

Merged
verdurin merged 1 commit intoeasybuilders:developfrom
jfgrimm:20210706144825_new_pr_Vampire451
Jul 6, 2021
Merged

{math}[GCCcore/10.2.0] Vampire v4.5.1#13352
verdurin merged 1 commit intoeasybuilders:developfrom
jfgrimm:20210706144825_new_pr_Vampire451

Conversation

@jfgrimm
Copy link
Copy Markdown
Member

@jfgrimm jfgrimm commented Jul 6, 2021

(created using eb --new-pr)

@verdurin
Copy link
Copy Markdown
Member

verdurin commented Jul 6, 2021

Test report by @verdurin
SUCCESS
Build succeeded for 1 out of 1 (1 easyconfigs in total)
nuc.lan - Linux Fedora 33, x86_64, Intel(R) Core(TM) i7-8650U CPU @ 1.90GHz, Python 3.9.5
See https://gist.github.com/0086efc5ca67c27eda1fe37c2f4a518d for a full test report.

@verdurin verdurin added the new label Jul 6, 2021
@verdurin
Copy link
Copy Markdown
Member

verdurin commented Jul 6, 2021

@boegelbot please test @ generoso

@boegelbot
Copy link
Copy Markdown
Collaborator

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

PR test command 'EB_PR=13352 EB_ARGS= /apps/slurm/default/bin/sbatch --job-name test_PR_13352 --ntasks=4 ~/boegelbot/eb_from_pr_upload_generoso.sh' executed!

  • exit code: 0
  • output:
Submitted batch job 17714

Test results coming soon (I hope)...

Details

- notification for comment with ID 874984763 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
Copy link
Copy Markdown
Collaborator

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

@verdurin verdurin added this to the next release (4.4.2?) milestone Jul 6, 2021
Copy link
Copy Markdown
Member

@verdurin verdurin left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks fine.

@verdurin
Copy link
Copy Markdown
Member

verdurin commented Jul 6, 2021

Going in, thanks @jfgrimm!

@verdurin verdurin merged commit 4c153d3 into easybuilders:develop Jul 6, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants