Skip to content

Actions: Julow/odoc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
517 workflow runs
517 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

test: Remove 'type_desc_to_yojson' library
Build #676: Commit 9b6a2b2 pushed by Julow
January 24, 2025 10:50 9m 22s remove-test-lib
January 24, 2025 10:50 9m 22s
odoc-driver: Add 'odoc-md' as a dependency
Build #675: Commit f5b8b70 pushed by Julow
January 23, 2025 15:23 9m 23s odoc-driver-deps-odoc-md
January 23, 2025 15:23 9m 23s
Editorialize the changelog for Odoc 3.0
Build #674: Commit cc646f2 pushed by Julow
January 22, 2025 17:07 7m 0s changelog-300
January 22, 2025 17:07 7m 0s
WIP
Build #673: Commit b2afab0 pushed by Julow
January 22, 2025 11:19 9m 37s changelog-300
January 22, 2025 11:19 9m 37s
loader: Fix compatibility with 4.02
Build #672: Commit 6a3689e pushed by Julow
January 17, 2025 09:51 9m 16s rawoptional-402-compat
January 17, 2025 09:51 9m 16s
Update CHANGES
Build #671: Commit 3f11a66 pushed by Julow
January 16, 2025 16:28 5m 29s crash-reason380
January 16, 2025 16:28 5m 29s
Html: Fix stack overflow computing source code spans
Build #670: Commit 459acd2 pushed by Julow
January 16, 2025 11:28 10m 36s crash-reason380
January 16, 2025 11:28 10m 36s
test: Add RawOptional test case
Build #669: Commit b442e30 pushed by Julow
January 10, 2025 10:39 9m 26s 1272_test_hard_case
January 10, 2025 10:39 9m 26s
4.02 compat
Build #668: Commit bf67fa4 pushed by Julow
January 8, 2025 15:16 5m 35s parenthesize-letop
January 8, 2025 15:16 5m 35s
4.02 compat
Build #667: Commit e2b276c pushed by Julow
January 8, 2025 10:03 5m 30s parenthesize-letop
January 8, 2025 10:03 5m 30s
Add missing parentheses around ( or )
Build #666: Commit 45d36eb pushed by Julow
January 8, 2025 09:02 9m 45s parenthesize-letop
January 8, 2025 09:02 9m 45s
Update CHANGES
Build #665: Commit 7a8994c pushed by Julow
December 20, 2024 15:38 9m 28s parenthesize-letop
December 20, 2024 15:38 9m 28s
Add missing parentheses around identifier 'let*'
Build #664: Commit 20010b2 pushed by Julow
December 20, 2024 15:35 13m 43s parenthesize-letop
December 20, 2024 15:35 13m 43s
css: Tweak number line color in source code pages
Build #663: Commit 438b348 pushed by Julow
December 18, 2024 17:16 9m 47s css-tweaks
December 18, 2024 17:16 9m 47s
sherlodoc: Fix test dependency on odoc
Build #662: Commit 8b484be pushed by Julow
December 13, 2024 17:53 5m 26s merge-sherlodoc
December 13, 2024 17:53 5m 26s
sherlodoc: Fix test dependency on menhirLib
Build #661: Commit 812ad71 pushed by Julow
December 13, 2024 17:47 5m 27s merge-sherlodoc
December 13, 2024 17:47 5m 27s
sherlodoc: Fix test dependency on menhir
Build #660: Commit b49bfbb pushed by Julow
December 13, 2024 17:38 4m 43s merge-sherlodoc
December 13, 2024 17:38 4m 43s
sherlodoc: Fix test dependency on odoc
Build #659: Commit 8b484be pushed by Julow
December 13, 2024 17:31 5m 24s merge-sherlodoc
December 13, 2024 17:31 5m 24s
test: Make test libraries (optional)
Build #658: Commit 800b39c pushed by Julow
December 13, 2024 17:25 5m 14s merge-sherlodoc
December 13, 2024 17:25 5m 14s
test: Make test libraries (optional)
Build #657: Commit 22d0ce6 pushed by Julow
December 13, 2024 17:23 4m 17s merge-sherlodoc-ci
December 13, 2024 17:23 4m 17s
Yojson is not a test-dependency
Build #656: Commit c97f760 pushed by Julow
December 13, 2024 17:16 3m 31s merge-sherlodoc-ci
December 13, 2024 17:16 3m 31s
test
Build #655: Commit 73e0d4e pushed by Julow
December 13, 2024 17:03 7m 31s merge-sherlodoc-ci
December 13, 2024 17:03 7m 31s
ci: Fix Sherlodoc tests installing released odoc
Build #654: Commit 085a9b5 pushed by Julow
December 13, 2024 16:50 4m 52s merge-sherlodoc
December 13, 2024 16:50 4m 52s
ci: Fix Sherlodoc tests installing released odoc
Build #653: Commit c22a578 pushed by Julow
December 13, 2024 16:46 1s merge-sherlodoc
December 13, 2024 16:46 1s