Skip to content
Lint the sources

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

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 #5417

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

ci-lint.yml

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