Skip to content

Actions: Matthew-Mosior/idris2-stringsearch-algorithms

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-lib.yml
37 workflow runs
37 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge pull request #1 from Matthew-Mosior/update-inter-language-bench… Build #37: Commit 31ca9a9 pushed by Matthew-Mosior
1m 54s main
main
1m 54s
[ doc ] Removing redundant language in README Build #36: Pull request #1 opened by Matthew-Mosior
1m 56s update-inter-language-benchmarks-in-README
update-inter-language-benchmarks-in-README
1m 56s
Removing redundant language in README. Build #35: Commit 8496b60 pushed by Matthew-Mosior
1m 32s update-inter-language-benchmarks-in-README
update-inter-language-benchmarks-in-README
1m 32s
Updating README.md. Build #34: Commit 14574ab pushed by Matthew-Mosior
1m 34s main
main
1m 34s
Updating code. Build #33: Commit c099f38 pushed by Matthew-Mosior
1m 32s main
main
1m 32s
Updating README.md. Build #32: Commit 934d89b pushed by Matthew-Mosior
1m 30s main
main
1m 30s
Updating README.md. Build #31: Commit 6757e0f pushed by Matthew-Mosior
1m 31s main
main
1m 31s
Updating README.md. Build #30: Commit 767fa48 pushed by Matthew-Mosior
1m 27s main
main
1m 27s
Updating README.md. Build #29: Commit 200a3d3 pushed by Matthew-Mosior
1m 35s main
main
1m 35s
Updating README.md. Build #28: Commit 1872a2e pushed by Matthew-Mosior
1m 34s main
main
1m 34s
Updating README.md. Build #27: Commit a7038ea pushed by Matthew-Mosior
1m 30s main
main
1m 30s
Updating README.md. Build #26: Commit d54d564 pushed by Matthew-Mosior
1m 36s main
main
1m 36s
Updating README.md. Build #25: Commit 8a7c047 pushed by Matthew-Mosior
1m 28s main
main
1m 28s
Updating README.md. Build #24: Commit 6422cc2 pushed by Matthew-Mosior
1m 30s main
main
1m 30s
Updating README.md. Build #23: Commit fb95569 pushed by Matthew-Mosior
1m 33s main
main
1m 33s
Updating README.md. Build #22: Commit c171fa2 pushed by Matthew-Mosior
1m 26s main
main
1m 26s
Updating ipkg. Build #21: Commit 28b3f6c pushed by Matthew-Mosior
1m 34s main
main
1m 34s
Updating README.md. Build #20: Commit be1da6e pushed by Matthew-Mosior
1m 35s main
main
1m 35s
Updating README.md. Build #19: Commit 615f4de pushed by Matthew-Mosior
1m 22s main
main
1m 22s
Updating README.md. Build #18: Commit 1e501a4 pushed by Matthew-Mosior
1m 27s main
main
1m 27s
Updating README.md. Build #17: Commit 6b4dd75 pushed by Matthew-Mosior
1m 34s main
main
1m 34s
Updating README.md. Build #16: Commit 5cb7a4b pushed by Matthew-Mosior
1m 30s main
main
1m 30s
Adding README.md. Build #15: Commit 734a9a0 pushed by Matthew-Mosior
1m 29s main
main
1m 29s
Updating code. Build #14: Commit 4c8fe7e pushed by Matthew-Mosior
1m 37s main
main
1m 37s
Updating code. Build #13: Commit 979b27c pushed by Matthew-Mosior
1m 35s main
main
1m 35s