Skip to content

Actions: OCamlPro/owi

Actions

check-changelog

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
changelog.yml
516 workflow runs
516 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Simplify binary modules types check-changelog #441: Pull request #353 synchronize by zapashcanon
August 21, 2024 09:55 13s zapashcanon:simplifybinary
zapashcanon:simplifybinary
August 21, 2024 09:55 13s
Simplify binary modules types check-changelog #440: Pull request #353 synchronize by zapashcanon
August 21, 2024 09:54 13s zapashcanon:simplifybinary
zapashcanon:simplifybinary
August 21, 2024 09:54 13s
add --emit-file option to emit .wat files check-changelog #439: Pull request #413 opened by vasucp1207
August 21, 2024 08:24 18s vasucp1207:wasm-cmd
vasucp1207:wasm-cmd
August 21, 2024 08:24 18s
Simplify binary modules types check-changelog #438: Pull request #353 synchronize by zapashcanon
August 20, 2024 17:39 14s zapashcanon:simplifybinary
zapashcanon:simplifybinary
August 20, 2024 17:39 14s
Simplify binary modules types check-changelog #437: Pull request #353 synchronize by zapashcanon
August 20, 2024 17:19 29s zapashcanon:simplifybinary
zapashcanon:simplifybinary
August 20, 2024 17:19 29s
Adds memsight memory model check-changelog #436: Pull request #338 synchronize by filipeom
August 20, 2024 14:33 13s filipeom:memsight
filipeom:memsight
August 20, 2024 14:33 13s
fix CI check-changelog #435: Pull request #412 synchronize by zapashcanon
August 20, 2024 08:34 14s zapashcanon:main
zapashcanon:main
August 20, 2024 08:34 14s
Adds memsight memory model check-changelog #434: Pull request #338 synchronize by filipeom
August 20, 2024 08:07 13s filipeom:memsight
filipeom:memsight
August 20, 2024 08:07 13s
fix CI check-changelog #433: Pull request #412 opened by zapashcanon
August 19, 2024 10:18 11s zapashcanon:main
zapashcanon:main
August 19, 2024 10:18 11s
Allow writing function contracts in webassembly code check-changelog #432: Pull request #407 synchronize by Laplace-Demon
August 18, 2024 23:30 12s Laplace-Demon:spec
Laplace-Demon:spec
August 18, 2024 23:30 12s
Trim explored paths and enable collections-c for owi conc check-changelog #431: Pull request #406 synchronize by filipeom
August 18, 2024 10:34 14s filipeom:concolic
filipeom:concolic
August 18, 2024 10:34 14s
Trim explored paths and enable collections-c for owi conc check-changelog #430: Pull request #406 synchronize by filipeom
August 17, 2024 14:17 12s filipeom:concolic
filipeom:concolic
August 17, 2024 14:17 12s
Trim explored paths and enable collections-c for owi conc check-changelog #429: Pull request #406 synchronize by filipeom
August 17, 2024 13:54 12s filipeom:concolic
filipeom:concolic
August 17, 2024 13:54 12s
Allow writing function contracts in webassembly code check-changelog #428: Pull request #407 synchronize by Laplace-Demon
August 13, 2024 21:19 16s Laplace-Demon:spec
Laplace-Demon:spec
August 13, 2024 21:19 16s
Integration of E-ACSL specification language in owi check-changelog #427: Pull request #324 synchronize by zapashcanon
August 13, 2024 13:22 13s Laplace-Demon:eacsl
Laplace-Demon:eacsl
August 13, 2024 13:22 13s
remove one invalid file from the whitelist, increase the number of check-changelog #426: Pull request #408 opened by zapashcanon
August 13, 2024 11:39 14s zapashcanon:bench
zapashcanon:bench
August 13, 2024 11:39 14s
Trim explored paths and enable collections-c for owi conc check-changelog #425: Pull request #406 opened by filipeom
August 10, 2024 10:51 11s filipeom:concolic
filipeom:concolic
August 10, 2024 10:51 11s
Code impro paper check-changelog #424: Pull request #405 synchronize by krtab
August 6, 2024 12:17 18s krtab:code_impro_paper
krtab:code_impro_paper
August 6, 2024 12:17 18s
Code impro paper check-changelog #423: Pull request #405 opened by krtab
August 6, 2024 09:57 14s krtab:code_impro_paper
krtab:code_impro_paper
August 6, 2024 09:57 14s
Create Synchronzier module check-changelog #422: Pull request #360 synchronize by krtab
August 6, 2024 07:55 1m 35s krtab:synchronizer
krtab:synchronizer
August 6, 2024 07:55 1m 35s
Bump tarides/changelog-check-action from 2 to 3 check-changelog #421: Pull request #404 opened by dependabot bot
August 5, 2024 21:27 12s dependabot/github_actions/tarides/changelog-check-action-3
dependabot/github_actions/tarides/changelog-check-action-3
August 5, 2024 21:27 12s
Adds memsight memory model check-changelog #420: Pull request #338 synchronize by filipeom
August 5, 2024 09:54 13s filipeom:memsight
filipeom:memsight
August 5, 2024 09:54 13s
Adds memsight memory model check-changelog #419: Pull request #338 synchronize by filipeom
August 4, 2024 15:16 14s filipeom:memsight
filipeom:memsight
August 4, 2024 15:16 14s
Add output dir and table in zulip notification check-changelog #418: Pull request #395 synchronize by filipeom
August 3, 2024 08:50 12s filipeom:fix-notify
filipeom:fix-notify
August 3, 2024 08:50 12s
clean code and improve code coverage check-changelog #417: Pull request #403 opened by zapashcanon
August 2, 2024 23:58 14s zapashcanon:coverage
zapashcanon:coverage
August 2, 2024 23:58 14s