Skip to content

Actions: WhatsApp/eqwalizer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
163 workflow runs
163 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Unify custom typing rule registration and dispatch eqWAlizer CI #480: Commit 9d585d9 pushed by meta-codesync Bot
29m 9s main
main
29m 9s
Push on main CodeQL #60: by meta-codesync Bot
1m 8s main
main
1m 8s
Scheduled CodeQL #59: by github-advanced-security AI
57s main
main
57s
fix custom handling of lists:member eqWAlizer CI #479: Commit 01727d1 pushed by meta-codesync Bot
32m 11s main
main
32m 11s
Push on main CodeQL #58: by meta-codesync Bot
55s main
main
55s
less etaExpand eqWAlizer CI #478: Commit 623acb6 pushed by meta-codesync Bot
27m 20s main
main
27m 20s
Push on main CodeQL #57: by meta-codesync Bot
47s main
main
47s
normalize how refined record types are printed eqWAlizer CI #477: Commit 2b93556 pushed by meta-codesync Bot
32m 52s main
main
32m 52s
Push on main CodeQL #56: by meta-codesync Bot
54s main
main
54s
Scheduled CodeQL #55: by github-advanced-security AI
57s main
main
57s
bug fix in Narrow eqWAlizer CI #476: Commit 9330bf7 pushed by meta-codesync Bot
29m 31s main
main
29m 31s
Push on main CodeQL #54: by meta-codesync Bot
48s main
main
48s
Subtype: more explicit dependency eqWAlizer CI #475: Commit 2c48b48 pushed by meta-codesync Bot
28m 19s main
main
28m 19s
Push on main CodeQL #53: by meta-codesync Bot
44s main
main
44s
ElabApply: better lambdaToFunTy eqWAlizer CI #474: Commit a6c21dc pushed by meta-codesync Bot
22m 51s main
main
22m 51s
Push on main CodeQL #52: by meta-codesync Bot
47s main
main
47s
Constraints: remove obsolete/obvious comments eqWAlizer CI #473: Commit d105272 pushed by meta-codesync Bot
29m 50s main
main
29m 50s
Push on main CodeQL #51: by meta-codesync Bot
49s main
main
49s
Constraints: remove duplicated check eqWAlizer CI #472: Commit 24bca12 pushed by meta-codesync Bot
24m 2s main
main
24m 2s
Push on main CodeQL #50: by meta-codesync Bot
46s main
main
46s
Constraints: more dead code eqWAlizer CI #471: Commit f28e83c pushed by meta-codesync Bot
27m 16s main
main
27m 16s
Push on main CodeQL #49: by meta-codesync Bot
47s main
main
47s
Constraints: dead code eqWAlizer CI #470: Commit 1181bee pushed by meta-codesync Bot
28m 6s main
main
28m 6s
Push on main CodeQL #48: by meta-codesync Bot
42s main
main
42s
fix LTI eqWAlizer CI #469: Commit 35275e3 pushed by meta-codesync Bot
32m 21s main
main
32m 21s