Skip to content

Actions: ocsigen/html_of_wiki

Actions

Main workflow

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
workflow.yml
91 workflow runs
91 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

move close_out for more consistency Main workflow #106: Commit 5dfa8c4 pushed by mhjd
August 27, 2024 09:36 7m 6s markdown
markdown
August 27, 2024 09:36 7m 6s
Adding mld (odoc) part Main workflow #105: Pull request #146 synchronize by mhjd
August 26, 2024 09:32 6m 58s mld
mld
August 26, 2024 09:32 6m 58s
Putting an error back Main workflow #104: Commit 169a73b pushed by mhjd
August 26, 2024 09:32 6m 58s mld
mld
August 26, 2024 09:32 6m 58s
Adding markdown part Main workflow #103: Pull request #141 synchronize by mhjd
August 26, 2024 09:28 6m 41s markdown
markdown
August 26, 2024 09:28 6m 41s
delete useless comments Main workflow #102: Commit 4ac38bc pushed by mhjd
August 26, 2024 09:28 7m 28s markdown
markdown
August 26, 2024 09:28 7m 28s
Adding markdown part Main workflow #101: Pull request #141 synchronize by mhjd
August 26, 2024 09:16 6m 58s markdown
markdown
August 26, 2024 09:16 6m 58s
put the error back Main workflow #100: Commit 5c1a145 pushed by mhjd
August 26, 2024 09:16 7m 26s markdown
markdown
August 26, 2024 09:16 7m 26s
Main workflow Main workflow #99: Scheduled
August 26, 2024 02:04 18m 26s master
master
August 26, 2024 02:04 18m 26s
Adding markdown part Main workflow #98: Pull request #141 synchronize by mhjd
August 22, 2024 14:51 6m 52s markdown
markdown
August 22, 2024 14:51 6m 52s
remove empty file Main workflow #97: Commit 328c8d4 pushed by mhjd
August 22, 2024 14:51 7m 25s markdown
markdown
August 22, 2024 14:51 7m 25s
Adding mld (odoc) part Main workflow #96: Pull request #146 synchronize by mhjd
August 22, 2024 14:45 7m 9s mld
mld
August 22, 2024 14:45 7m 9s
translate comments in english and delete useless comments Main workflow #95: Commit cdcfee9 pushed by mhjd
August 22, 2024 14:45 7m 1s mld
mld
August 22, 2024 14:45 7m 1s
Adding markdown part Main workflow #94: Pull request #141 synchronize by balat
August 22, 2024 13:27 7m 38s markdown
markdown
August 22, 2024 13:27 7m 38s
Merge branch 'master' into markdown Main workflow #93: Commit e65f684 pushed by balat
August 22, 2024 13:27 7m 22s markdown
markdown
August 22, 2024 13:27 7m 22s
updating description of dune-project Main workflow #92: Commit c039eee pushed by balat
August 22, 2024 13:16 13m 36s master
master
August 22, 2024 13:16 13m 36s
Main workflow Main workflow #91: Scheduled
August 19, 2024 02:04 14m 54s master
master
August 19, 2024 02:04 14m 54s
Main workflow Main workflow #90: Scheduled
August 12, 2024 02:05 13m 44s master
master
August 12, 2024 02:05 13m 44s
Main workflow Main workflow #89: Scheduled
August 5, 2024 02:03 14m 23s master
master
August 5, 2024 02:03 14m 23s
updating site_ocsimore for tyxml 4.6.0 Main workflow #88: Pull request #145 synchronize by mhjd
August 1, 2024 11:16 6m 59s tyxml_update
tyxml_update
August 1, 2024 11:16 6m 59s
updating description of dune-project Main workflow #87: Commit 9d2d788 pushed by mhjd
August 1, 2024 11:16 6m 31s tyxml_update
tyxml_update
August 1, 2024 11:16 6m 31s
Adding mld (odoc) part Main workflow #86: Pull request #146 opened by mhjd
July 30, 2024 09:31 6m 46s mld
mld
July 30, 2024 09:31 6m 46s
translate comments in english and delete useless comments Main workflow #85: Commit c029fb5 pushed by mhjd
July 30, 2024 09:30 6m 12s mld
mld
July 30, 2024 09:30 6m 12s
Adding markdown part Main workflow #84: Pull request #141 synchronize by mhjd
July 29, 2024 09:27 6m 26s markdown
markdown
July 29, 2024 09:27 6m 26s
update for tyxml 4.6.0 Main workflow #83: Commit c0f1667 pushed by mhjd
July 29, 2024 09:27 6m 24s markdown
markdown
July 29, 2024 09:27 6m 24s
Adding markdown part Main workflow #82: Pull request #141 synchronize by mhjd
July 29, 2024 08:34 9m 33s markdown
markdown
July 29, 2024 08:34 9m 33s