Skip to content

Actions: damiendoligez/ocaml

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
3 workflow runs
3 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Ensure that pool owners are correctly set on pool adoption (#13773) Build #114: Commit 3597232 pushed by damiendoligez
February 4, 2025 11:59 19m 20s trunk
trunk
February 4, 2025 11:59 19m 20s
Fix #13495: typechecker crash while typing objects (#13514) Build #113: Commit e026d94 pushed by damiendoligez
November 7, 2024 15:46 19m 20s trunk
trunk
November 7, 2024 15:46 19m 20s
Revert "temporary change of config for INRIA CI" Build #112: Commit e4b1eb0 pushed by damiendoligez
June 25, 2024 15:50 18m 30s trunk
trunk
June 25, 2024 15:50 18m 30s