add portal-1 to build_system #70

Merged

Richie merged 1 commits from feature/add-portal-1-to-build_system into main

2026-09-08 16:58:21 -04:00

Author	SHA1	Message	Date
Richie	97d63eecda	add portal-1 to build_system treefmt / nix fmt (pull_request) Successful in 6s Details pytest / pytest (pull_request) Successful in 35s Details test ebook search / test-ebook-search (pull_request) Successful in 41s Details build_systems / build-portal-1 (pull_request) Successful in 57s Details build_systems / build-brain (pull_request) Successful in 57s Details build_systems / build-bob (pull_request) Successful in 59s Details build_systems / build-rhapsody-in-green (pull_request) Successful in 1m12s Details build_systems / build-jeeves (pull_request) Successful in 2m29s Details treefmt / nix fmt (push) Successful in 6s Details build_systems / build-portal-1 (push) Successful in 26s Details pytest / pytest (push) Successful in 34s Details test ebook search / test-ebook-search (push) Successful in 35s Details build_systems / build-brain (push) Successful in 39s Details build_systems / build-bob (push) Successful in 39s Details build_systems / build-rhapsody-in-green (push) Successful in 58s Details build_systems / build-jeeves (push) Successful in 2m21s Details	2026-09-08 16:40:45 -04:00