Skip to content

Actions: unisonweb/unison

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
8,199 workflow runs
8,199 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

tweak: make update output use console regions Contributor signed CONTRIBUTORS.markdown #741: Pull request #5479 opened by mitchellwrosen
December 4, 2024 15:52 14s 24-12-04-update-output
24-12-04-update-output
December 4, 2024 15:52 14s
make update output use console regions CI #9775: Commit fcfee18 pushed by mitchellwrosen
December 4, 2024 15:50 7m 26s 24-12-04-update-output
24-12-04-update-output
December 4, 2024 15:50 7m 26s
re-run transcripts CI #9774: Commit f0dec75 pushed by mitchellwrosen
December 4, 2024 15:19 10m 28s share-3waydiff
share-3waydiff
December 4, 2024 15:19 10m 28s
Fix up merge CI #9773: Commit c32d0f4 pushed by ChrisPenner
December 3, 2024 23:55 11m 55s syncv2/experiments
syncv2/experiments
December 3, 2024 23:55 11m 55s
Merge branch 'trunk' into syncv2/experiments CI #9772: Commit fb12103 pushed by ChrisPenner
December 3, 2024 23:45 6m 4s syncv2/experiments
syncv2/experiments
December 3, 2024 23:45 6m 4s
pages build and deployment pages-build-deployment #1084: by github-pages bot
December 3, 2024 21:43 1m 41s haddocks
haddocks
December 3, 2024 21:43 1m 41s
pre-release trunk pre-release #1626: completed by ChrisPenner
December 3, 2024 21:36 1h 1m 14s
December 3, 2024 21:36 1h 1m 14s
Merge pull request #5474 from unisonweb/cp/untracked-ref CI #9771: Commit 67575ee pushed by ChrisPenner
December 3, 2024 21:08 27m 53s trunk
trunk
December 3, 2024 21:08 27m 53s
Merge pull request #5474 from unisonweb/cp/untracked-ref Haddocks #1361: Commit 67575ee pushed by ChrisPenner
December 3, 2024 21:08 35m 17s trunk
trunk
December 3, 2024 21:08 35m 17s
⅄ trunk → share-3waydiff CI #9770: Commit 0e76d93 pushed by mitchellwrosen
December 3, 2024 20:15 38m 11s share-3waydiff
share-3waydiff
December 3, 2024 20:15 38m 11s
Revert Ref.read Ref.write to untracked because they're shared between IO and Scope interfaces. Contributor signed CONTRIBUTORS.markdown #740: Pull request #5474 opened by ChrisPenner
December 3, 2024 20:07 10s cp/untracked-ref
cp/untracked-ref
December 3, 2024 20:07 10s
Revert Ref.read Ref.write to untracked because they're shared between IO and Scope interfaces. CI #9769: Pull request #5474 opened by ChrisPenner
December 3, 2024 20:07 17m 28s cp/untracked-ref
cp/untracked-ref
December 3, 2024 20:07 17m 28s
Revert Ref.read Ref.write to untracked because they're shared betwee… CI #9768: Commit cb69a72 pushed by ChrisPenner
December 3, 2024 20:01 18m 45s cp/untracked-ref
cp/untracked-ref
December 3, 2024 20:01 18m 45s
Codebase Server: remove the generated port and token CI #9767: Pull request #5461 synchronize by hojberg
December 3, 2024 19:13 16m 33s remove-generated-port-token-and-cors
remove-generated-port-token-and-cors
December 3, 2024 19:13 16m 33s
Codebase Server: remove the generated port and token Contributor signed CONTRIBUTORS.markdown #739: Pull request #5461 synchronize by hojberg
December 3, 2024 19:13 14s remove-generated-port-token-and-cors
remove-generated-port-token-and-cors
December 3, 2024 19:13 14s
Codebase Server: remove the generated port and token CI #9766: Commit 13ab260 pushed by hojberg
December 3, 2024 19:13 14m 33s remove-generated-port-token-and-cors
remove-generated-port-token-and-cors
December 3, 2024 19:13 14m 33s
Codebase Server: remove the generated port and token CI #9765: Pull request #5461 synchronize by hojberg
December 3, 2024 18:55 6m 18s remove-generated-port-token-and-cors
remove-generated-port-token-and-cors
December 3, 2024 18:55 6m 18s
Codebase Server: remove the generated port and token Contributor signed CONTRIBUTORS.markdown #738: Pull request #5461 synchronize by hojberg
December 3, 2024 18:55 13s remove-generated-port-token-and-cors
remove-generated-port-token-and-cors
December 3, 2024 18:55 13s
Codebase Server: remove the generated port and token CI #9764: Commit 8907424 pushed by hojberg
December 3, 2024 18:55 8m 38s remove-generated-port-token-and-cors
remove-generated-port-token-and-cors
December 3, 2024 18:55 8m 38s
pre-release trunk pre-release #1625: completed by aryairani
December 3, 2024 18:01 12m 38s
December 3, 2024 18:01 12m 38s
pre-release trunk pre-release #1624: completed by aryairani
December 3, 2024 17:43 23m 7s
December 3, 2024 17:43 23m 7s
pages build and deployment pages-build-deployment #1083: by github-pages bot
December 3, 2024 17:42 1m 40s haddocks
haddocks
December 3, 2024 17:42 1m 40s
Merge pull request #5449 from unisonweb/cp/better-bools CI #9763: Commit d0b3720 pushed by aryairani
December 3, 2024 17:36 24m 10s trunk
trunk
December 3, 2024 17:36 24m 10s
Merge pull request #5449 from unisonweb/cp/better-bools Haddocks #1360: Commit d0b3720 pushed by aryairani
December 3, 2024 17:36 5m 25s trunk
trunk
December 3, 2024 17:36 5m 25s
pages build and deployment pages-build-deployment #1082: by github-pages bot
December 3, 2024 17:29 1m 44s haddocks
haddocks
December 3, 2024 17:29 1m 44s