Skip to content

Actions: unisonweb/unison

Nix development cache

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
2,263 workflow runs
2,263 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #5276 from unisonweb/type-name-resolution-change
Nix development cache #2302: Commit e82b649 pushed by aryairani
August 29, 2024 13:26 19m 3s trunk
August 29, 2024 13:26 19m 3s
bugfix: not-found or ambiguous constructor treated as var
Nix development cache #2301: Pull request #5303 opened by mitchellwrosen
August 28, 2024 18:11 40m 54s 24-08-27-parser-fix
August 28, 2024 18:11 40m 54s
bugfix: don't prefer the unison file for name suffixes
Nix development cache #2300: Pull request #5276 synchronize by mitchellwrosen
August 27, 2024 23:52 53m 46s type-name-resolution-change
August 27, 2024 23:52 53m 46s
bugfix: don't prefer the unison file for name suffixes
Nix development cache #2299: Pull request #5276 synchronize by mitchellwrosen
August 27, 2024 23:48 39m 52s type-name-resolution-change
August 27, 2024 23:48 39m 52s
bugfix: don't prefer the unison file for name suffixes
Nix development cache #2298: Pull request #5276 synchronize by mitchellwrosen
August 27, 2024 23:34 40m 47s type-name-resolution-change
August 27, 2024 23:34 40m 47s
bugfix: don't prefer the unison file for name suffixes
Nix development cache #2297: Pull request #5276 synchronize by mitchellwrosen
August 27, 2024 23:29 31m 56s type-name-resolution-change
August 27, 2024 23:29 31m 56s
bugfix: don't prefer the unison file for name suffixes
Nix development cache #2296: Pull request #5276 synchronize by mitchellwrosen
August 27, 2024 22:03 39m 53s type-name-resolution-change
August 27, 2024 22:03 39m 53s
bugfix: don't prefer the unison file for name suffixes
Nix development cache #2295: Pull request #5276 synchronize by mitchellwrosen
August 27, 2024 21:26 35m 6s type-name-resolution-change
August 27, 2024 21:26 35m 6s
bugfix: don't prefer the unison file for name suffixes
Nix development cache #2294: Pull request #5276 synchronize by mitchellwrosen
August 27, 2024 21:10 26m 10s type-name-resolution-change
August 27, 2024 21:10 26m 10s
bugfix: don't prefer the unison file for name suffixes
Nix development cache #2293: Pull request #5276 synchronize by mitchellwrosen
August 27, 2024 20:54 30m 6s type-name-resolution-change
August 27, 2024 20:54 30m 6s
bugfix: don't prefer the unison file for name suffixes
Nix development cache #2292: Pull request #5276 synchronize by mitchellwrosen
August 27, 2024 19:09 35m 0s type-name-resolution-change
August 27, 2024 19:09 35m 0s
Numbers binary notation
Nix development cache #2291: Pull request #5294 synchronize by SimaDovakin
August 27, 2024 07:53 27m 33s SimaDovakin:numbers-binary-notation
August 27, 2024 07:53 27m 33s
bugfix: don't prefer the unison file for name suffixes
Nix development cache #2290: Pull request #5276 synchronize by mitchellwrosen
August 26, 2024 17:54 1h 47m 58s type-name-resolution-change
August 26, 2024 17:54 1h 47m 58s
bugfix: don't prefer the unison file for name suffixes
Nix development cache #2289: Pull request #5276 synchronize by mitchellwrosen
August 26, 2024 17:52 1h 32m 56s type-name-resolution-change
August 26, 2024 17:52 1h 32m 56s
bugfix: don't prefer the unison file for name suffixes
Nix development cache #2288: Pull request #5276 synchronize by mitchellwrosen
August 26, 2024 17:50 1h 26m 35s type-name-resolution-change
August 26, 2024 17:50 1h 26m 35s
Term name resolution change
Nix development cache #2287: Pull request #5296 synchronize by mitchellwrosen
August 26, 2024 17:49 1h 0m 44s term-name-resolution-change
August 26, 2024 17:49 1h 0m 44s
Term name resolution change
Nix development cache #2286: Pull request #5296 synchronize by mitchellwrosen
August 26, 2024 17:46 1h 4m 17s term-name-resolution-change
August 26, 2024 17:46 1h 4m 17s
Merge pull request #5299 from unisonweb/cp/kill-config
Nix development cache #2285: Commit 6299fc3 pushed by aryairani
August 26, 2024 17:44 22m 54s trunk
August 26, 2024 17:44 22m 54s
Term name resolution change
Nix development cache #2284: Pull request #5296 synchronize by mitchellwrosen
August 26, 2024 17:37 36m 28s term-name-resolution-change
August 26, 2024 17:37 36m 28s
Fixes #5293: Generate IsAbility constraint for ability sets
Nix development cache #2283: Pull request #5300 opened by tstat
August 26, 2024 15:34 37m 28s travis/kind-inference-fix
August 26, 2024 15:34 37m 28s
Kill Configurator
Nix development cache #2282: Pull request #5299 synchronize by ChrisPenner
August 25, 2024 22:21 21m 32s cp/kill-config
August 25, 2024 22:21 21m 32s
Kill Configurator
Nix development cache #2281: Pull request #5299 opened by ChrisPenner
August 24, 2024 20:11 30m 14s cp/kill-config
August 24, 2024 20:11 30m 14s
Merge pull request #5273 from unisonweb/precedence
Nix development cache #2280: Commit e9ca76f pushed by runarorama
August 24, 2024 01:21 18m 38s trunk
August 24, 2024 01:21 18m 38s
Add infix operator precedence rules
Nix development cache #2279: Pull request #5273 synchronize by runarorama
August 23, 2024 23:17 32m 33s precedence
August 23, 2024 23:17 32m 33s
Add infix operator precedence rules
Nix development cache #2278: Pull request #5273 synchronize by runarorama
August 23, 2024 19:51 39m 35s precedence
August 23, 2024 19:51 39m 35s