Skip to content
Build

Updating README.md. #28

Sign in to view logs

Updating README.md.

Updating README.md. #28

Triggered via push December 8, 2025 13:57
@Matthew-MosiorMatthew-Mosior
pushed 1872a2e
main
Status Success
Total duration 1m 34s
Artifacts –

ci-lib.yml

on: push
Build Matthew-Mosior/idris2-stringsearch-algorithms with Idris2 latest
1m 30s
Build Matthew-Mosior/idris2-stringsearch-algorithms with Idris2 latest
Fit to window
Zoom out
Zoom in