Skip to content
Sphinx

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

Sign in to view logs

Refactor S-Exp protocols to depend on fewer Idris modules

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

Triggered via pull request August 28, 2023 14:53
@ohadohad
synchronize #3060
ohad:parser-refactor
Status Success
Total duration 34s
Artifacts –

ci-sphinx.yml

on: pull_request
Sphinx
26s
Sphinx
Fit to window
Zoom out
Zoom in