Skip to content
This repository was archived by the owner on Jun 26, 2026. It is now read-only.

Actions: WhatsApp/eqwalizer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
172 workflow runs
172 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
Push on main CodeQL #81: by meta-codesync Bot
49s main
main
49s
Push on main CodeQL #80: by meta-codesync Bot
59s main
main
59s
Scheduled CodeQL #79: by github-advanced-security AI
1m 4s main
main
1m 4s
Push on main CodeQL #78: by meta-codesync Bot
45s main
main
45s
Scheduled CodeQL #77: by github-advanced-security AI
54s main
main
54s
Scheduled CodeQL #76: by github-advanced-security AI
51s main
main
51s
Occurrence - optimize handling of positive information only eqWAlizer CI #492: Commit 8548967 pushed by meta-codesync Bot
24m 16s main
main
24m 16s
Push on main CodeQL #75: by meta-codesync Bot
47s main
main
47s
Always use positive part of occurrence typing in case expressions and… eqWAlizer CI #491: Commit 0a3520b pushed by meta-codesync Bot
28m 39s main
main
28m 39s
Push on main CodeQL #74: by meta-codesync Bot
46s main
main
46s
Scheduled CodeQL #73: by github-advanced-security AI
1m 26s main
main
1m 26s
simplify subTypePol eqWAlizer CI #490: Commit c57aa9e pushed by meta-codesync Bot
28m 25s main
main
28m 25s
Push on main CodeQL #72: by meta-codesync Bot
42s main
main
42s
clarification about dynamic(T) type eqWAlizer CI #489: Commit fed8e59 pushed by meta-codesync Bot
24m 19s main
main
24m 19s
Push on main CodeQL #71: by meta-codesync Bot
46s main
main
46s
fix elaboration of Cons eqWAlizer CI #488: Commit 371e3ae pushed by meta-codesync Bot
26m 7s main
main
26m 7s
Push on main CodeQL #70: by meta-codesync Bot
44s main
main
44s
Push on main CodeQL #69: by meta-codesync Bot
41s main
main
41s
Narrow.meet: always promote None eqWAlizer CI #486: Commit a634bb6 pushed by meta-codesync Bot
6m 58s main
main
6m 58s
Push on main CodeQL #68: by meta-codesync Bot
53s main
main
53s
Remove limit for refinement of union type aliases eqWAlizer CI #485: Commit 6370858 pushed by meta-codesync Bot
7m 27s main
main
7m 27s
Push on main CodeQL #67: by meta-codesync Bot
52s main
main
52s
Scheduled CodeQL #66: by github-advanced-security AI
51s main
main
51s
Extract maps:with/maps:without keys from type, not AST eqWAlizer CI #484: Commit c439b2c pushed by meta-codesync Bot
3m 53s main
main
3m 53s
Push on main CodeQL #65: by meta-codesync Bot
50s main
main
50s