Skip to content
Check the Agda files

split variants file into defs and default langs #31

Sign in to view logs

split variants file into defs and default langs

split variants file into defs and default langs #31

Triggered via push November 20, 2023 11:56
@pmbittnerpmbittner
pushed 0acf064
develop
Status Success
Total duration 17m 42s
Artifacts –

check.yml

on: push
build
17m 32s
build
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
build
Cache save failed.
build: src/Test/Test/VariantList-Completeness.agda#L14
The module Test.Example doesn't export the following:\n _example:_ (did you mean 'Example'?)\nwhen scope checking the declaration\n open import Test.Example using (_example:_)\n