Skip to content

Actions: ashiven/eqsat

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
646 workflow runs
646 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
cleanup Build and Test #130: Commit 9772093 pushed by ashiven
33s type-union
type-union
33s
write down some more ideas Build and Test #129: Commit 7eaf8e8 pushed by ashiven
32s type-union
type-union
32s
add todo for maintaining correct slots in type analysis data Build and Test #128: Commit e0c2b8f pushed by ashiven
45s type-union
type-union
45s
add array var unification Build and Test #127: Commit 1586cd2 pushed by ashiven
46s type-union
type-union
46s
add simple example of sigma with var Build and Test #126: Commit 4b3fc4d pushed by ashiven
58s type-union
type-union
58s
add another todo for mutable types Build and Test #125: Commit 941715f pushed by ashiven
30s type-union
type-union
30s
add open todos to type inference Build and Test #124: Commit 6b8ca70 pushed by ashiven
41s type-union
type-union
41s
start implementing type union Build and Test #123: Commit 2188123 pushed by ashiven
33s type-union
type-union
33s
delete outdated egg example windows #168: Commit 03fbaae pushed by ashiven
14m 2s main
main
14m 2s
delete outdated egg example linux #161: Commit 03fbaae pushed by ashiven
10m 5s main
main
10m 5s
delete outdated egg example macos #155: Commit 03fbaae pushed by ashiven
14m 16s main
main
14m 16s
move rise imports into rise dir macos #154: Commit fe17ff4 pushed by ashiven
16m 38s main
main
16m 38s
move rise imports into rise dir linux #160: Commit fe17ff4 pushed by ashiven
9m 41s main
main
9m 41s
move rise imports into rise dir windows #167: Commit fe17ff4 pushed by ashiven
13m 11s main
main
13m 11s
revert removal of default type analysis linux #159: Commit d4ba8cf pushed by ashiven
8m 59s main
main
8m 59s
revert removal of default type analysis windows #166: Commit d4ba8cf pushed by ashiven
13m 5s main
main
13m 5s
revert removal of default type analysis macos #153: Commit d4ba8cf pushed by ashiven
11m 44s main
main
11m 44s
revert removal of default type analysis Build and Test #122: Commit d4ba8cf pushed by ashiven
42s main
main
42s
tile2d works now Build and Test #121: Commit 4b80bb5 pushed by ashiven
34s main
main
34s
tile2d works now windows #165: Commit 4b80bb5 pushed by ashiven
14m 14s main
main
14m 14s
tile2d works now linux #158: Commit 4b80bb5 pushed by ashiven
9m 0s main
main
9m 0s
tile2d works now macos #152: Commit 4b80bb5 pushed by ashiven
12m 41s main
main
12m 41s
comment out unused rules and dont perform type analysis by default Build and Test #120: Commit 329e35a pushed by ashiven
32s tile2d
tile2d
32s
delete outdated todo linux #157: Commit 97d6dbc pushed by ashiven
12m 19s main
main
12m 19s
delete outdated todo macos #151: Commit 97d6dbc pushed by ashiven
13m 28s main
main
13m 28s