{2023.06}[foss/2023a] Z3 v4.12.2 #288

trz42 · 2024-03-14T11:28:09Z

Add Z3/4.12.2 to work around an issue because the package's version suffix has been removed. See EESSI#501 for details.

SPDX license identifier: MIT

Missing packages:

1 out of 14 required modules missing:

* Z3/4.12.2-GCCcore-12.3.0 (Z3-4.12.2-GCCcore-12.3.0.eb)

nessi-bot · 2024-03-14T11:28:13Z

Instance AWS-MC-NESSI is configured to build:

arch x86_64/generic for repo nessi-2023.06-cl
arch x86_64/generic for repo nessi-2023.06-swl-deb10
arch x86_64/generic for repo nessi-2023.06-swl-deb11
arch x86_64/intel/skylake_avx512 for repo nessi-2023.06-cl
arch x86_64/intel/skylake_avx512 for repo nessi-2023.06-swl-deb10
arch x86_64/intel/skylake_avx512 for repo nessi-2023.06-swl-deb11
arch x86_64/amd/zen2 for repo nessi-2023.06-cl
arch x86_64/amd/zen2 for repo nessi-2023.06-swl-deb10
arch x86_64/amd/zen2 for repo nessi-2023.06-swl-deb11
arch aarch64/generic for repo nessi-2023.06-cl
arch aarch64/generic for repo nessi-2023.06-swl-deb10
arch aarch64/generic for repo nessi-2023.06-swl-deb11

nessi-bot · 2024-03-14T11:28:13Z

Instance eX3-NESSI is configured to build:

arch x86_64/amd/zen2 for repo nessi-2023.06-cl
arch x86_64/amd/zen2 for repo nessi-2023.06-swl-deb10
arch x86_64/amd/zen2 for repo nessi-2023.06-swl-deb11
arch aarch64/generic for repo nessi-2023.06-cl
arch aarch64/generic for repo nessi-2023.06-swl-deb10
arch aarch64/generic for repo nessi-2023.06-swl-deb11

nessi-bot · 2024-03-14T11:28:13Z

Instance Fram-NESSI is configured to build:

arch x86_64/generic for repo nessi-2023.06-cl
arch x86_64/generic for repo nessi-2023.06-swl-deb10
arch x86_64/generic for repo nessi-2023.06-swl-deb11
arch x86_64/intel/broadwell for repo nessi-2023.06-cl
arch x86_64/intel/broadwell for repo nessi-2023.06-swl-deb10
arch x86_64/intel/broadwell for repo nessi-2023.06-swl-deb11

nessi-bot · 2024-03-14T11:28:13Z

Instance Saga-NESSI is configured to build:

arch x86_64/intel/skylake_avx512 for repo nessi-2023.06-cl
arch x86_64/intel/skylake_avx512 for repo nessi-2023.06-swl-deb10
arch x86_64/intel/skylake_avx512 for repo nessi-2023.06-swl-deb11
arch x86_64/intel/broadwell for repo nessi-2023.06-cl
arch x86_64/intel/broadwell for repo nessi-2023.06-swl-deb10
arch x86_64/intel/broadwell for repo nessi-2023.06-swl-deb11
arch x86_64/generic for repo nessi-2023.06-cl
arch x86_64/generic for repo nessi-2023.06-swl-deb10
arch x86_64/generic for repo nessi-2023.06-swl-deb11

trz42 · 2024-03-14T11:30:26Z

bot: build inst:AWS repo:nessi-2023.06-swl-deb11 arch:x86_64/generic
bot: build inst:AWS repo:nessi-2023.06-swl-deb11 arch:zen2
bot: build inst:Saga repo:nessi-2023.06-swl-deb11 arch:x86_64/intel/broadwell
skip bot: build inst:Fram repo:nessi-2023.06-swl-deb11 arch:x86_64/intel/broadwell
bot: build inst:Saga repo:nessi-2023.06-swl-deb11 arch:x86_64/intel/skylake
bot: build inst:eX3 repo:nessi-2023.06-swl-deb10 arch:aarch64/generic

nessi-bot · 2024-03-14T11:30:29Z

Updates by the bot instance AWS-MC-NESSI (click for details)

