Skip to content

Actions: tgeng/archon

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
70 workflow runs
70 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
simplify translation Scala CI #70: Commit 18d11f7 pushed by tgeng
May 28, 2024 08:44 1m 16s main
main
May 28, 2024 08:44 1m 16s
fix usage unification Scala CI #69: Commit 84f01dc pushed by tgeng
May 26, 2024 23:22 1m 8s main
main
May 26, 2024 23:22 1m 8s
partially fix usage unification Scala CI #68: Commit c1c547e pushed by tgeng
May 25, 2024 03:58 1m 12s main
main
May 25, 2024 03:58 1m 12s
infer type checker in assertConvertible Scala CI #67: Commit 02c6c89 pushed by tgeng
May 17, 2024 06:16 1m 5s main
main
May 17, 2024 06:16 1m 5s
fix bug in convertibility check Scala CI #66: Commit aac2919 pushed by tgeng
May 17, 2024 05:59 1m 4s main
main
May 17, 2024 05:59 1m 4s
fix bug in level normalization Scala CI #65: Commit 68240fd pushed by tgeng
May 16, 2024 02:42 1m 6s main
main
May 16, 2024 02:42 1m 6s
add tests for level convertibility Scala CI #64: Commit 106e70d pushed by tgeng
May 13, 2024 03:57 1m 4s main
main
May 13, 2024 03:57 1m 4s
rename SubtypeOf to TypeOf Scala CI #63: Commit eeb45d4 pushed by tgeng
May 11, 2024 22:43 1m 7s main
main
May 11, 2024 22:43 1m 7s
more bug fixes Scala CI #62: Commit b3794c1 pushed by tgeng
May 6, 2024 07:02 1m 3s main
main
May 6, 2024 07:02 1m 3s
redo level and eqDecidsability on data and record Scala CI #61: Commit 477733e pushed by tgeng
May 6, 2024 06:46 1m 3s main
main
May 6, 2024 06:46 1m 3s
fix bugs in continuation declaration and record type checking Scala CI #60: Commit bb810da pushed by tgeng
May 5, 2024 23:23 1m 2s main
main
May 5, 2024 23:23 1m 2s
fix some bugs in type checker Scala CI #59: Commit 5d6b7f6 pushed by tgeng
May 5, 2024 00:40 1m 6s main
main
May 5, 2024 00:40 1m 6s
remove delay level and eq-decidability inference Scala CI #58: Commit 3282e6e pushed by tgeng
April 29, 2024 01:15 1m 9s main
main
April 29, 2024 01:15 1m 9s
some bug fixes Scala CI #57: Commit 699cced pushed by tgeng
April 28, 2024 22:59 1m 1s main
main
April 28, 2024 22:59 1m 1s
minor test builder improvement Scala CI #56: Commit 8bdbe4c pushed by tgeng
April 22, 2024 06:24 1m 7s main
main
April 22, 2024 06:24 1m 7s
minor test builder improvement Scala CI #55: Commit 16acdff pushed by tgeng
April 22, 2024 06:16 1m 5s main
main
April 22, 2024 06:16 1m 5s
set up for tterm-based tests Scala CI #54: Commit a64521b pushed by tgeng
April 22, 2024 05:59 1m 1s main
main
April 22, 2024 05:59 1m 1s
use collapse for type level expr Scala CI #53: Commit 10a5c44 pushed by tgeng
April 21, 2024 16:05 59s main
main
April 21, 2024 16:05 59s
remove unnecessary let Scala CI #52: Commit 32fc7f1 pushed by tgeng
April 21, 2024 15:55 1m 6s main
main
April 21, 2024 15:55 1m 6s
add term translation test Scala CI #51: Commit 843200a pushed by tgeng
April 20, 2024 23:16 1m 3s main
main
April 20, 2024 23:16 1m 3s
remove mixfix parser support since fastparse is preferred now Scala CI #50: Commit 8f03077 pushed by tgeng
April 20, 2024 23:11 1m 2s main
main
April 20, 2024 23:11 1m 2s
share test resource files between parsing and translation test Scala CI #49: Commit ed3600f pushed by tgeng
April 20, 2024 23:09 1m 11s main
main
April 20, 2024 23:09 1m 11s
upgrade to scala 3.4.1 Scala CI #48: Commit 9289512 pushed by tgeng
April 20, 2024 22:38 1m 21s main
main
April 20, 2024 22:38 1m 21s
make declaration and pre declaration simple data classes Scala CI #47: Commit 2e991c1 pushed by tgeng
April 20, 2024 22:36 1m 12s main
main
April 20, 2024 22:36 1m 12s
add translation test Scala CI #46: Commit 75ce4b7 pushed by tgeng
April 15, 2024 06:19 59s main
main
April 15, 2024 06:19 59s