Skip to content

Actions: lubegasimon/odoc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
10 workflow runs
10 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove redundant ~suggestion Build #157: Commit 2f6a2cb pushed by Julow
December 5, 2023 15:25 10m 55s gh-issue-1043
gh-issue-1043
December 5, 2023 15:25 10m 55s
address review comment Build #156: Commit 7bccd5e pushed by lubegasimon
December 1, 2023 18:50 20m 20s gh-issue-1043
gh-issue-1043
December 1, 2023 18:50 20m 20s
address review comment Build #155: Commit f9d1ca4 pushed by lubegasimon
December 1, 2023 11:20 9m 18s gh-issue-1043
gh-issue-1043
December 1, 2023 11:20 9m 18s
update CHANGES.md Build #154: Commit 6cedb09 pushed by lubegasimon
December 1, 2023 08:27 9m 19s gh-issue-1043
gh-issue-1043
December 1, 2023 08:27 9m 19s
updated CHANGES.md Build #153: Commit 5108be1 pushed by lubegasimon
November 30, 2023 21:26 11m 54s gh-issue-1043
gh-issue-1043
November 30, 2023 21:26 11m 54s
Merge branch 'master' into gh-issue-1043 Build #152: Commit 400fac4 pushed by lubegasimon
November 30, 2023 21:15 8m 29s gh-issue-1043
gh-issue-1043
November 30, 2023 21:15 8m 29s
updated CHANGES.md Build #151: Commit bf1ccbc pushed by lubegasimon
November 30, 2023 21:10 8m 27s gh-issue-1043
gh-issue-1043
November 30, 2023 21:10 8m 27s
address review comment Build #150: Commit 6d728a9 pushed by lubegasimon
November 30, 2023 20:02 10m 17s gh-issue-1043
gh-issue-1043
November 30, 2023 20:02 10m 17s
tests to warn when a table is unclosed Build #149: Commit f7fa297 pushed by lubegasimon
November 30, 2023 16:39 10m 37s gh-issue-1043
gh-issue-1043
November 30, 2023 16:39 10m 37s
tests to warn when a table is unclosed Build #148: Commit db09f67 pushed by lubegasimon
November 30, 2023 14:29 15m 16s gh-issue-1043
gh-issue-1043
November 30, 2023 14:29 15m 16s