Formal specification: Message fetching #318
ci.yaml
on: pull_request
build-docusaurus
42s
Typecheck specification
2m 32s
Check Haskell sources with fourmolu
5s
Matrix: compile
publish-docs
0s
Annotations
4 warnings
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
docusaurus-build
|
357 KB |
|