received bot command build inst:AWS repo:nessi-2023.06-swl-deb11 arch:x86_64/generic from trz42
- expanded format: build instance:AWS repository:nessi-2023.06-swl-deb11 architecture:x86_64/generic
received bot command build inst:AWS repo:nessi-2023.06-swl-deb11 arch:zen2 from trz42
- expanded format: build instance:AWS repository:nessi-2023.06-swl-deb11 architecture:zen2
received bot command build inst:Saga repo:nessi-2023.06-swl-deb11 arch:x86_64/intel/broadwell from trz42
- expanded format: build instance:Saga repository:nessi-2023.06-swl-deb11 architecture:x86_64/intel/broadwell
received bot command build inst:Saga repo:nessi-2023.06-swl-deb11 arch:x86_64/intel/skylake from trz42
- expanded format: build instance:Saga repository:nessi-2023.06-swl-deb11 architecture:x86_64/intel/skylake
received bot command build inst:eX3 repo:nessi-2023.06-swl-deb10 arch:aarch64/generic from trz42
- expanded format: build instance:eX3 repository:nessi-2023.06-swl-deb10 architecture:aarch64/generic
handling command build instance:AWS repository:nessi-2023.06-swl-deb11 architecture:x86_64/generic resulted in:
- submitted job 8136, for details & status see {2023.06}[foss/2023a] Z3 v4.12.2 #288 (comment)
handling command build instance:AWS repository:nessi-2023.06-swl-deb11 architecture:zen2 resulted in:
- submitted job 8137, for details & status see {2023.06}[foss/2023a] Z3 v4.12.2 #288 (comment)
handling command build instance:Saga repository:nessi-2023.06-swl-deb11 architecture:x86_64/intel/broadwell resulted in:
- no jobs were submitted
handling command build instance:Saga repository:nessi-2023.06-swl-deb11 architecture:x86_64/intel/skylake resulted in:
- no jobs were submitted
handling command build instance:eX3 repository:nessi-2023.06-swl-deb10 architecture:aarch64/generic resulted in:
- no jobs were submitted

nessi-bot · 2024-03-14T11:30:29Z

Updates by the bot instance eX3-NESSI (click for details)

received bot command build inst:AWS repo:nessi-2023.06-swl-deb11 arch:x86_64/generic from trz42
- expanded format: build instance:AWS repository:nessi-2023.06-swl-deb11 architecture:x86_64/generic
received bot command build inst:AWS repo:nessi-2023.06-swl-deb11 arch:zen2 from trz42
- expanded format: build instance:AWS repository:nessi-2023.06-swl-deb11 architecture:zen2
received bot command build inst:Saga repo:nessi-2023.06-swl-deb11 arch:x86_64/intel/broadwell from trz42
- expanded format: build instance:Saga repository:nessi-2023.06-swl-deb11 architecture:x86_64/intel/broadwell
received bot command build inst:Saga repo:nessi-2023.06-swl-deb11 arch:x86_64/intel/skylake from trz42
- expanded format: build instance:Saga repository:nessi-2023.06-swl-deb11 architecture:x86_64/intel/skylake
received bot command build inst:eX3 repo:nessi-2023.06-swl-deb10 arch:aarch64/generic from trz42
- expanded format: build instance:eX3 repository:nessi-2023.06-swl-deb10 architecture:aarch64/generic
handling command build instance:AWS repository:nessi-2023.06-swl-deb11 architecture:x86_64/generic resulted in:
- no jobs were submitted
handling command build instance:AWS repository:nessi-2023.06-swl-deb11 architecture:zen2 resulted in:
- no jobs were submitted
handling command build instance:Saga repository:nessi-2023.06-swl-deb11 architecture:x86_64/intel/broadwell resulted in:
- no jobs were submitted
handling command build instance:Saga repository:nessi-2023.06-swl-deb11 architecture:x86_64/intel/skylake resulted in:
- no jobs were submitted
handling command build instance:eX3 repository:nessi-2023.06-swl-deb10 architecture:aarch64/generic resulted in:
- submitted job 151423, for details & status see {2023.06}[foss/2023a] Z3 v4.12.2 #288 (comment)

nessi-bot · 2024-03-14T11:30:29Z

Updates by the bot instance Fram-NESSI (click for details)

received bot command build inst:AWS repo:nessi-2023.06-swl-deb11 arch:x86_64/generic from trz42
- expanded format: build instance:AWS repository:nessi-2023.06-swl-deb11 architecture:x86_64/generic
received bot command build inst:AWS repo:nessi-2023.06-swl-deb11 arch:zen2 from trz42
- expanded format: build instance:AWS repository:nessi-2023.06-swl-deb11 architecture:zen2
received bot command build inst:Saga repo:nessi-2023.06-swl-deb11 arch:x86_64/intel/broadwell from trz42
- expanded format: build instance:Saga repository:nessi-2023.06-swl-deb11 architecture:x86_64/intel/broadwell
received bot command build inst:Saga repo:nessi-2023.06-swl-deb11 arch:x86_64/intel/skylake from trz42
- expanded format: build instance:Saga repository:nessi-2023.06-swl-deb11 architecture:x86_64/intel/skylake
received bot command build inst:eX3 repo:nessi-2023.06-swl-deb10 arch:aarch64/generic from trz42
- expanded format: build instance:eX3 repository:nessi-2023.06-swl-deb10 architecture:aarch64/generic
handling command build instance:AWS repository:nessi-2023.06-swl-deb11 architecture:x86_64/generic resulted in:
- no jobs were submitted
handling command build instance:AWS repository:nessi-2023.06-swl-deb11 architecture:zen2 resulted in:
- no jobs were submitted
handling command build instance:Saga repository:nessi-2023.06-swl-deb11 architecture:x86_64/intel/broadwell resulted in:
- no jobs were submitted
handling command build instance:Saga repository:nessi-2023.06-swl-deb11 architecture:x86_64/intel/skylake resulted in:
- no jobs were submitted
handling command build instance:eX3 repository:nessi-2023.06-swl-deb10 architecture:aarch64/generic resulted in:
- no jobs were submitted

