Skip to content

Actions: ollef/sixty

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
94 workflow runs
94 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Avoid warnings
Tests #394: Commit ad177c1 pushed by ollef
May 17, 2024 21:36 14m 51s main
May 17, 2024 21:36 14m 51s
Update stack resolver
Tests #393: Commit e213090 pushed by ollef
May 17, 2024 21:34 19m 12s main
May 17, 2024 21:34 19m 12s
wip
Tests #392: Commit 2e8ea65 pushed by ollef
May 14, 2024 21:45 2m 42s lower
May 14, 2024 21:45 2m 42s
wip
Tests #391: Commit fff10e1 pushed by ollef
May 13, 2024 21:39 3m 12s lower
May 13, 2024 21:39 3m 12s
wip
Tests #390: Commit 38a66b9 pushed by ollef
May 12, 2024 13:56 3m 0s lower
May 12, 2024 13:56 3m 0s
Add absurd conversion test
Tests #389: Commit d02a97c pushed by ollef
May 12, 2024 10:39 18m 1s main
May 12, 2024 10:39 18m 1s
wip
Tests #388: Commit 6b2fc1d pushed by ollef
May 7, 2024 21:30 2m 32s lower
May 7, 2024 21:30 2m 32s
Add return type to Case constructors
Tests #387: Commit 09b7aa6 pushed by ollef
May 3, 2024 20:50 2m 45s main
May 3, 2024 20:50 2m 45s
wip
Tests #386: Commit 30d14f0 pushed by ollef
May 3, 2024 16:55 2m 29s lower
May 3, 2024 16:55 2m 29s
wip
Tests #385: Commit 4e4ff04 pushed by ollef
May 2, 2024 21:53 21m 15s lower
May 2, 2024 21:53 21m 15s
Use Index.Map for env in MetaInlining.readback
Tests #384: Commit cce71e0 pushed by ollef
May 2, 2024 21:52 18m 13s main
May 2, 2024 21:52 18m 13s
wip
Tests #383: Commit 24b36f8 pushed by ollef
April 29, 2024 21:43 15m 21s lower
April 29, 2024 21:43 15m 21s
Remove inaccurate comment
Tests #382: Commit 5d06931 pushed by ollef
March 31, 2024 16:10 2m 30s main
March 31, 2024 16:10 2m 30s
Move test
Tests #381: Commit a3a6852 pushed by ollef
March 26, 2024 11:00 2m 49s main
March 26, 2024 11:00 2m 49s
Remove redundant do
Tests #380: Commit d757a1f pushed by ollef
March 26, 2024 09:47 3m 35s main
March 26, 2024 09:47 3m 35s
Add recursive global equality test
Tests #379: Commit b788911 pushed by ollef
March 25, 2024 14:14 3m 26s stuck3
March 25, 2024 14:14 3m 26s
Remove unused types from test
Tests #378: Commit 1997036 pushed by ollef
March 25, 2024 13:59 2m 45s main
March 25, 2024 13:59 2m 45s
Fix global-non-global head depth comparison
Tests #377: Commit f86c5da pushed by ollef
March 25, 2024 10:40 2m 41s main
March 25, 2024 10:40 2m 41s
isStuck
Tests #376: Commit 2a1cb1b pushed by ollef
March 23, 2024 13:41 3m 19s stuck3
March 23, 2024 13:41 3m 19s
wip
Tests #375: Commit 33ebef6 pushed by ollef
March 21, 2024 22:35 2m 42s stuck3
March 21, 2024 22:35 2m 42s
Simplify elaborateLets
Tests #374: Commit 8eab346 pushed by ollef
March 21, 2024 20:48 2m 36s main
March 21, 2024 20:48 2m 36s
Rename variable
Tests #373: Commit 30f8109 pushed by ollef
March 21, 2024 20:28 2m 49s main
March 21, 2024 20:28 2m 49s
wip
Tests #372: Commit 244f548 pushed by ollef
March 21, 2024 20:27 40m 17s stuck3
March 21, 2024 20:27 40m 17s
wip
Tests #371: Commit b3b8414 pushed by ollef
March 20, 2024 17:29 38m 55s stuck3
March 20, 2024 17:29 38m 55s
wip
Tests #370: Commit e4edbfb pushed by ollef
March 20, 2024 06:38 37m 29s stuck3
March 20, 2024 06:38 37m 29s