This repository was archived by the owner on Apr 13, 2026. It is now read-only.

Merge pull request #28 from initstring/codex/rename-platform-to-red-t… #93

Triggered via push September 24, 2025 04:18

initstring

main

Status Success

Total duration 2m 14s

Artifacts 1

ci.yml

on: push

Produced during runtime

Name	Size	Digest
coverage-report Expired	254 KB	`sha256:5d04a2cb6ab83146ab84ad3e95c3e29e9f7034c7106ef814d37567ae0e5574ea`