nessi-bot · 2024-03-14T11:30:29Z

Updates by the bot instance Saga-NESSI (click for details)

received bot command build inst:AWS repo:nessi-2023.06-swl-deb11 arch:x86_64/generic from trz42
- expanded format: build instance:AWS repository:nessi-2023.06-swl-deb11 architecture:x86_64/generic
received bot command build inst:AWS repo:nessi-2023.06-swl-deb11 arch:zen2 from trz42
- expanded format: build instance:AWS repository:nessi-2023.06-swl-deb11 architecture:zen2
received bot command build inst:Saga repo:nessi-2023.06-swl-deb11 arch:x86_64/intel/broadwell from trz42
- expanded format: build instance:Saga repository:nessi-2023.06-swl-deb11 architecture:x86_64/intel/broadwell
received bot command build inst:Saga repo:nessi-2023.06-swl-deb11 arch:x86_64/intel/skylake from trz42
- expanded format: build instance:Saga repository:nessi-2023.06-swl-deb11 architecture:x86_64/intel/skylake
received bot command build inst:eX3 repo:nessi-2023.06-swl-deb10 arch:aarch64/generic from trz42
- expanded format: build instance:eX3 repository:nessi-2023.06-swl-deb10 architecture:aarch64/generic
handling command build instance:AWS repository:nessi-2023.06-swl-deb11 architecture:x86_64/generic resulted in:
- no jobs were submitted
handling command build instance:AWS repository:nessi-2023.06-swl-deb11 architecture:zen2 resulted in:
- no jobs were submitted
handling command build instance:Saga repository:nessi-2023.06-swl-deb11 architecture:x86_64/intel/broadwell resulted in:
- submitted job 10941834, for details & status see {2023.06}[foss/2023a] Z3 v4.12.2 #288 (comment)
handling command build instance:Saga repository:nessi-2023.06-swl-deb11 architecture:x86_64/intel/skylake resulted in:
- submitted job 10941872, for details & status see {2023.06}[foss/2023a] Z3 v4.12.2 #288 (comment)
handling command build instance:eX3 repository:nessi-2023.06-swl-deb10 architecture:aarch64/generic resulted in:
- no jobs were submitted

nessi-bot · 2024-03-14T11:30:32Z

New job on instance AWS-MC-NESSI for architecture x86_64-generic for repository nessi-2023.06-swl-deb11 in job dir /project/def-nessi/SHARED/jobs/2024.03/pr_288/8136

date	job status	comment
Mar 14 11:30:32 UTC 2024	submitted	job id `8136` awaits release by job manager
Mar 14 11:30:43 UTC 2024	released	job awaits launch by Slurm scheduler
Mar 14 11:31:50 UTC 2024	running	job `8136` is running
Mar 14 11:47:40 UTC 2024	finished	😁 SUCCESS (click triangle for details) Details ✅ job output file `slurm-8136.out` ✅ no message matching `ERROR:` ✅ no message matching `FAILED:` ✅ no message matching `required modules missing:` ✅ found message(s) matching `No missing installations` ✅ found message matching `.tar.gz created!` Artefacts `eessi-2023.06-software-linux-x86_64-generic-1710416778.tar.gz` size: 26 MiB (28133683 bytes) entries: 90 modules under 2023.06/software/linux/x86_64/generic/modules/all `Z3/4.12.2-GCCcore-12.3.0.lua` software under 2023.06/software/linux/x86_64/generic/software `Z3/4.12.2-GCCcore-12.3.0` other under 2023.06/software/linux/x86_64/generic `.lmod/cache/spiderT.lua` `.lmod/cache/spiderT.luac_5.1` `.lmod/cache/timestamp`
Mar 14 11:47:40 UTC 2024	test result	(no tests yet)
Mar 14 14:29:26 UTC 2024	uploaded	transfer of `eessi-2023.06-software-linux-x86_64-generic-1710416778.tar.gz` to S3 bucket succeeded
Mar 14 03:39:31 PM UTC 2024	staged	tarball `eessi-2023.06-software-linux-x86_64-generic-1710416778.tar.gz` downloaded to Stratum-0
Mar 14 03:39:47 PM UTC 2024	pr_opened	merge PR https://github.com/NorESSI/2024-staging/pull/29 to approve ingest
Mar 14 03:43:24 PM UTC 2024	approved	👍 tarball `eessi-2023.06-software-linux-x86_64-generic-1710416778.tar.gz` approved, see PR https://github.com/NorESSI/2024-staging/pull/29
Mar 14 03:44:39 PM UTC 2024	ingested	🎉 tarball `eessi-2023.06-software-linux-x86_64-generic-1710416778.tar.gz` successfully ingested at `2023.06/software/linux/x86_64/generic/`

nessi-bot · 2024-03-14T11:30:35Z

