apalachex
Safe, deterministic Apalache execution and artifact management for Elixir.
Maintained on Hex by kokjinsam
Latest version
0.2.0
Last run
19 days ago
Checks
4
| Target / check | Status | Firmware size | Run |
|---|---|---|---|
|
host
host
|
pass | — | apalachex-0.2.0-1789720270560 |
|
nerves_system_mangopi_mq_pro
0.17.2
|
pass | 25665455 | apalachex-0.2.0-1789720270560 |
|
nerves_system_rpi4
2.1.2
|
pass | 41991994 | apalachex-0.2.0-1789720270560 |
|
nerves_system_x86_64
1.34.2
|
pass | 29381489 | apalachex-0.2.0-1789720270560 |
Add this badge to your README
It updates itself as apalachex's compatibility is reassessed.
Markdown
HTML