8000 Workflow runs · frenzymath/jixia · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: frenzymath/jixia

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
82 workflow runs
82 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

doc: single files now must be compiled first Build #83: Commit b5ec1a4 pushed by tonyxty
July 15, 2025 06:49 36s main
main
July 15, 2025 06:49 36s
fix(#18): add current directory to search path Build #82: Commit 469b93a pushed by tonyxty
July 7, 2025 10:59 35s main
main
July 7, 2025 10:59 35s
chore: bump to v4.19.0 (#17) Build #81: Commit ba11ef4 pushed by tonyxty
June 3, 2025 08:02 36s main
main
June 3, 2025 08:02 36s
chore: bump to v4.19.0 Build #80: Pull request #17 opened by blueberry1342
June 3, 2025 07:59 38s blueberry1342:main
blueberry1342:main
June 3, 2025 07:59 38s
feat: add open scoped info to declaration (#16) Build #79: Commit b575cc7 pushed by tonyxty
June 3, 2025 05:58 37s main
main
June 3, 2025 05:58 37s
feat: add open scoped info to declaration Build #78: Pull request #16 opened by blueberry1342
June 3, 2025 05:54 34s blueberry1342:main
blueberry1342:main
June 3, 2025 05:54 34s
fix: tactic before & after are always the same Build #77: Commit d171b92 pushed by tonyxty
May 1, 2025 13:31 34s main
main
May 1, 2025 13:31 34s
doc: more detailed steps to run jixia Build #76: Commit e6d1448 pushed by tonyxty
April 17, 2025 15:15 31s main
main
April 17, 2025 15:15 31s
doc: update docstring for some functions Build #75: Commit e1b95c8 pushed by xyzw12345
April 2, 2025 03:27 31s main
main
April 2, 2025 03:27 31s
workaround: initSrcSearchPath does it wrong Build #74: Commit fc36d8f pushed by slashbade
March 22, 2025 13:03 34s main
main
March 22, 2025 13:03 34s
chore to latest (#12) Build #73: Commit 84fe948 pushed by slashbade
March 22, 2025 12:53 13s main
main
March 22, 2025 12:53 13s
chore to latest Build #72: Pull request #12 synchronize by slashbade
March 22, 2025 12:52 19s slashbade:main
slashbade:main
March 22, 2025 12:52 19s
workaround: initSrcSearchPath does it wrong Build #71: Commit fc36d8f pushed by tonyxty
March 21, 2025 09:45 31s main
main
March 21, 2025 09:45 31s
fix: set main module name Build #70: Commit 01a1fbc pushed by tonyxty
March 21, 2025 06:09 31s main
main
March 21, 2025 06:09 31s
fix: crash on pp symbol type Build #69: Commit babbde9 pushed by tonyxty
March 20, 2025 14:38 31s main
main
March 20, 2025 14:38 31s
chore: bump to v4.16.0 (#11) Build #68: Commit 157c55d pushed by tonyxty
March 12, 2025 14:17 29s main
main
March 12, 2025 14:17 29s
bump to v4.16.0 Build #67: Pull request #11 opened by slashbade
March 12, 2025 14:10 30s bump4160
bump4160
March 12, 2025 14:10 30s
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
0