Skip to content

Actions: sp1ff/damerau-levenshtein

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
8 workflow runs
8 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Initial Coq commit
damerau-levenshtein Continuous Integration #8: Commit 10583b2 pushed by sp1ff
September 3, 2024 21:49 38s coq
coq
September 3, 2024 21:49 38s
Cut release 0.2.2
damerau-levenshtein Continuous Integration #7: Commit 2f0e084 pushed by sp1ff
July 2, 2024 14:57 37s master
July 2, 2024 14:57 37s
Cut release 0.2.2
damerau-levenshtein Continuous Integration #6: Commit 2f0e084 pushed by sp1ff
July 2, 2024 14:54 45s 0.2.2
July 2, 2024 14:54 45s
Cut release 0.2.2
damerau-levenshtein Continuous Integration #5: Commit 2f0e084 pushed by sp1ff
July 2, 2024 14:54 57s rel-0.2
July 2, 2024 14:54 57s
Prep the branch for merge.
damerau-levenshtein Continuous Integration #4: Commit 14d5ba2 pushed by sp1ff
July 2, 2024 14:37 39s master
July 2, 2024 14:37 39s
Add additional test cases for Berghel & Roach.
damerau-levenshtein Continuous Integration #3: Commit c948300 pushed by sp1ff
July 2, 2024 14:15 40s issue-3
July 2, 2024 14:15 40s
Fix issue #5.
damerau-levenshtein Continuous Integration #2: Commit 3b480ab pushed by sp1ff
July 2, 2024 14:05 48s issue-3
July 2, 2024 14:05 48s
Start a CI workflow
damerau-levenshtein Continuous Integration #1: Commit efa50bb pushed by sp1ff
July 2, 2024 04:50 46s issue-3
July 2, 2024 04:50 46s