Skip to content

fix bad ods keys

fix bad ods keys #174

Annotations

1 error and 3 warnings

linux (ubuntu-latest, 24)

failed Oct 30, 2024 in 28s
Set up job
2s
Initialize containers
20s
Checkout
2s
Cache Hex packages
0s
Cache Dialyzer PLTs
0s
Compile
1s
Generate Dialyzer PLT
0s
Run CT Tests
0s
Run Checks
0s
Produce Documentation
0s
Post Cache Dialyzer PLTs
0s
Post Cache Hex packages
0s
Post Checkout
0s
Stop containers
0s
Complete job
0s