Skip to content
Lean Action CI

feat: add simple parser for QF_BV fragment of SMT-LIB v2 #11

Sign in to view logs

feat: add simple parser for QF_BV fragment of SMT-LIB v2

feat: add simple parser for QF_BV fragment of SMT-LIB v2 #11

This workflow is awaiting approval from a maintainer in #3
Triggered via pull request October 27, 2024 23:10
@abdoo8080abdoo8080
opened #3
abdoo8080:main
Status Action required
Total duration –
Artifacts –
This workflow is awaiting approval from a maintainer in #3

lean_action_ci.yml

on: pull_request
build
build
Fit to window
Zoom out
Zoom in