Skip to content

Actions: frenzymath/jixia

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
65 workflow runs
65 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: consider forall binder type as references Build #66: Commit 542ec25 pushed by tonyxty
February 17, 2025 19:46 32s main
main
February 17, 2025 19:46 32s
fix: add try to pretty printing (fix #9) Build #65: Commit ec820cb pushed by tonyxty
January 22, 2025 07:15 32s main
main
January 22, 2025 07:15 32s
fix: spell kinds in full whenever possible (fix #8) Build #64: Commit c7e6246 pushed by tonyxty
December 24, 2024 07:18 42s main
main
December 24, 2024 07:18 42s
feat: clean up output format (fix #7) Build #63: Commit 6a5ca5b pushed by tonyxty
December 13, 2024 05:13 40s main
main
December 13, 2024 05:13 40s
feat: add name resolution info to declaration Build #62: Commit 44ce582 pushed by tonyxty
December 12, 2024 08:40 32s main
main
December 12, 2024 08:40 32s
fix: disable field notations in tactic info Build #61: Commit 7cf24fd pushed by tonyxty
November 24, 2024 09:24 32s main
main
November 24, 2024 09:24 32s
feat: add binder info to variables Build #60: Commit 9c9b54c pushed by tonyxty
November 24, 2024 04:51 1m 21s main
main
November 24, 2024 04:51 1m 21s
feat: show coercions with types Build #59: Commit 84e3588 pushed by tonyxty
November 20, 2024 07:58 33s main
main
November 20, 2024 07:58 33s
chore: use run_cmd Build #58: Commit 9409b1d pushed by tonyxty
November 19, 2024 02:43 31s main
main
November 19, 2024 02:43 31s
doc: update README Build #57: Commit 195f29b pushed by tonyxty
November 18, 2024 06:17 32s main
main
November 18, 2024 06:17 32s
doc: add cdot example Build #56: Commit 7d65b3c pushed by tonyxty
November 18, 2024 06:12 36s main
main
November 18, 2024 06:12 36s
chore: use lean v4.13.0 Build #55: Commit 8543179 pushed by tonyxty
November 18, 2024 06:07 32s main
main
November 18, 2024 06:07 32s
feat: always show all goals within cdot blocks Build #54: Commit f31e841 pushed by tonyxty
November 18, 2024 05:58 32s main
main
November 18, 2024 05:58 32s
fix: replace deprecated items Build #53: Commit 411cb77 pushed by tonyxty
November 11, 2024 11:50 32s main
main
November 11, 2024 11:50 32s
doc: update README Build #52: Commit 47904ce pushed by tonyxty
November 7, 2024 11:54 34s main
main
November 7, 2024 11:54 34s
doc: update example command Build #51: Commit ab6ac9b pushed by tonyxty
November 6, 2024 16:53 39s main
main
November 6, 2024 16:53 39s
fix: pretty print varDecls Build #50: Commit 76eca80 pushed by tonyxty
November 6, 2024 10:42 32s main
main
November 6, 2024 10:42 32s
deprecate: remove tactics field from declaration Build #49: Commit 1bc9f2d pushed by tonyxty
November 5, 2024 15:14 39s main
main
November 5, 2024 15:14 39s
fix: crash Build #48: Commit c7124b3 pushed by tonyxty
October 29, 2024 15:19 39s main
main
October 29, 2024 15:19 39s
feat: add declaration signature Build #47: Commit ad7b7d5 pushed by tonyxty
October 29, 2024 08:43 33s main
main
October 29, 2024 08:43 33s
feat: add macro info Build #46: Commit 517012b pushed by tonyxty
October 28, 2024 05:24 38s main
main
October 28, 2024 05:24 38s
fix: pretty print syntax Build #45: Commit 917aa48 pushed by tonyxty
October 26, 2024 03:30 35s main
main
October 26, 2024 03:30 35s
feat: add more detailed elaboration info tree Build #44: Commit 6f30c06 pushed by tonyxty
October 23, 2024 15:04 38s main
main
October 23, 2024 15:04 38s
feat: elaboration info tree Build #43: Commit a83ad9b pushed by tonyxty
October 22, 2024 13:05 33s main
main
October 22, 2024 13:05 33s
feat: dependency structure of metavariables (#5) Build #42: Commit 5576f92 pushed by tonyxty
October 22, 2024 07:04 31s main
main
October 22, 2024 07:04 31s