Skip to content

Actions: unisonweb/unison

Contributor signed CONTRIBUTORS.markdown

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
688 workflow runs
688 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Two fixes for the infix application term printer
Contributor signed CONTRIBUTORS.markdown #589: Pull request #5384 synchronize by runarorama
October 1, 2024 16:43 16s topic/infixfix
October 1, 2024 16:43 16s
bugfix: name capture bug
Contributor signed CONTRIBUTORS.markdown #588: Pull request #5382 synchronize by mitchellwrosen
October 1, 2024 12:59 15s name-capture-bug
October 1, 2024 12:59 15s
fix windows linebreak discrepancy
Contributor signed CONTRIBUTORS.markdown #587: Pull request #5383 synchronize by aryairani
October 1, 2024 03:57 12s arya/fix-windows-lines
October 1, 2024 03:57 12s
Cache Pure Top Level Definitions on startup
Contributor signed CONTRIBUTORS.markdown #586: Pull request #5379 synchronize by ChrisPenner
September 30, 2024 23:19 10s cp/cache-toplevel
September 30, 2024 23:19 10s
Cache Pure Top Level Definitions on startup
Contributor signed CONTRIBUTORS.markdown #585: Pull request #5379 synchronize by dolio
September 30, 2024 22:04 10s cp/cache-toplevel
September 30, 2024 22:04 10s
Cache Pure Top Level Definitions on startup
Contributor signed CONTRIBUTORS.markdown #584: Pull request #5379 synchronize by dolio
September 30, 2024 21:34 10s cp/cache-toplevel
September 30, 2024 21:34 10s
Cache Pure Top Level Definitions on startup
Contributor signed CONTRIBUTORS.markdown #583: Pull request #5379 synchronize by dolio
September 30, 2024 21:27 11s cp/cache-toplevel
September 30, 2024 21:27 11s
fix windows linebreak discrepancy
Contributor signed CONTRIBUTORS.markdown #582: Pull request #5383 synchronize by aryairani
September 30, 2024 20:38 12s arya/fix-windows-lines
September 30, 2024 20:38 12s
Two fixes for the infix application term printer
Contributor signed CONTRIBUTORS.markdown #581: Pull request #5384 synchronize by runarorama
September 30, 2024 19:42 11s topic/infixfix
September 30, 2024 19:42 11s
Two fixes for the infix application term printer
Contributor signed CONTRIBUTORS.markdown #580: Pull request #5384 opened by runarorama
September 30, 2024 19:36 11s topic/infixfix
September 30, 2024 19:36 11s
fix windows linebreak discrepancy
Contributor signed CONTRIBUTORS.markdown #579: Pull request #5383 opened by aryairani
September 30, 2024 18:25 13s arya/fix-windows-lines
September 30, 2024 18:25 13s
Cache Pure Top Level Definitions on startup
Contributor signed CONTRIBUTORS.markdown #578: Pull request #5379 synchronize by ChrisPenner
September 30, 2024 16:48 11s cp/cache-toplevel
September 30, 2024 16:48 11s
bugfix: name capture bug
Contributor signed CONTRIBUTORS.markdown #577: Pull request #5382 opened by mitchellwrosen
September 30, 2024 15:26 11s name-capture-bug
September 30, 2024 15:26 11s
Cache Pure Top Level Definitions on startup
Contributor signed CONTRIBUTORS.markdown #576: Pull request #5379 opened by ChrisPenner
September 30, 2024 02:26 10s cp/cache-toplevel
September 30, 2024 02:26 10s
Create some unit tests for Doc syntax
Contributor signed CONTRIBUTORS.markdown #575: Pull request #5376 opened by sellout
September 27, 2024 01:33 11s sellout:doc2-unit-tests
September 27, 2024 01:33 11s
bugfix: fix suffixification of indirect dependencies
Contributor signed CONTRIBUTORS.markdown #574: Pull request #5375 opened by mitchellwrosen
September 26, 2024 22:46 10s fix-5374
September 26, 2024 22:46 10s
Statically resolve literal types at code-gen
Contributor signed CONTRIBUTORS.markdown #573: Pull request #5373 opened by ChrisPenner
September 26, 2024 21:26 13s cp/inline-lit-tags
September 26, 2024 21:26 13s
bugfix: fix tdnr + name resolution bug
Contributor signed CONTRIBUTORS.markdown #572: Pull request #5370 synchronize by mitchellwrosen
September 25, 2024 22:16 10s fix-tdnr-name-resolution-bugs
September 25, 2024 22:16 10s
bugfix: fix tdnr + name resolution bug
Contributor signed CONTRIBUTORS.markdown #571: Pull request #5370 synchronize by mitchellwrosen
September 25, 2024 21:42 11s fix-tdnr-name-resolution-bugs
September 25, 2024 21:42 11s
add transcript with edit.namespace output for base and http
Contributor signed CONTRIBUTORS.markdown #570: Pull request #5361 synchronize by aryairani
September 25, 2024 21:15 12s arya/dump-libraries
September 25, 2024 21:15 12s
bugfix: fix tdnr + name resolution bug
Contributor signed CONTRIBUTORS.markdown #569: Pull request #5370 synchronize by mitchellwrosen
September 25, 2024 20:00 15s fix-tdnr-name-resolution-bugs
September 25, 2024 20:00 15s
bugfix: fix tdnr + name resolution bug
Contributor signed CONTRIBUTORS.markdown #568: Pull request #5370 opened by mitchellwrosen
September 25, 2024 19:57 13s fix-tdnr-name-resolution-bugs
September 25, 2024 19:57 13s
JIT compiled code profiling, and sqrt
Contributor signed CONTRIBUTORS.markdown #567: Pull request #5366 synchronize by dolio
September 24, 2024 16:02 10s topic/jit-optimize
September 24, 2024 16:02 10s
add transcript with edit.namespace output for base and http
Contributor signed CONTRIBUTORS.markdown #566: Pull request #5361 synchronize by aryairani
September 24, 2024 15:34 11s arya/dump-libraries
September 24, 2024 15:34 11s
JIT compiled code profiling, and sqrt
Contributor signed CONTRIBUTORS.markdown #565: Pull request #5366 opened by dolio
September 24, 2024 15:33 14s topic/jit-optimize
September 24, 2024 15:33 14s