Skip to content

Actions: dinfuehr/dora

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,228 workflow runs
1,228 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

frontend: Prepare expansion of or-patterns ci #2220: Commit 11b978e pushed by dinfuehr
December 17, 2024 20:07 42m 11s main
main
December 17, 2024 20:07 42m 11s
frontend: Add some preliminary guard support ci #2219: Commit 2aaffe6 pushed by dinfuehr
December 17, 2024 18:45 43m 2s main
main
December 17, 2024 18:45 43m 2s
frontend: Always enable usefulness check ci #2218: Commit fcac90d pushed by dinfuehr
December 15, 2024 19:09 41m 43s main
main
December 15, 2024 19:09 41m 43s
frontend: Improve usefulness check for any ci #2217: Commit b268d7d pushed by dinfuehr
December 15, 2024 17:14 42m 42s main
main
December 15, 2024 17:14 42m 42s
frontend: Fix pattern argument in check_useful ci #2216: Commit d3581f8 pushed by dinfuehr
December 14, 2024 14:03 42m 12s main
main
December 14, 2024 14:03 42m 12s
frontend: Support tuple with usefulness check ci #2215: Commit 1d716ac pushed by dinfuehr
December 13, 2024 19:03 43m 1s main
main
December 13, 2024 19:03 43m 1s
frontend: Add first usefulness test ci #2214: Commit e0d93b4 pushed by dinfuehr
December 13, 2024 16:04 42m 26s main
main
December 13, 2024 16:04 42m 26s
frontend: Start working on usefulness ci #2213: Commit 27fa1d6 pushed by dinfuehr
December 12, 2024 20:35 42m 59s main
main
December 12, 2024 20:35 42m 59s
frontend: Support alternatives in exhaustiveness checks ci #2212: Commit 0f3c22b pushed by dinfuehr
December 12, 2024 17:51 42m 21s main
main
December 12, 2024 17:51 42m 21s
frontend: Add test for tuple exhaustiveness check ci #2211: Commit 08ed559 pushed by dinfuehr
December 11, 2024 20:37 42m 31s main
main
December 11, 2024 20:37 42m 31s
frontend: Support enums in new exhaustiveness check ci #2210: Commit c854919 pushed by dinfuehr
December 9, 2024 16:20 43m 29s main
main
December 9, 2024 16:20 43m 29s
frontend: Invoke new exhaustivness check through annotation ci #2209: Commit 0d18f5e pushed by dinfuehr
December 8, 2024 22:04 41m 43s main
main
December 8, 2024 22:04 41m 43s
fix format ci #2208: Commit deaf07e pushed by dinfuehr
December 8, 2024 17:09 44m 9s main
main
December 8, 2024 17:09 44m 9s
frontend: Improve check for incomplete signatures ci #2207: Commit 715531c pushed by dinfuehr
December 8, 2024 15:36 42m 36s main
main
December 8, 2024 15:36 42m 36s
runtime: Rename VTable to Shape ci #2206: Commit bbd871c pushed by dinfuehr
December 7, 2024 20:54 42m 16s main
main
December 7, 2024 20:54 42m 16s
runtime: Remove ClassInstance and ClassInstanceId ci #2205: Commit d8b268a pushed by dinfuehr
December 6, 2024 21:35 40m 55s main
main
December 6, 2024 21:35 40m 55s
runtime: Make more use of vtable instead of class instance ci #2204: Commit 91014e8 pushed by dinfuehr
December 5, 2024 21:17 42m 46s main
main
December 5, 2024 21:17 42m 46s
runtime: Provide vtable reference from known elements ci #2203: Commit d4b886b pushed by dinfuehr
December 5, 2024 20:09 43m 46s main
main
December 5, 2024 20:09 43m 46s
runtime: Use vtable for tracing objects ci #2202: Commit 5d1eff0 pushed by dinfuehr
December 5, 2024 17:50 43m 38s main
main
December 5, 2024 17:50 43m 38s
frontend: Move alternatives into Pattern type ci #2201: Commit f4bc2e8 pushed by dinfuehr
December 4, 2024 22:03 43m 0s main
main
December 4, 2024 22:03 43m 0s
frontend: Start implementing new exhaustiveness check ci #2200: Commit 00a5726 pushed by dinfuehr
December 3, 2024 19:14 41m 31s main
main
December 3, 2024 19:14 41m 31s
frontend: clean up FixedBitSet usage ci #2199: Commit a8ca840 pushed by dinfuehr
December 1, 2024 20:37 42m 22s main
main
December 1, 2024 20:37 42m 22s
frontend: Add more tests for exhaustiveness ci #2198: Commit d2cd063 pushed by dinfuehr
December 1, 2024 20:26 42m 20s main
main
December 1, 2024 20:26 42m 20s
frontend: Remove exhaustivness check in typeck ci #2197: Commit 7ffb5fc pushed by dinfuehr
December 1, 2024 10:17 42m 7s main
main
December 1, 2024 10:17 42m 7s
frontend: Fix visiting for match AST node ci #2196: Commit f386140 pushed by dinfuehr
November 30, 2024 14:50 42m 14s main
main
November 30, 2024 14:50 42m 14s