Skip to content

Actions: yallop/ocaml

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2 workflow runs
2 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

kprintf ~> ksprintf Build #1: Commit 17fc2c2 pushed by yallop
September 14, 2023 18:50 9m 20s ber-5
ber-5
September 14, 2023 18:50 9m 20s
kprintf ~> ksprintf Hygiene #1: Commit 17fc2c2 pushed by yallop
September 14, 2023 18:50 55s ber-5
ber-5
September 14, 2023 18:50 55s