New job on instance eX3-NESSI for architecture aarch64-generic for repository nessi-2023.06-swl-deb10 in job dir /home/thomarob/pilot.nessi.no/jobs/2024.03/pr_288/151423

date	job status	comment
Mar 14 11:30:34 AM UTC 2024	submitted	job id `151423` awaits release by job manager
Mar 14 11:30:57 AM UTC 2024	released	job awaits launch by Slurm scheduler
Mar 14 11:32:02 AM UTC 2024	running	job `151423` is running
Mar 14 11:44:35 AM UTC 2024	finished	😁 SUCCESS (click triangle for details) Details ✅ job output file `slurm-151423.out` ✅ no message matching `ERROR:` ✅ no message matching `FAILED:` ✅ no message matching `required modules missing:` ✅ found message(s) matching `No missing installations` ✅ found message matching `.tar.gz created!` Artefacts `eessi-2023.06-software-linux-aarch64-generic-1710416638.tar.gz` size: 24 MiB (25963798 bytes) entries: 90 modules under 2023.06/software/linux/aarch64/generic/modules/all `Z3/4.12.2-GCCcore-12.3.0.lua` software under 2023.06/software/linux/aarch64/generic/software `Z3/4.12.2-GCCcore-12.3.0` other under 2023.06/software/linux/aarch64/generic `.lmod/cache/spiderT.lua` `.lmod/cache/spiderT.luac_5.1` `.lmod/cache/timestamp`
Mar 14 11:44:35 AM UTC 2024	test result	(no tests yet)
Mar 14 02:32:27 PM UTC 2024	uploaded	transfer of `eessi-2023.06-software-linux-aarch64-generic-1710416638.tar.gz` to S3 bucket succeeded
Mar 14 03:39:27 PM UTC 2024	staged	tarball `eessi-2023.06-software-linux-aarch64-generic-1710416638.tar.gz` downloaded to Stratum-0
Mar 14 03:39:41 PM UTC 2024	pr_opened	merge PR https://github.com/NorESSI/2024-staging/pull/27 to approve ingest
Mar 14 03:43:19 PM UTC 2024	approved	👍 tarball `eessi-2023.06-software-linux-aarch64-generic-1710416638.tar.gz` approved, see PR https://github.com/NorESSI/2024-staging/pull/27
Mar 14 03:43:56 PM UTC 2024	ingested	🎉 tarball `eessi-2023.06-software-linux-aarch64-generic-1710416638.tar.gz` successfully ingested at `2023.06/software/linux/aarch64/generic/`

nessi-bot · 2024-03-14T11:30:36Z

New job on instance AWS-MC-NESSI for architecture x86_64-amd-zen2 for repository nessi-2023.06-swl-deb11 in job dir /project/def-nessi/SHARED/jobs/2024.03/pr_288/8137

date	job status	comment
Mar 14 11:30:36 UTC 2024	submitted	job id `8137` awaits release by job manager
Mar 14 11:30:42 UTC 2024	released	job awaits launch by Slurm scheduler
Mar 14 11:31:48 UTC 2024	running	job `8137` is running
Mar 14 11:46:37 UTC 2024	finished	😁 SUCCESS (click triangle for details) Details ✅ job output file `slurm-8137.out` ✅ no message matching `ERROR:` ✅ no message matching `FAILED:` ✅ no message matching `required modules missing:` ✅ found message(s) matching `No missing installations` ✅ found message matching `.tar.gz created!` Artefacts `eessi-2023.06-software-linux-x86_64-amd-zen2-1710416725.tar.gz` size: 27 MiB (28727418 bytes) entries: 90 modules under 2023.06/software/linux/x86_64/amd/zen2/modules/all `Z3/4.12.2-GCCcore-12.3.0.lua` software under 2023.06/software/linux/x86_64/amd/zen2/software `Z3/4.12.2-GCCcore-12.3.0` other under 2023.06/software/linux/x86_64/amd/zen2 `.lmod/cache/spiderT.lua` `.lmod/cache/spiderT.luac_5.1` `.lmod/cache/timestamp`
Mar 14 11:46:37 UTC 2024	test result	(no tests yet)
Mar 14 14:29:46 UTC 2024	uploaded	transfer of `eessi-2023.06-software-linux-x86_64-amd-zen2-1710416725.tar.gz` to S3 bucket succeeded
Mar 14 03:39:29 PM UTC 2024	staged	tarball `eessi-2023.06-software-linux-x86_64-amd-zen2-1710416725.tar.gz` downloaded to Stratum-0
Mar 14 03:39:44 PM UTC 2024	pr_opened	merge PR https://github.com/NorESSI/2024-staging/pull/28 to approve ingest
Mar 14 03:43:22 PM UTC 2024	approved	👍 tarball `eessi-2023.06-software-linux-x86_64-amd-zen2-1710416725.tar.gz` approved, see PR https://github.com/NorESSI/2024-staging/pull/28
Mar 14 03:44:18 PM UTC 2024	ingested	🎉 tarball `eessi-2023.06-software-linux-x86_64-amd-zen2-1710416725.tar.gz` successfully ingested at `2023.06/software/linux/x86_64/amd/zen2/`

