Refactor S-Exp protocols to depend on fewer Idris modules #5335

Sign in to view logs

Triggered via pull request August 29, 2023 10:57

ohad

synchronize #3060

ohad:parser-refactor

Status Success

Total duration 3m 15s

Artifacts –

ci-super-linter.yml

on: pull_request