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

use the solver from each worker instead of a global one for model generation check-changelog #122: Pull request #292 opened by zapashcanon
June 3, 2024 16:44 16s zapashcanon:onesolver
zapashcanon:onesolver
June 3, 2024 16:44 16s
Fixes 'infinite' loop on concolic assert(0) check-changelog #121: Pull request #291 synchronize by zapashcanon
June 3, 2024 14:57 12s filipeom:fix-conc-assert
filipeom:fix-conc-assert
June 3, 2024 14:57 12s
Fixes 'infinite' loop on concolic assert(0) check-changelog #120: Pull request #291 synchronize by zapashcanon
June 3, 2024 14:56 14s filipeom:fix-conc-assert
filipeom:fix-conc-assert
June 3, 2024 14:56 14s
Fixes 'infinite' loop on concolic assert(0) check-changelog #119: Pull request #291 opened by filipeom
June 3, 2024 12:34 16s filipeom:fix-conc-assert
filipeom:fix-conc-assert
June 3, 2024 12:34 16s
clean solver interface check-changelog #118: Pull request #290 synchronize by zapashcanon
June 3, 2024 12:20 13s zapashcanon:main
zapashcanon:main
June 3, 2024 12:20 13s
clean solver interface check-changelog #117: Pull request #290 synchronize by zapashcanon
June 3, 2024 12:17 15s zapashcanon:main
zapashcanon:main
June 3, 2024 12:17 15s
clean solver interface check-changelog #116: Pull request #290 opened by zapashcanon
June 3, 2024 11:46 11s zapashcanon:main
zapashcanon:main
June 3, 2024 11:46 11s
remove leftover instrumentation files check-changelog #115: Pull request #289 opened by zapashcanon
May 30, 2024 10:48 13s zapashcanon:main
zapashcanon:main
May 30, 2024 10:48 13s
use a submodule for collections-c tests check-changelog #114: Pull request #288 opened by zapashcanon
May 30, 2024 10:34 16s zapashcanon:main
zapashcanon:main
May 30, 2024 10:34 16s
add binary to perform a diff between two bench results check-changelog #113: Pull request #287 opened by zapashcanon
May 29, 2024 15:32 14s zapashcanon:main
zapashcanon:main
May 29, 2024 15:32 14s
add klee benchmark check-changelog #112: Pull request #286 synchronize by zapashcanon
May 28, 2024 22:03 12s zapashcanon:main
zapashcanon:main
May 28, 2024 22:03 12s
add klee benchmark check-changelog #111: Pull request #286 opened by zapashcanon
May 28, 2024 21:34 16s zapashcanon:main
zapashcanon:main
May 28, 2024 21:34 16s
better report and 5.2 compatibility check-changelog #110: Pull request #284 synchronize by zapashcanon
May 28, 2024 14:54 16s zapashcanon:main
zapashcanon:main
May 28, 2024 14:54 16s
Reduce the amount of condvar signaling check-changelog #109: Pull request #285 opened by krtab
May 28, 2024 14:45 14s krtab:opti_multicore
krtab:opti_multicore
May 28, 2024 14:45 14s
better report and 5.2 compatibility check-changelog #108: Pull request #284 synchronize by zapashcanon
May 28, 2024 14:26 17s zapashcanon:main
zapashcanon:main
May 28, 2024 14:26 17s
better report and 5.2 compatibility check-changelog #107: Pull request #284 synchronize by zapashcanon
May 28, 2024 14:16 13s zapashcanon:main
zapashcanon:main
May 28, 2024 14:16 13s
better report and 5.2 compatibility check-changelog #106: Pull request #284 synchronize by zapashcanon
May 28, 2024 14:00 14s zapashcanon:main
zapashcanon:main
May 28, 2024 14:00 14s
better report and 5.2 compatibility check-changelog #105: Pull request #284 opened by zapashcanon
May 28, 2024 13:54 19s zapashcanon:main
zapashcanon:main
May 28, 2024 13:54 19s
Add a wat2wasm subcommand check-changelog #104: Pull request #232 synchronize by epatrizio
May 27, 2024 14:12 11s epatrizio:wat2wasm
epatrizio:wat2wasm
May 27, 2024 14:12 11s
better report for benchmarks check-changelog #103: Pull request #283 synchronize by zapashcanon
May 26, 2024 23:29 16s zapashcanon:report
zapashcanon:report
May 26, 2024 23:29 16s
better report for benchmarks check-changelog #102: Pull request #283 synchronize by zapashcanon
May 26, 2024 21:27 11s zapashcanon:report
zapashcanon:report
May 26, 2024 21:27 11s
better report for benchmarks check-changelog #101: Pull request #283 synchronize by zapashcanon
May 26, 2024 21:14 12s zapashcanon:report
zapashcanon:report
May 26, 2024 21:14 12s
better report for benchmarks check-changelog #100: Pull request #283 synchronize by zapashcanon
May 26, 2024 16:25 13s zapashcanon:report
zapashcanon:report
May 26, 2024 16:25 13s
better report for benchmarks check-changelog #99: Pull request #283 opened by zapashcanon
May 26, 2024 16:24 11s zapashcanon:report
zapashcanon:report
May 26, 2024 16:24 11s
implement pretty-printing of concolic values check-changelog #98: Pull request #281 opened by zapashcanon
May 26, 2024 13:30 14s zapashcanon:main
zapashcanon:main
May 26, 2024 13:30 14s
ProTip! You can narrow down the results and go further in time using created:<2024-05-26 or the other filters available.