github-linux

Makefile: add init for real and int to gnu db #3461

Sign in to view logs

Triggered via pull request September 8, 2025 18:49

rmcdermo

opened #15081

rmcdermo:master

Status Success

Total duration 8m 46s

Artifacts –

linux.yml

on: pull_request

linux intel intelmpi

linux gnu openmpi

linux python helloworld