Skip to content

Actions: agent-ix/quire-contract-codegen

Actions

CLA Assistant Lite

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
cla.yml
1,048 workflow runs
1,048 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
IR-768: specify public admitted function-chain generation CLA Assistant Lite #1048: Pull request #366 closed by kreneskyp
15s
15s
IR-768: specify public admitted function-chain generation CLA Assistant Lite #1047: Pull request #366 synchronize by kreneskyp
14s
14s
IR-768: specify public admitted function-chain generation CLA Assistant Lite #1046: Pull request #366 opened by kreneskyp
17s
17s
IR-768: specify checked-source Call body classification CLA Assistant Lite #1045: Pull request #365 closed by kreneskyp
14s
14s
IR-768: specify checked-source Call body classification CLA Assistant Lite #1044: Issue comment #365 (comment) created by kreneskyp
14s
14s
IR-768: specify checked-source Call body classification CLA Assistant Lite #1043: Pull request #365 synchronize by kreneskyp
15s
15s
IR-768: specify checked-source Call body classification CLA Assistant Lite #1042: Pull request #365 synchronize by kreneskyp
16s
16s
IR-768: specify checked-source Call body classification CLA Assistant Lite #1041: Pull request #365 synchronize by kreneskyp
13s
13s
IR-768: specify checked-source Call body classification CLA Assistant Lite #1040: Pull request #365 opened by kreneskyp
14s
14s
IR-295: source-bind Kani form settlement CLA Assistant Lite #1039: Pull request #354 synchronize by kreneskyp
15s
15s
IR-767: define claim identity for admitted ContractPackage results CLA Assistant Lite #1038: Pull request #364 closed by kreneskyp
17s
17s
IR-767: define claim identity for admitted ContractPackage results CLA Assistant Lite #1037: Pull request #364 synchronize by kreneskyp
15s
15s
IR-767: define claim identity for admitted ContractPackage results CLA Assistant Lite #1036: Pull request #364 synchronize by kreneskyp
15s
15s
IR-295: source-bind Kani form settlement CLA Assistant Lite #1035: Pull request #354 synchronize by kreneskyp
17s
17s
IR-767: define claim identity for admitted ContractPackage results CLA Assistant Lite #1034: Pull request #364 opened by kreneskyp
14s
14s
IR-744: specify production consumption of the FR-330 ContractPackage CLA Assistant Lite #1033: Pull request #363 closed by kreneskyp
19s
19s
IR-744: specify production consumption of the FR-330 ContractPackage CLA Assistant Lite #1032: Pull request #363 synchronize by kreneskyp
17s
17s
IR-744: specify production consumption of the FR-330 ContractPackage CLA Assistant Lite #1031: Pull request #363 synchronize by kreneskyp
14s
14s
IR-744: specify production consumption of the FR-330 ContractPackage CLA Assistant Lite #1030: Pull request #363 opened by kreneskyp
15s
15s
IR-295: source-bind Kani form settlement CLA Assistant Lite #1029: Pull request #354 synchronize by kreneskyp
17s
17s
IR-306: specify nested integer operand intervals CLA Assistant Lite #1028: Pull request #362 closed by kreneskyp
15s
15s
IR-306: specify nested integer operand intervals CLA Assistant Lite #1027: Pull request #362 synchronize by kreneskyp
18s
18s
IR-306: specify nested integer operand intervals CLA Assistant Lite #1026: Pull request #362 synchronize by kreneskyp
17s
17s
IR-306: specify nested integer operand intervals CLA Assistant Lite #1025: Pull request #362 opened by kreneskyp
14s
14s
IR-597: specify one typed operator catalog across CG emitters CLA Assistant Lite #1024: Pull request #361 closed by kreneskyp
15s
15s