Skip to content
Build

Updating README.md. #22

Sign in to view logs

Updating README.md.

Updating README.md. #22

Triggered via push December 7, 2025 19:08
@Matthew-MosiorMatthew-Mosior
pushed c171fa2
main
Status Success
Total duration 1m 26s
Artifacts –

ci-lib.yml

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