Skip to content

Actions: WhatsApp/eqwalizer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
110 workflow runs
110 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

io_lib:char_list predicate
eqWAlizer CI #346: Commit da4f7a0 pushed by facebook-github-bot
December 10, 2024 17:11 23m 48s main
December 10, 2024 17:11 23m 48s
more precise narrow.getValType
eqWAlizer CI #345: Commit 626451b pushed by facebook-github-bot
December 9, 2024 16:28 19m 53s main
December 9, 2024 16:28 19m 53s
December 5, 2024 19:01 6m 51s
Report bad maps by default
eqWAlizer CI #343: Commit 36bef4c pushed by facebook-github-bot
December 2, 2024 16:05 7m 13s main
December 2, 2024 16:05 7m 13s
Improve accuracy of maps:with eqWAlizer return type
eqWAlizer CI #342: Commit 6bced1d pushed by facebook-github-bot
November 28, 2024 16:30 7m 9s main
November 28, 2024 16:30 7m 9s
Ad-hoc support for simple map comprehensions
eqWAlizer CI #341: Commit c4c54bc pushed by facebook-github-bot
November 26, 2024 13:10 7m 57s main
November 26, 2024 13:10 7m 57s
remove old rebar3 integration, update readme
eqWAlizer CI #340: Commit 786f0da pushed by facebook-github-bot
November 21, 2024 13:34 20m 38s main
November 21, 2024 13:34 20m 38s
fix documentation about undefined_field
eqWAlizer CI #339: Commit be7e0aa pushed by facebook-github-bot
November 21, 2024 11:23 9m 0s main
November 21, 2024 11:23 9m 0s
Support for overriding upstream types in eqwalizer_types.erl
eqWAlizer CI #338: Commit 759af3c pushed by facebook-github-bot
November 13, 2024 16:31 22m 30s main
November 13, 2024 16:31 22m 30s
naming
eqWAlizer CI #337: Commit b7c5d4c pushed by facebook-github-bot
November 12, 2024 18:39 21m 59s main
November 12, 2024 18:39 21m 59s
Add occurrence typing to maps:fold
eqWAlizer CI #336: Commit ba473da pushed by facebook-github-bot
November 12, 2024 00:39 23m 28s main
November 12, 2024 00:39 23m 28s
dead code
eqWAlizer CI #335: Commit bc03372 pushed by facebook-github-bot
November 12, 2024 00:11 26m 41s main
November 12, 2024 00:11 26m 41s
Custom type checking of maps:intersect
eqWAlizer CI #334: Commit 24c7788 pushed by facebook-github-bot
November 8, 2024 17:40 23m 10s main
November 8, 2024 17:40 23m 10s
clean up: overloadedSpecDomainCheck is always on
eqWAlizer CI #333: Commit 0ddd302 pushed by facebook-github-bot
November 7, 2024 12:14 20m 43s main
November 7, 2024 12:14 20m 43s
enable overloaded_spec_domain_check by default
eqWAlizer CI #332: Commit e9b1503 pushed by facebook-github-bot
November 7, 2024 08:45 19m 53s main
November 7, 2024 08:45 19m 53s
Better map update with union of keys
eqWAlizer CI #331: Commit 4bef349 pushed by facebook-github-bot
November 6, 2024 16:21 21m 11s main
November 6, 2024 16:21 21m 11s
maps:put/3 <-> #M{K => V}
eqWAlizer CI #330: Commit 3bafe37 pushed by facebook-github-bot
November 6, 2024 11:22 8m 10s main
November 6, 2024 11:22 8m 10s
Revert D65332089
eqWAlizer CI #329: Commit d48078e pushed by facebook-github-bot
November 1, 2024 15:17 21m 39s main
November 1, 2024 15:17 21m 39s
Update documentation about map types
eqWAlizer CI #328: Commit 8bb9214 pushed by facebook-github-bot
November 1, 2024 12:34 20m 2s main
November 1, 2024 12:34 20m 2s
enable domain check for overloaded specs by default
eqWAlizer CI #327: Commit c0457f8 pushed by facebook-github-bot
November 1, 2024 11:14 19m 24s main
November 1, 2024 11:14 19m 24s
Clarify map type approximation in errors
eqWAlizer CI #326: Commit 83b07ae pushed by facebook-github-bot
November 1, 2024 11:07 8m 10s main
November 1, 2024 11:07 8m 10s
ElabApplyCustom and type collection
eqWAlizer CI #325: Commit a2bd690 pushed by facebook-github-bot
October 29, 2024 16:52 21m 8s main
October 29, 2024 16:52 21m 8s
improving current handling of overloaded specs
eqWAlizer CI #324: Commit c628a93 pushed by facebook-github-bot
October 22, 2024 08:05 22m 57s main
October 22, 2024 08:05 22m 57s
Rework map type
eqWAlizer CI #323: Commit 415c9ed pushed by facebook-github-bot
October 21, 2024 08:38 21m 29s main
October 21, 2024 08:38 21m 29s
more checks of overloaded specs
eqWAlizer CI #322: Commit 0c099bb pushed by facebook-github-bot
October 2, 2024 16:43 8m 48s main
October 2, 2024 16:43 8m 48s