Skip to content

Actions: OCamlPro/owi

Actions

check-changelog

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
changelog.yml
522 workflow runs
522 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Simplify file check-changelog #172: Pull request #310 opened by Laplace-Demon
June 14, 2024 11:33 14s Laplace-Demon:simplify-file
Laplace-Demon:simplify-file
June 14, 2024 11:33 14s
Reduce dune rules when submodules are checked out check-changelog #171: Pull request #309 opened by filipeom
June 14, 2024 09:22 22s filipeom:reduce-dunerules
filipeom:reduce-dunerules
June 14, 2024 09:22 22s
Concolic run main function from module check-changelog #170: Pull request #308 synchronize by zapashcanon
June 13, 2024 20:59 13s chambart:concolic_run_main
chambart:concolic_run_main
June 13, 2024 20:59 13s
Concolic run main function from module check-changelog #169: Pull request #308 synchronize by chambart
June 13, 2024 16:41 16s chambart:concolic_run_main
chambart:concolic_run_main
June 13, 2024 16:41 16s
Concolic run main function from module check-changelog #168: Pull request #308 opened by chambart
June 13, 2024 16:36 14s chambart:concolic_run_main
chambart:concolic_run_main
June 13, 2024 16:36 14s
better reporting in benchmarks for killed runs check-changelog #167: Pull request #306 synchronize by zapashcanon
June 13, 2024 16:23 12s zapashcanon:betterkilled
zapashcanon:betterkilled
June 13, 2024 16:23 12s
Add a wat2wasm subcommand check-changelog #166: Pull request #232 synchronize by epatrizio
June 13, 2024 15:47 13s epatrizio:wat2wasm
epatrizio:wat2wasm
June 13, 2024 15:47 13s
make lint-doc fatal again check-changelog #165: Pull request #307 opened by zapashcanon
June 13, 2024 13:54 16s zapashcanon:lintdocfatal
zapashcanon:lintdocfatal
June 13, 2024 13:54 16s
better reporting in benchmarks for killed runs check-changelog #164: Pull request #306 opened by zapashcanon
June 13, 2024 13:35 19s zapashcanon:betterkilled
zapashcanon:betterkilled
June 13, 2024 13:35 19s
add a --solver CLI option check-changelog #163: Pull request #304 synchronize by zapashcanon
June 13, 2024 10:07 18s zapashcanon:manysolver
zapashcanon:manysolver
June 13, 2024 10:07 18s
Add a wat2wasm subcommand check-changelog #162: Pull request #232 synchronize by epatrizio
June 12, 2024 14:48 18s epatrizio:wat2wasm
epatrizio:wat2wasm
June 12, 2024 14:48 18s
fix binary to text check-changelog #161: Pull request #305 opened by zapashcanon
June 12, 2024 13:55 17s zapashcanon:wasm2watorder
zapashcanon:wasm2watorder
June 12, 2024 13:55 17s
Add a wat2wasm subcommand check-changelog #160: Pull request #232 synchronize by epatrizio
June 12, 2024 13:11 1m 8s epatrizio:wat2wasm
epatrizio:wat2wasm
June 12, 2024 13:11 1m 8s
add a --solver CLI option check-changelog #159: Pull request #304 opened by zapashcanon
June 12, 2024 11:56 16s zapashcanon:manysolver
zapashcanon:manysolver
June 12, 2024 11:56 16s
Fix order of fields in binary_to_text check-changelog #158: Pull request #302 opened by zapashcanon
June 12, 2024 10:14 18s zapashcanon:wasm2watorder
zapashcanon:wasm2watorder
June 12, 2024 10:14 18s
Add a wat2wasm subcommand check-changelog #157: Pull request #232 synchronize by epatrizio
June 11, 2024 14:28 17s epatrizio:wat2wasm
epatrizio:wat2wasm
June 11, 2024 14:28 17s
Add a wat2wasm subcommand check-changelog #156: Pull request #232 synchronize by epatrizio
June 10, 2024 15:23 15s epatrizio:wat2wasm
epatrizio:wat2wasm
June 10, 2024 15:23 15s
A handful of tentative performance improvements check-changelog #155: Pull request #295 synchronize by krtab
June 7, 2024 14:23 17s krtab:improv_multicore
krtab:improv_multicore
June 7, 2024 14:23 17s
A handful of tentative performance improvements check-changelog #154: Pull request #295 synchronize by krtab
June 7, 2024 13:35 16s krtab:improv_multicore
krtab:improv_multicore
June 7, 2024 13:35 16s
add --solver cli option check-changelog #153: Pull request #299 synchronize by zapashcanon
June 7, 2024 12:46 13s zapashcanon:main
zapashcanon:main
June 7, 2024 12:46 13s
implement the extended const-proposal check-changelog #152: Pull request #301 opened by Laplace-Demon
June 7, 2024 12:30 14s Laplace-Demon:main
Laplace-Demon:main
June 7, 2024 12:30 14s
A handful of tentative performance improvements check-changelog #151: Pull request #295 synchronize by krtab
June 7, 2024 08:50 13s krtab:improv_multicore
krtab:improv_multicore
June 7, 2024 08:50 13s
A handful of tentative performance improvements check-changelog #150: Pull request #295 synchronize by krtab
June 7, 2024 08:48 12s krtab:improv_multicore
krtab:improv_multicore
June 7, 2024 08:48 12s
A handful of tentative performance improvements check-changelog #149: Pull request #295 synchronize by krtab
June 7, 2024 08:36 13s krtab:improv_multicore
krtab:improv_multicore
June 7, 2024 08:36 13s
add --solver cli option check-changelog #148: Pull request #299 opened by zapashcanon
June 6, 2024 16:12 17s zapashcanon:main
zapashcanon:main
June 6, 2024 16:12 17s
ProTip! You can narrow down the results and go further in time using created:<2024-06-06 or the other filters available.