Skip to content

Actions: AnyDSL/MimIR

macos

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
656 workflow runs
656 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

deprecated BlockExpr
macos #3146: Commit caf78d9 pushed by leissa
April 26, 2024 23:32 17m 53s ast
ast
April 26, 2024 23:32 17m 53s
Ast
macos #3145: Pull request #273 synchronize by leissa
April 26, 2024 21:24 17m 40s ast
ast
April 26, 2024 21:24 17m 40s
wip: cleanup annex magic
macos #3144: Commit fcd8884 pushed by leissa
April 26, 2024 21:23 19m 27s ast
ast
April 26, 2024 21:23 19m 27s
Ast
macos #3143: Pull request #273 synchronize by leissa
April 26, 2024 00:05 20m 56s ast
ast
April 26, 2024 00:05 20m 56s
move bootstrap stuff to AST
macos #3142: Commit 16e96b0 pushed by leissa
April 26, 2024 00:05 17m 23s ast
ast
April 26, 2024 00:05 17m 23s
Ast
macos #3141: Pull request #273 synchronize by leissa
April 25, 2024 15:02 18m 46s ast
ast
April 25, 2024 15:02 18m 46s
make .where truly upside down
macos #3140: Commit c9de8cf pushed by leissa
April 25, 2024 15:02 22m 30s ast
ast
April 25, 2024 15:02 22m 30s
Ast
macos #3139: Pull request #273 synchronize by leissa
April 25, 2024 14:22 22m 10s ast
ast
April 25, 2024 14:22 22m 10s
rework decls to explicitly use .and for mutal recursion
macos #3138: Commit 2ce91c0 pushed by leissa
April 25, 2024 14:22 19m 27s ast
ast
April 25, 2024 14:22 19m 27s
Ast
macos #3137: Pull request #273 synchronize by leissa
April 24, 2024 21:18 31m 50s ast
ast
April 24, 2024 21:18 31m 50s
fix endless loops in parse_pi_expr/parse_lam_decl
macos #3136: Commit 6933c2b pushed by leissa
April 24, 2024 21:18 33m 17s ast
ast
April 24, 2024 21:18 33m 17s
Ast
macos #3135: Pull request #273 synchronize by leissa
April 24, 2024 21:10 19m 25s ast
ast
April 24, 2024 21:10 19m 25s
polish
macos #3134: Commit f4a21a5 pushed by leissa
April 24, 2024 21:10 21m 40s ast
ast
April 24, 2024 21:10 21m 40s
Ast
macos #3133: Pull request #273 synchronize by leissa
April 24, 2024 20:31 28m 41s ast
ast
April 24, 2024 20:31 28m 41s
added warnings + hints
macos #3132: Commit 8da1efc pushed by leissa
April 24, 2024 20:31 25m 38s ast
ast
April 24, 2024 20:31 25m 38s
Ast
macos #3131: Pull request #273 synchronize by leissa
April 24, 2024 20:20 20m 8s ast
ast
April 24, 2024 20:20 20m 8s
cleanup
macos #3130: Commit ef6fcd3 pushed by leissa
April 24, 2024 20:20 21m 38s ast
ast
April 24, 2024 20:20 21m 38s
Ast
macos #3129: Pull request #273 synchronize by leissa
April 24, 2024 13:14 21m 23s ast
ast
April 24, 2024 13:14 21m 23s
make let in ptrns work
macos #3128: Commit 344ab44 pushed by leissa
April 24, 2024 13:14 22m 18s ast
ast
April 24, 2024 13:14 22m 18s
Ast
macos #3127: Pull request #273 synchronize by leissa
April 24, 2024 00:06 19m 5s ast
ast
April 24, 2024 00:06 19m 5s
cleanup
macos #3126: Commit ac9ce24 pushed by leissa
April 24, 2024 00:06 20m 24s ast
ast
April 24, 2024 00:06 20m 24s
Ast
macos #3125: Pull request #273 synchronize by leissa
April 23, 2024 22:43 37m 27s ast
ast
April 23, 2024 22:43 37m 27s
cleanup
macos #3124: Commit 2b5c3a6 pushed by leissa
April 23, 2024 22:43 37m 54s ast
ast
April 23, 2024 22:43 37m 54s
Ast
macos #3123: Pull request #273 synchronize by leissa
April 23, 2024 22:42 20m 50s ast
ast
April 23, 2024 22:42 20m 50s
cleanup
macos #3122: Commit 1176a4e pushed by leissa
April 23, 2024 22:42 18m 47s ast
ast
April 23, 2024 22:42 18m 47s