OCaml Binding CI (Ubuntu + macOS)

Convert nnf/snf tactics to dependent_expr_state_tactic with nnf_simpl… #5529

Sign in to view logs

This workflow is awaiting approval from a maintainer

Triggered via push March 28, 2026 22:33

Copilot

copilot/convert-nnf-to-simplifier

Status Action required

Total duration –

Artifacts –

This workflow is awaiting approval from a maintainer

ocaml.yaml

on: push

Matrix: build-test

Waiting for pending jobs