Skip to content

Actions: Matthew-Mosior/idris2-stringsearch-algorithms

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
74 workflow runs
74 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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… Lint #37: Commit 31ca9a9 pushed by Matthew-Mosior
2m 29s main
main
2m 29s
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
[ doc ] Removing redundant language in README Lint #36: Pull request #1 opened by Matthew-Mosior
2m 6s update-inter-language-benchmarks-in-README
update-inter-language-benchmarks-in-README
2m 6s
Removing redundant language in README. Lint #35: Commit 8496b60 pushed by Matthew-Mosior
2m 9s update-inter-language-benchmarks-in-README
update-inter-language-benchmarks-in-README
2m 9s
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. Lint #34: Commit 14574ab pushed by Matthew-Mosior
1m 17s main
main
1m 17s
Updating README.md. Build #34: Commit 14574ab pushed by Matthew-Mosior
1m 34s main
main
1m 34s
Updating code. Lint #33: Commit c099f38 pushed by Matthew-Mosior
1m 8s main
main
1m 8s
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. Lint #32: Commit 934d89b pushed by Matthew-Mosior
1m 13s main
main
1m 13s
Updating README.md. Lint #31: Commit 6757e0f pushed by Matthew-Mosior
1m 12s main
main
1m 12s
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. Lint #30: Commit 767fa48 pushed by Matthew-Mosior
1m 18s main
main
1m 18s
Updating README.md. Lint #29: Commit 200a3d3 pushed by Matthew-Mosior
1m 13s main
main
1m 13s
Updating README.md. Build #29: Commit 200a3d3 pushed by Matthew-Mosior
1m 35s main
main
1m 35s
Updating README.md. Lint #28: Commit 1872a2e pushed by Matthew-Mosior
1m 8s main
main
1m 8s
Updating README.md. Build #28: Commit 1872a2e pushed by Matthew-Mosior
1m 34s main
main
1m 34s
Updating README.md. Lint #27: Commit a7038ea pushed by Matthew-Mosior
1m 11s main
main
1m 11s
Updating README.md. Build #27: Commit a7038ea pushed by Matthew-Mosior
1m 30s main
main
1m 30s
Updating README.md. Lint #26: Commit d54d564 pushed by Matthew-Mosior
1m 1s main
main
1m 1s
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