nessi-bot · 2024-03-14T11:30:57Z

New job on instance Saga-NESSI for architecture x86_64-intel-broadwell for repository nessi-2023.06-swl-deb11 in job dir /cluster/projects/nn9992k/pilot.nessi.no/jobs/2024.03/pr_288/10941834

date	job status	comment
Mar 14 11:30:56 AM UTC 2024	submitted	job id `10941834` awaits release by job manager
Mar 14 11:31:46 AM UTC 2024	released	job awaits launch by Slurm scheduler
Mar 14 11:32:54 AM UTC 2024	running	job `10941834` is running
Mar 14 11:45:46 AM UTC 2024	finished	😁 SUCCESS (click triangle for details) Details ✅ job output file `slurm-10941834.out` ✅ no message matching `ERROR:` ✅ no message matching `FAILED:` ✅ no message matching `required modules missing:` ✅ found message(s) matching `No missing installations` ✅ found message matching `.tar.gz created!` Artefacts `eessi-2023.06-software-linux-x86_64-intel-broadwell-1710416674.tar.gz` size: 27 MiB (28699020 bytes) entries: 90 modules under 2023.06/software/linux/x86_64/intel/broadwell/modules/all `Z3/4.12.2-GCCcore-12.3.0.lua` software under 2023.06/software/linux/x86_64/intel/broadwell/software `Z3/4.12.2-GCCcore-12.3.0` other under 2023.06/software/linux/x86_64/intel/broadwell `.lmod/cache/spiderT.lua` `.lmod/cache/spiderT.luac_5.1` `.lmod/cache/timestamp`
Mar 14 11:45:46 AM UTC 2024	test result	(no tests yet)
Mar 14 02:30:50 PM UTC 2024	uploaded	transfer of `eessi-2023.06-software-linux-x86_64-intel-broadwell-1710416674.tar.gz` to S3 bucket succeeded
Mar 14 03:39:34 PM UTC 2024	staged	tarball `eessi-2023.06-software-linux-x86_64-intel-broadwell-1710416674.tar.gz` downloaded to Stratum-0
Mar 14 03:39:51 PM UTC 2024	pr_opened	merge PR https://github.com/NorESSI/2024-staging/pull/30 to approve ingest
Mar 14 03:43:27 PM UTC 2024	approved	👍 tarball `eessi-2023.06-software-linux-x86_64-intel-broadwell-1710416674.tar.gz` approved, see PR https://github.com/NorESSI/2024-staging/pull/30
Mar 14 03:45:01 PM UTC 2024	ingested	🎉 tarball `eessi-2023.06-software-linux-x86_64-intel-broadwell-1710416674.tar.gz` successfully ingested at `2023.06/software/linux/x86_64/intel/broadwell/`

nessi-bot · 2024-03-14T11:31:26Z

New job on instance Saga-NESSI for architecture x86_64-intel-skylake_avx512 for repository nessi-2023.06-swl-deb11 in job dir /cluster/projects/nn9992k/pilot.nessi.no/jobs/2024.03/pr_288/10941872

date	job status	comment
Mar 14 11:31:25 AM UTC 2024	submitted	job id `10941872` awaits release by job manager
Mar 14 11:31:48 AM UTC 2024	released	job awaits launch by Slurm scheduler
Mar 14 11:32:58 AM UTC 2024	running	job `10941872` is running
Mar 14 11:46:50 AM UTC 2024	finished	😁 SUCCESS (click triangle for details) Details ✅ job output file `slurm-10941872.out` ✅ no message matching `ERROR:` ✅ no message matching `FAILED:` ✅ no message matching `required modules missing:` ✅ found message(s) matching `No missing installations` ✅ found message matching `.tar.gz created!` Artefacts `eessi-2023.06-software-linux-x86_64-intel-skylake_avx512-1710416767.tar.gz` size: 27 MiB (28492565 bytes) entries: 90 modules under 2023.06/software/linux/x86_64/intel/skylake_avx512/modules/all `Z3/4.12.2-GCCcore-12.3.0.lua` software under 2023.06/software/linux/x86_64/intel/skylake_avx512/software `Z3/4.12.2-GCCcore-12.3.0` other under 2023.06/software/linux/x86_64/intel/skylake_avx512 `.lmod/cache/spiderT.lua` `.lmod/cache/spiderT.luac_5.1` `.lmod/cache/timestamp`
Mar 14 11:46:50 AM UTC 2024	test result	(no tests yet)
Mar 14 02:30:11 PM UTC 2024	uploaded	transfer of `eessi-2023.06-software-linux-x86_64-intel-skylake_avx512-1710416767.tar.gz` to S3 bucket succeeded
Mar 14 03:39:36 PM UTC 2024	staged	tarball `eessi-2023.06-software-linux-x86_64-intel-skylake_avx512-1710416767.tar.gz` downloaded to Stratum-0
Mar 14 03:39:54 PM UTC 2024	pr_opened	merge PR https://github.com/NorESSI/2024-staging/pull/31 to approve ingest
Mar 14 03:43:29 PM UTC 2024	approved	👍 tarball `eessi-2023.06-software-linux-x86_64-intel-skylake_avx512-1710416767.tar.gz` approved, see PR https://github.com/NorESSI/2024-staging/pull/31
Mar 14 03:45:23 PM UTC 2024	ingested	🎉 tarball `eessi-2023.06-software-linux-x86_64-intel-skylake_avx512-1710416767.tar.gz` successfully ingested at `2023.06/software/linux/x86_64/intel/skylake_avx512/`

