Skip to content

Actions: OCamlPro/ocaml-solidity

Actions

Main Workflow

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
workflow.yml
3 workflow runs
3 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix handling of higher-order functions. (#40) Main Workflow #110: Commit 27eed7b pushed by ddeclerck
September 12, 2023 21:21 14m 15s master
master
September 12, 2023 21:21 14m 15s
Fix Handling of Higher-Order Functions Main Workflow #109: Pull request #40 reopened by ddeclerck
September 12, 2023 21:20 14m 27s CertiKProject:higher-order-functions
CertiKProject:higher-order-functions
September 12, 2023 21:20 14m 27s
Add reserved keywords to lexer and parser (#39) Main Workflow #108: Commit af26ea2 pushed by ddeclerck
September 12, 2023 14:15 25m 38s master
master
September 12, 2023 14:15 25m 38s