Skip to content

Actions: WhatsApp/eqwalizer

Actions

eqWAlizer CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
105 workflow runs
105 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Always use positive part of occurrence typing in clauses
eqWAlizer CI #299: Commit aadbac1 pushed by facebook-github-bot
July 29, 2024 12:43 22m 29s main
July 29, 2024 12:43 22m 29s
Remove dir test_projects
eqWAlizer CI #298: Commit c473783 pushed by facebook-github-bot
July 25, 2024 16:44 4m 57s main
July 25, 2024 16:44 4m 57s
intermediate stubs are not sent
eqWAlizer CI #297: Commit b50a909 pushed by facebook-github-bot
July 23, 2024 15:46 22m 22s main
July 23, 2024 15:46 22m 22s
delete build info infrastructure
eqWAlizer CI #296: Commit 9e10571 pushed by facebook-github-bot
July 23, 2024 14:39 21m 27s main
July 23, 2024 14:39 21m 27s
Delete standalone mode
eqWAlizer CI #295: Commit 6a29a5d pushed by facebook-github-bot
July 23, 2024 14:13 21m 25s main
July 23, 2024 14:13 21m 25s
Remove strict mode from documentation
eqWAlizer CI #294: Commit 82a6d7a pushed by facebook-github-bot
July 22, 2024 14:53 23m 22s main
July 22, 2024 14:53 23m 22s
only gradual mode
eqWAlizer CI #293: Commit e4e9b5c pushed by facebook-github-bot
July 22, 2024 12:47 8m 19s main
July 22, 2024 12:47 8m 19s
Add custom eqWAlizer type checking for maps:merge
eqWAlizer CI #292: Commit d6e6421 pushed by facebook-github-bot
July 22, 2024 09:44 22m 25s main
July 22, 2024 09:44 22m 25s
Improve typing of maps:map when the input is a shape
eqWAlizer CI #291: Commit 3ff553c pushed by facebook-github-bot
July 19, 2024 12:10 21m 35s main
July 19, 2024 12:10 21m 35s
kill ad-hoc analyses
eqWAlizer CI #290: Commit 1a2d1cf pushed by facebook-github-bot
July 18, 2024 09:43 23m 5s main
July 18, 2024 09:43 23m 5s
Dedup keys when parsing shape maps in ELP
eqWAlizer CI #289: Commit 484e14f pushed by facebook-github-bot
July 17, 2024 09:34 21m 10s main
July 17, 2024 09:34 21m 10s
tests: OTP-27 compatible
eqWAlizer CI #288: Commit 1b662eb pushed by facebook-github-bot
July 15, 2024 16:05 21m 52s main
July 15, 2024 16:05 21m 52s
stick to OTP 26 (the same as ELP) (#59)
eqWAlizer CI #287: Commit cd61d8b pushed by facebook-github-bot
July 15, 2024 12:20 22m 35s main
July 15, 2024 12:20 22m 35s
option to report dynamic() cast (from overloaded specs)
eqWAlizer CI #286: Commit c7aaca4 pushed by facebook-github-bot
July 12, 2024 16:58 5m 36s main
July 12, 2024 16:58 5m 36s
Add custom eqWAlizer type checking for maps:to_list
eqWAlizer CI #285: Commit 3efd1a8 pushed by facebook-github-bot
July 10, 2024 18:49 5m 48s main
July 10, 2024 18:49 5m 48s
Set clause coverage to true by default
eqWAlizer CI #284: Commit c0a4f9a pushed by facebook-github-bot
July 10, 2024 09:41 5m 28s main
July 10, 2024 09:41 5m 28s
Ad-hoc handling of is_float/is_integer guards
eqWAlizer CI #283: Commit 67fe4fe pushed by facebook-github-bot
July 9, 2024 15:01 5m 38s main
July 9, 2024 15:01 5m 38s
support narrowing in a form true = ...
eqWAlizer CI #282: Commit 376cb4e pushed by facebook-github-bot
June 26, 2024 16:53 5m 36s main
June 26, 2024 16:53 5m 36s
Fix gen_statem:call dirty_timeout spec (#58)
eqWAlizer CI #281: Commit 32c528b pushed by facebook-github-bot
June 14, 2024 08:24 20m 46s main
June 14, 2024 08:24 20m 46s
Disable smart elaboration of negation in guards
eqWAlizer CI #280: Commit 0a6767c pushed by facebook-github-bot
June 6, 2024 13:06 21m 44s main
June 6, 2024 13:06 21m 44s
better occurrence for shapes
eqWAlizer CI #279: Commit 2d26851 pushed by facebook-github-bot
June 4, 2024 10:15 22m 4s main
June 4, 2024 10:15 22m 4s
better support for element/2 in narrowing
eqWAlizer CI #278: Commit 8681566 pushed by facebook-github-bot
June 3, 2024 11:07 21m 38s main
June 3, 2024 11:07 21m 38s
support case predicate(X, ...) of true -> ...
eqWAlizer CI #277: Commit a2527ba pushed by facebook-github-bot
May 24, 2024 13:01 20m 20s main
May 24, 2024 13:01 20m 20s
fix MacOS CI for GH (#56)
eqWAlizer CI #276: Commit bae13c8 pushed by facebook-github-bot
May 24, 2024 08:32 21m 11s main
May 24, 2024 08:32 21m 11s
Update meet for dynamic case
eqWAlizer CI #275: Commit 9362404 pushed by facebook-github-bot
May 22, 2024 14:03 19m 46s main
May 22, 2024 14:03 19m 46s