trz42 · 2024-03-14T14:28:57Z

Checklist before starting deployment (setting bot:deploy label):

Check if the SPDX license identifier is provided
Check whether builds for all required architectures succeed (SUCCESS message + reasonably sized tarball)
Check if the PR is up-to-date with the target branch nessi.no-2023.06 in the repository (if not what are the differences)
Assess if all requested changes are sound (checking files changed on GitHub.com)
Verify that all easyconfig/s being built are included with the EB version used (if not why not)
Review changes (if any) needed to get the build(s) succeed (common changes for all architectures, changes for a single architecture, changes because of build environment specifics, etc.)

trz42 · 2024-03-14T15:40:26Z

Target architectures

x86_64-intel-broadwell
x86_64-intel-skylake_avx512
x86_64-amd-zen2
x86_64-generic
aarch64-generic

Checklist for deployment/ingestion

at least one tarball for each architecture has been uploaded
at least one tarball for each architecture has been staged
for each staged tarball was a PR for approval/rejection opened
for each architecture one and only one tarball has been approved
for each architecture one and only one tarball was ingested
all tests in the CI have succeeded (rerun failed tests ~ 10 mins after last ingest)
has the package become available via CernVM-FS for all architectures ingested (for lmod cache updates pay attention to timestamp of files)

command & log

command

cd /cvmfs/pilot.nessi.no/versions/2023.06/software/linux ; \
ls -l \
      x86_64/{generic,amd/zen2,intel/[bsc]*}/{software,modules/all}/Z3/4.12.2-GCCcore-12.3.0* \
      aarch64/generic/{software,modules/all}/Z3/4.12.2-GCCcore-12.3.0*

log

-rw-r--r-- 1 cvmfs cvmfs 1804 Mar 14 12:40 aarch64/generic/modules/all/Z3/4.12.2-GCCcore-12.3.0.lua
-rw-r--r-- 1 cvmfs cvmfs 1832 Feb  4 21:06 aarch64/generic/modules/all/Z3/4.12.2-GCCcore-12.3.0-Python-3.11.3.lua
-rw-rw-r-- 1 cvmfs cvmfs 1804 Mar 14 12:43 x86_64/amd/zen2/modules/all/Z3/4.12.2-GCCcore-12.3.0.lua
-rw-rw-r-- 1 cvmfs cvmfs 1832 Feb  4 20:43 x86_64/amd/zen2/modules/all/Z3/4.12.2-GCCcore-12.3.0-Python-3.11.3.lua
-rw-rw-r-- 1 cvmfs cvmfs 1803 Mar 14 12:44 x86_64/generic/modules/all/Z3/4.12.2-GCCcore-12.3.0.lua
-rw-rw-r-- 1 cvmfs cvmfs 1831 Feb  4 20:49 x86_64/generic/modules/all/Z3/4.12.2-GCCcore-12.3.0-Python-3.11.3.lua
-rw-rw-r-- 1 cvmfs cvmfs 1811 Mar 14 12:41 x86_64/intel/broadwell/modules/all/Z3/4.12.2-GCCcore-12.3.0.lua
-rw-rw-r-- 1 cvmfs cvmfs 1839 Feb  4 20:55 x86_64/intel/broadwell/modules/all/Z3/4.12.2-GCCcore-12.3.0-Python-3.11.3.lua
-rw-rw-r-- 1 cvmfs cvmfs 1816 Mar 14 12:42 x86_64/intel/skylake_avx512/modules/all/Z3/4.12.2-GCCcore-12.3.0.lua
-rw-rw-r-- 1 cvmfs cvmfs 1844 Feb  4 20:48 x86_64/intel/skylake_avx512/modules/all/Z3/4.12.2-GCCcore-12.3.0-Python-3.11.3.lua

aarch64/generic/software/Z3/4.12.2-GCCcore-12.3.0:
total 15
dr-xr-xr-x 2 cvmfs cvmfs 4096 Mar 14 12:40 bin
dr-xr-xr-x 3 cvmfs cvmfs 4096 Mar 14 12:40 easybuild
lrwxrwxrwx 1 cvmfs cvmfs   39 Mar 14 12:40 include -> lib/python3.11/site-packages/z3/include
dr-xr-xr-x 3 cvmfs cvmfs 4096 Mar 14 12:40 lib
lrwxrwxrwx 1 cvmfs cvmfs    3 Mar 14 12:40 lib64 -> lib

