work around erroneous "undefined in device code" error in `basic_any`… #1182

Triggered via push January 30, 2025 19:01

main

Status Success

Total duration 7m 30s

Artifacts 2

build-docs.yml

on: push

Produced during runtime

Name	Size
docs	132 MB
github-pages	32.4 MB