Skip to content

Actions: AnyDSL/thorin2

Actions

macos

Actions

Loading...

Show workflow options

Create status badge

macos.yml
1,529 workflow runs
1,529 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Refactor/blockexpr macos #3159: Pull request #274 synchronize by leissa
May 1, 2024 23:55 17m 50s refactor/blockexpr
refactor/blockexpr
May 1, 2024 23:55 17m 50s
simplify parsing of ptrns and remove {implicit} again macos #3158: Commit 238930c pushed by leissa
May 1, 2024 23:55 17m 51s refactor/blockexpr
refactor/blockexpr
May 1, 2024 23:55 17m 51s
Refactor/blockexpr macos #3157: Pull request #274 opened by leissa
April 29, 2024 14:31 23m 35s refactor/blockexpr
refactor/blockexpr
April 29, 2024 14:31 23m 35s
remove BlockExpr macos #3156: Commit e6c4d63 pushed by leissa
April 29, 2024 14:25 17m 30s refactor/blockexpr
refactor/blockexpr
April 29, 2024 14:25 17m 30s
Ast macos #3155: Pull request #273 synchronize by leissa
April 27, 2024 22:15 17m 12s ast
ast
April 27, 2024 22:15 17m 12s
polish macos #3154: Commit f21a72c pushed by leissa
April 27, 2024 22:15 18m 4s ast
ast
April 27, 2024 22:15 18m 4s
Ast macos #3153: Pull request #273 synchronize by leissa
April 27, 2024 21:53 17m 22s ast
ast
April 27, 2024 21:53 17m 22s
porting main_loop to .where expr macos #3152: Commit b9dffe4 pushed by leissa
April 27, 2024 21:53 17m 8s ast
ast
April 27, 2024 21:53 17m 8s
Ast macos #3151: Pull request #273 synchronize by leissa
April 27, 2024 01:33 18m 54s ast
ast
April 27, 2024 01:33 18m 54s
missing errors + further polishing of annexes/axioms macos #3150: Commit 3c92ef1 pushed by leissa
April 27, 2024 01:33 17m 23s ast
ast
April 27, 2024 01:33 17m 23s
Ast macos #3149: Pull request #273 synchronize by leissa
April 26, 2024 23:54 17m 12s ast
ast
April 26, 2024 23:54 17m 12s
Split Annex into Annex and ast::AnnexInfo macos #3148: Commit 7751e47 pushed by leissa
April 26, 2024 23:54 21m 22s ast
ast
April 26, 2024 23:54 21m 22s
Ast macos #3147: Pull request #273 synchronize by leissa
April 26, 2024 23:32 17m 32s ast
ast
April 26, 2024 23:32 17m 32s
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