aarch64/generic/software/Z3/4.12.2-GCCcore-12.3.0-Python-3.11.3:
total 15
dr-xr-xr-x 2 cvmfs cvmfs 4096 Feb  4 21:06 bin
dr-xr-xr-x 3 cvmfs cvmfs 4096 Feb  4 21:06 easybuild
lrwxrwxrwx 1 cvmfs cvmfs   39 Feb  4 21:06 include -> lib/python3.11/site-packages/z3/include
dr-xr-xr-x 3 cvmfs cvmfs 4096 Feb  4 21:06 lib
lrwxrwxrwx 1 cvmfs cvmfs    3 Feb  4 21:06 lib64 -> lib

x86_64/amd/zen2/software/Z3/4.12.2-GCCcore-12.3.0:
total 15
dr-xr-xr-x 2 cvmfs cvmfs 4096 Mar 14 12:43 bin
dr-xr-xr-x 3 cvmfs cvmfs 4096 Mar 14 12:43 easybuild
lrwxrwxrwx 1 cvmfs cvmfs   39 Mar 14 12:43 include -> lib/python3.11/site-packages/z3/include
dr-xr-xr-x 3 cvmfs cvmfs 4096 Mar 14 12:43 lib
lrwxrwxrwx 1 cvmfs cvmfs    3 Mar 14 12:43 lib64 -> lib

x86_64/amd/zen2/software/Z3/4.12.2-GCCcore-12.3.0-Python-3.11.3:
total 15
dr-xr-xr-x 2 cvmfs cvmfs 4096 Feb  4 20:43 bin
dr-xr-xr-x 3 cvmfs cvmfs 4096 Feb  4 20:43 easybuild
lrwxrwxrwx 1 cvmfs cvmfs   39 Feb  4 20:43 include -> lib/python3.11/site-packages/z3/include
dr-xr-xr-x 3 cvmfs cvmfs 4096 Feb  4 20:43 lib
lrwxrwxrwx 1 cvmfs cvmfs    3 Feb  4 20:43 lib64 -> lib

x86_64/generic/software/Z3/4.12.2-GCCcore-12.3.0:
total 15
dr-xr-xr-x 2 cvmfs cvmfs 4096 Mar 14 12:44 bin
dr-xr-xr-x 3 cvmfs cvmfs 4096 Mar 14 12:44 easybuild
lrwxrwxrwx 1 cvmfs cvmfs   39 Mar 14 12:44 include -> lib/python3.11/site-packages/z3/include
dr-xr-xr-x 3 cvmfs cvmfs 4096 Mar 14 12:44 lib
lrwxrwxrwx 1 cvmfs cvmfs    3 Mar 14 12:44 lib64 -> lib

x86_64/generic/software/Z3/4.12.2-GCCcore-12.3.0-Python-3.11.3:
total 15
dr-xr-xr-x 2 cvmfs cvmfs 4096 Feb  4 20:48 bin
dr-xr-xr-x 3 cvmfs cvmfs 4096 Feb  4 20:49 easybuild
lrwxrwxrwx 1 cvmfs cvmfs   39 Feb  4 20:49 include -> lib/python3.11/site-packages/z3/include
dr-xr-xr-x 3 cvmfs cvmfs 4096 Feb  4 20:49 lib
lrwxrwxrwx 1 cvmfs cvmfs    3 Feb  4 20:49 lib64 -> lib

x86_64/intel/broadwell/software/Z3/4.12.2-GCCcore-12.3.0:
total 15
dr-xr-xr-x 2 cvmfs cvmfs 4096 Mar 14 12:41 bin
dr-xr-xr-x 3 cvmfs cvmfs 4096 Mar 14 12:41 easybuild
lrwxrwxrwx 1 cvmfs cvmfs   39 Mar 14 12:41 include -> lib/python3.11/site-packages/z3/include
dr-xr-xr-x 3 cvmfs cvmfs 4096 Mar 14 12:41 lib
lrwxrwxrwx 1 cvmfs cvmfs    3 Mar 14 12:41 lib64 -> lib

x86_64/intel/broadwell/software/Z3/4.12.2-GCCcore-12.3.0-Python-3.11.3:
total 15
dr-xr-xr-x 2 cvmfs cvmfs 4096 Feb  4 20:55 bin
dr-xr-xr-x 3 cvmfs cvmfs 4096 Feb  4 20:55 easybuild
lrwxrwxrwx 1 cvmfs cvmfs   39 Feb  4 20:55 include -> lib/python3.11/site-packages/z3/include
dr-xr-xr-x 3 cvmfs cvmfs 4096 Feb  4 20:55 lib
lrwxrwxrwx 1 cvmfs cvmfs    3 Feb  4 20:55 lib64 -> lib

