Skip to content

Actions: trdthg/sail

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
311 workflow runs
311 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fmt Test coverage #10: Commit d448464 pushed by trdthg
July 3, 2024 08:39 14m 46s fix-fmt
fix-fmt
July 3, 2024 08:39 14m 46s
fmt Build matrix #9: Commit d448464 pushed by trdthg
July 3, 2024 08:39 18m 18s fix-fmt
fix-fmt
July 3, 2024 08:39 18m 18s
FIx sail-fmt block_comment indent Build matrix #8: Commit c5970d5 pushed by trdthg
July 3, 2024 08:31 11m 46s fix-fmt
fix-fmt
July 3, 2024 08:31 11m 46s
FIx sail-fmt block_comment indent Check formatting #9: Commit c5970d5 pushed by trdthg
July 3, 2024 08:31 32s fix-fmt
fix-fmt
July 3, 2024 08:31 32s
FIx sail-fmt block_comment indent Test coverage #9: Commit c5970d5 pushed by trdthg
July 3, 2024 08:31 14m 11s fix-fmt
fix-fmt
July 3, 2024 08:31 14m 11s
Publish test results Publish test results #8: completed by trdthg
July 2, 2024 05:56 16s
July 2, 2024 05:56 16s
Float: Refactor the test data to avoid duplication Test coverage #8: Commit b81e282 pushed by trdthg
July 2, 2024 05:42 14m 14s fix-fmt
fix-fmt
July 2, 2024 05:42 14m 14s
Float: Refactor the test data to avoid duplication Build matrix #7: Commit b81e282 pushed by trdthg
July 2, 2024 05:42 11m 4s fix-fmt
fix-fmt
July 2, 2024 05:42 11m 4s
Float: Refactor the test data to avoid duplication Check formatting #8: Commit b81e282 pushed by trdthg
July 2, 2024 05:42 36s fix-fmt
fix-fmt
July 2, 2024 05:42 36s
Publish test results Publish test results #7: completed by trdthg
July 2, 2024 02:17 19s
July 2, 2024 02:17 19s
Publish test results Publish test results #6: completed by trdthg
July 2, 2024 02:15 22s
July 2, 2024 02:15 22s
Float: Refactor the test data to avoid duplication Build matrix #6: Commit b81e282 pushed by trdthg
July 2, 2024 02:00 18m 15s sail2
sail2
July 2, 2024 02:00 18m 15s
Float: Refactor the test data to avoid duplication Check formatting #7: Commit b81e282 pushed by trdthg
July 2, 2024 02:00 8m 43s sail2
sail2
July 2, 2024 02:00 8m 43s
Float: Refactor the test data to avoid duplication Test coverage #7: Commit b81e282 pushed by trdthg
July 2, 2024 02:00 17m 6s sail2
sail2
July 2, 2024 02:00 17m 6s
Coq: correct corner case with implicit args in recursive calls Test coverage #6: Commit 59304f9 pushed by trdthg
July 2, 2024 01:58 16m 37s sail2
sail2
July 2, 2024 01:58 16m 37s
Coq: correct corner case with implicit args in recursive calls Build matrix #5: Commit 59304f9 pushed by trdthg
July 2, 2024 01:58 18m 23s sail2
sail2
July 2, 2024 01:58 18m 23s
Coq: correct corner case with implicit args in recursive calls Check formatting #6: Commit 59304f9 pushed by trdthg
July 2, 2024 01:58 5m 14s sail2
sail2
July 2, 2024 01:58 5m 14s
Publish test results Publish test results #5: completed by trdthg
June 11, 2024 02:47 22s
June 11, 2024 02:47 22s
handle doc_comment as block_comment Check formatting #5: Commit bc855b1 pushed by trdthg
June 11, 2024 02:31 5m 34s fix-fmt
fix-fmt
June 11, 2024 02:31 5m 34s
handle doc_comment as block_comment Test coverage #5: Commit bc855b1 pushed by trdthg
June 11, 2024 02:31 15m 37s fix-fmt
fix-fmt
June 11, 2024 02:31 15m 37s
handle doc_comment as block_comment Build matrix #4: Commit bc855b1 pushed by trdthg
June 11, 2024 02:31 16m 47s fix-fmt
fix-fmt
June 11, 2024 02:31 16m 47s
Publish test results Publish test results #4: completed by trdthg
May 22, 2024 16:12 22s
May 22, 2024 16:12 22s
fix typo and testcase Build matrix #3: Commit 58928e2 pushed by trdthg
May 22, 2024 16:00 1m 45s sail-fmt-comments-patch
sail-fmt-comments-patch
May 22, 2024 16:00 1m 45s
fix typo and testcase Test coverage #4: Commit 58928e2 pushed by trdthg
May 22, 2024 16:00 12m 26s sail-fmt-comments-patch
sail-fmt-comments-patch
May 22, 2024 16:00 12m 26s
fix typo and testcase Check formatting #4: Commit 58928e2 pushed by trdthg
May 22, 2024 16:00 42s sail-fmt-comments-patch
sail-fmt-comments-patch
May 22, 2024 16:00 42s
ProTip! You can narrow down the results and go further in time using created:<2024-05-22 or the other filters available.