Build

Merge pull request #101 from chrisdone/cd/2025-06-24-generalizing-forall #210

Sign in to view logs

Triggered via push October 3, 2025 14:16

chrisdone-artificial

main

Status Success

Total duration 1m 33s

Artifacts –

main.yml

on: push