Skip to content

Actions: WhatsApp/eqwalizer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
103 workflow runs
103 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

bug fix eqWAlizer CI #271: Commit 266a1dd pushed by facebook-github-bot
May 13, 2024 10:09 16m 7s main
main
May 13, 2024 10:09 16m 7s
more precise handling of maps:remove eqWAlizer CI #270: Commit ec3c430 pushed by facebook-github-bot
May 10, 2024 14:28 15m 59s main
main
May 10, 2024 14:28 15m 59s
Add docs for clause_not_covered eqWAlizer CI #269: Commit ffabb9f pushed by facebook-github-bot
May 7, 2024 21:19 15m 50s main
main
May 7, 2024 21:19 15m 50s
Uncovered clause detection eqWAlizer CI #268: Commit f12166e pushed by facebook-github-bot
May 3, 2024 13:56 16m 33s main
main
May 3, 2024 13:56 16m 33s
cleanup: no Patch anymore eqWAlizer CI #267: Commit bdeaf92 pushed by facebook-github-bot
May 2, 2024 10:55 16m 12s main
main
May 2, 2024 10:55 16m 12s
Fix subtyping dict < shape being too lenient eqWAlizer CI #266: Commit f2556cd pushed by facebook-github-bot
April 22, 2024 13:26 16m 22s main
main
April 22, 2024 13:26 16m 22s
On-the-fly collection of diagnostics eqWAlizer CI #265: Commit 1dbdbbd pushed by facebook-github-bot
April 2, 2024 17:16 8m 2s main
main
April 2, 2024 17:16 8m 2s
Only consider common required keys when merging shapes eqWAlizer CI #264: Commit f75ad54 pushed by facebook-github-bot
April 2, 2024 13:58 30m 6s main
main
April 2, 2024 13:58 30m 6s
Improvements to ElabApply with shapes eqWAlizer CI #263: Commit ce5f1ec pushed by facebook-github-bot
April 2, 2024 11:43 9m 8s main
main
April 2, 2024 11:43 9m 8s
Use shell IPC protocol everywhere eqWAlizer CI #262: Commit b7ef133 pushed by facebook-github-bot
March 25, 2024 16:00 27m 43s main
main
March 25, 2024 16:00 27m 43s
Migrate google java format from 1.7 -> 1.21.0 (#52) eqWAlizer CI #261: Commit 90eca40 pushed by facebook-github-bot
March 23, 2024 23:14 26m 14s main
main
March 23, 2024 23:14 26m 14s
Better handling of union of atoms in maps:get eqWAlizer CI #260: Commit cb8e23b pushed by facebook-github-bot
March 1, 2024 23:01 26m 9s main
main
March 1, 2024 23:01 26m 9s
Send structured diagnostic along with errors to ELP eqWAlizer CI #259: Commit ef8dbf3 pushed by facebook-github-bot
March 1, 2024 16:58 29m 32s main
main
March 1, 2024 16:58 29m 32s
Add eqWAlizer analyses and reporting eqWAlizer CI #258: Commit ab6dae7 pushed by facebook-github-bot
February 28, 2024 14:12 29m 42s main
main
February 28, 2024 14:12 29m 42s
Remove Mode.MiniElp eqWAlizer CI #257: Commit 347ad2c pushed by facebook-github-bot
February 7, 2024 14:42 35m 45s main
main
February 7, 2024 14:42 35m 45s
Update READMEs to remove references to mini-elp eqWAlizer CI #256: Commit d615b95 pushed by facebook-github-bot
February 6, 2024 17:01 23m 7s main
main
February 6, 2024 17:01 23m 7s
better shape keys in Narrow eqWAlizer CI #255: Commit 5a6c332 pushed by facebook-github-bot
January 31, 2024 13:12 22m 12s main
main
January 31, 2024 13:12 22m 12s
better refinment of maps: implementation eqWAlizer CI #254: Commit 5da3a99 pushed by facebook-github-bot
January 29, 2024 13:19 18m 55s main
main
January 29, 2024 13:19 18m 55s
0.25.3 eqWAlizer release #15: Release v0.25.3 created by VLanvin
January 3, 2024 12:21 20m 25s
January 3, 2024 12:21 20m 25s
Revert IPC protocol merge eqWAlizer CI #253: Commit 22c719e pushed by VLanvin
January 3, 2024 12:21 22m 38s v0.25.3
v0.25.3
January 3, 2024 12:21 22m 38s
Revert IPC protocol merge eqWAlizer CI #252: Commit 22c719e pushed by facebook-github-bot
December 21, 2023 22:26 19m 48s main
main
December 21, 2023 22:26 19m 48s
glean clean-up eqWAlizer CI #251: Commit 090fc58 pushed by facebook-github-bot
December 12, 2023 15:16 28m 2s main
main
December 12, 2023 15:16 28m 2s
Temporary bandaid for incomplete transitive check eqWAlizer CI #250: Commit ca720cc pushed by facebook-github-bot
December 8, 2023 16:24 21m 0s main
main
December 8, 2023 16:24 21m 0s
Configurable error depth eqWAlizer CI #249: Commit 66e097e pushed by facebook-github-bot
December 4, 2023 15:02 19m 28s main
main
December 4, 2023 15:02 19m 28s
Use new IPC protocol by default (except for mini-elp) eqWAlizer CI #248: Commit ab28269 pushed by facebook-github-bot
November 24, 2023 15:46 13m 35s main
main
November 24, 2023 15:46 13m 35s