x86_64/intel/skylake_avx512/software/Z3/4.12.2-GCCcore-12.3.0:
total 15
dr-xr-xr-x 2 cvmfs cvmfs 4096 Mar 14 12:42 bin
dr-xr-xr-x 3 cvmfs cvmfs 4096 Mar 14 12:43 easybuild
lrwxrwxrwx 1 cvmfs cvmfs   39 Mar 14 12:42 include -> lib/python3.11/site-packages/z3/include
dr-xr-xr-x 3 cvmfs cvmfs 4096 Mar 14 12:42 lib
lrwxrwxrwx 1 cvmfs cvmfs    3 Mar 14 12:42 lib64 -> lib

x86_64/intel/skylake_avx512/software/Z3/4.12.2-GCCcore-12.3.0-Python-3.11.3:
total 15
dr-xr-xr-x 2 cvmfs cvmfs 4096 Feb  4 20:48 bin
dr-xr-xr-x 3 cvmfs cvmfs 4096 Feb  4 20:48 easybuild
lrwxrwxrwx 1 cvmfs cvmfs   39 Feb  4 20:48 include -> lib/python3.11/site-packages/z3/include
dr-xr-xr-x 3 cvmfs cvmfs 4096 Feb  4 20:48 lib
lrwxrwxrwx 1 cvmfs cvmfs    3 Feb  4 20:48 lib64 -> lib

log shows that the original module and the renamed module are ingested.

poksumdo

All good.

{2023.06}[foss/2023a] Z3 v4.12.2

0f6df2a

trz42 added the NESSI/2023.06 label Mar 14, 2024

trz42 added the bot:deploy label Mar 14, 2024

poksumdo added the ingested label Mar 14, 2024

poksumdo approved these changes Mar 14, 2024

View reviewed changes

poksumdo merged commit a5dcf8e into NorESSI:nessi.no-2023.06 Mar 14, 2024
25 checks passed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

{2023.06}[foss/2023a] Z3 v4.12.2 #288

{2023.06}[foss/2023a] Z3 v4.12.2 #288

trz42 commented Mar 14, 2024 •

edited

Loading

nessi-bot bot commented Mar 14, 2024

nessi-bot bot commented Mar 14, 2024

nessi-bot bot commented Mar 14, 2024

nessi-bot bot commented Mar 14, 2024

trz42 commented Mar 14, 2024

nessi-bot bot commented Mar 14, 2024 •

edited

Loading

nessi-bot bot commented Mar 14, 2024 •

edited

Loading

nessi-bot bot commented Mar 14, 2024 •

edited

Loading

nessi-bot bot commented Mar 14, 2024 •

edited

Loading

nessi-bot bot commented Mar 14, 2024 •

edited by trz42

Loading

nessi-bot bot commented Mar 14, 2024 •

edited by trz42

Loading

nessi-bot bot commented Mar 14, 2024 •

edited by trz42

Loading

nessi-bot bot commented Mar 14, 2024 •

edited by trz42

Loading

nessi-bot bot commented Mar 14, 2024 •

edited by trz42

Loading

trz42 commented Mar 14, 2024

trz42 commented Mar 14, 2024 •

edited

Loading

poksumdo left a comment

{2023.06}[foss/2023a] Z3 v4.12.2 #288

{2023.06}[foss/2023a] Z3 v4.12.2 #288

Conversation

trz42 commented Mar 14, 2024 • edited Loading

nessi-bot bot commented Mar 14, 2024

nessi-bot bot commented Mar 14, 2024

nessi-bot bot commented Mar 14, 2024

nessi-bot bot commented Mar 14, 2024

trz42 commented Mar 14, 2024

nessi-bot bot commented Mar 14, 2024 • edited Loading

nessi-bot bot commented Mar 14, 2024 • edited Loading

nessi-bot bot commented Mar 14, 2024 • edited Loading

nessi-bot bot commented Mar 14, 2024 • edited Loading

nessi-bot bot commented Mar 14, 2024 • edited by trz42 Loading

nessi-bot bot commented Mar 14, 2024 • edited by trz42 Loading

nessi-bot bot commented Mar 14, 2024 • edited by trz42 Loading

nessi-bot bot commented Mar 14, 2024 • edited by trz42 Loading

nessi-bot bot commented Mar 14, 2024 • edited by trz42 Loading

trz42 commented Mar 14, 2024

trz42 commented Mar 14, 2024 • edited Loading

poksumdo left a comment

Choose a reason for hiding this comment

trz42 commented Mar 14, 2024 •

edited

Loading

nessi-bot bot commented Mar 14, 2024 •

edited

Loading

nessi-bot bot commented Mar 14, 2024 •

edited

Loading

nessi-bot bot commented Mar 14, 2024 •

edited

Loading

nessi-bot bot commented Mar 14, 2024 •

edited

Loading

nessi-bot bot commented Mar 14, 2024 •

edited by trz42

Loading

nessi-bot bot commented Mar 14, 2024 •

edited by trz42

Loading

nessi-bot bot commented Mar 14, 2024 •

edited by trz42

Loading

nessi-bot bot commented Mar 14, 2024 •

edited by trz42

Loading

nessi-bot bot commented Mar 14, 2024 •

edited by trz42

Loading

trz42 commented Mar 14, 2024 •

edited

Loading