Skip to content

Actions: trdthg/sail

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
31 workflow run results
31 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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 Check formatting #8: Commit b81e282 pushed by trdthg
July 2, 2024 05:42 36s fix-fmt
fix-fmt
July 2, 2024 05:42 36s
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 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
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 Test coverage #7: Commit b81e282 pushed by trdthg
July 2, 2024 02:00 17m 6s sail2
sail2
July 2, 2024 02:00 17m 6s
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 Build matrix #6: Commit b81e282 pushed by trdthg
July 2, 2024 02:00 18m 15s sail2
sail2
July 2, 2024 02:00 18m 15s
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 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 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 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
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
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 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
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
Publish test results Publish test results #3: completed by trdthg
May 21, 2024 06:18 19s
May 21, 2024 06:18 19s
Publish test results Publish test results #2: completed by trdthg
May 21, 2024 06:16 19s
May 21, 2024 06:16 19s
FIx formatter Check formatting #3: Commit c29d531 pushed by trdthg
May 21, 2024 06:06 52s sail-fmt-comments-patch
sail-fmt-comments-patch
May 21, 2024 06:06 52s
FIx formatter Test coverage #3: Commit c29d531 pushed by trdthg
May 21, 2024 06:06 12m 1s sail-fmt-comments-patch
sail-fmt-comments-patch
May 21, 2024 06:06 12m 1s
FIx formatter Build matrix #2: Commit c29d531 pushed by trdthg
May 21, 2024 06:06 1m 14s sail-fmt-comments-patch
sail-fmt-comments-patch
May 21, 2024 06:06 1m 14s