Skip to content

Actions: unisonweb/unison

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
7,933 workflow runs
7,933 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment
pages-build-deployment #1098: by github-pages bot
December 18, 2024 17:08 2m 4s haddocks
December 18, 2024 17:08 2m 4s
bugfix: don't omit leading dot in certain term references
CI #9891: Pull request #5498 synchronize by mitchellwrosen
December 18, 2024 17:04 20m 34s 24-12-04-fix-5427
December 18, 2024 17:04 20m 34s
bugfix: don't omit leading dot in certain term references
Contributor signed CONTRIBUTORS.markdown #785: Pull request #5498 synchronize by mitchellwrosen
December 18, 2024 17:04 14s 24-12-04-fix-5427
December 18, 2024 17:04 14s
add bound terms to term printer environment
CI #9890: Commit eca815c pushed by mitchellwrosen
December 18, 2024 17:04 19m 46s 24-12-04-fix-5427
December 18, 2024 17:04 19m 46s
pre-release trunk
pre-release #1643: completed by aryairani
December 18, 2024 16:51 56m 6s
December 18, 2024 16:51 56m 6s
Merge pull request #5509 from unisonweb/24-12-09-fix-5489
CI #9889: Commit 1d177b7 pushed by aryairani
December 18, 2024 16:33 18m 17s trunk
December 18, 2024 16:33 18m 17s
Merge pull request #5509 from unisonweb/24-12-09-fix-5489
Haddocks #1375: Commit 1d177b7 pushed by aryairani
December 18, 2024 16:33 34m 58s trunk
December 18, 2024 16:33 34m 58s
December 18, 2024 01:23 5m 55s
Clean up dep calculation
CI #9887: Commit 3203612 pushed by ChrisPenner
December 18, 2024 00:16 3m 37s syncv2/experiments
December 18, 2024 00:16 3m 37s
Building with new sync.to-file command
CI #9886: Commit 290a953 pushed by ChrisPenner
December 17, 2024 23:13 5m 33s syncv2/experiments
December 17, 2024 23:13 5m 33s
bugfix: don't omit leading dot in certain term references
CI #9885: Pull request #5498 synchronize by mitchellwrosen
December 17, 2024 21:36 22m 15s 24-12-04-fix-5427
December 17, 2024 21:36 22m 15s
bugfix: don't omit leading dot in certain term references
Contributor signed CONTRIBUTORS.markdown #784: Pull request #5498 synchronize by mitchellwrosen
December 17, 2024 21:36 10s 24-12-04-fix-5427
December 17, 2024 21:36 10s
⅄ trunk → 24-12-04-fix-5427
CI #9884: Commit d7225d0 pushed by mitchellwrosen
December 17, 2024 21:36 16m 57s 24-12-04-fix-5427
December 17, 2024 21:36 16m 57s
bugfix: make namespace directive not churn unique types
CI #9883: Pull request #5509 synchronize by mitchellwrosen
December 17, 2024 21:35 16m 47s 24-12-09-fix-5489
December 17, 2024 21:35 16m 47s
bugfix: make namespace directive not churn unique types
Contributor signed CONTRIBUTORS.markdown #783: Pull request #5509 synchronize by mitchellwrosen
December 17, 2024 21:35 14s 24-12-09-fix-5489
December 17, 2024 21:35 14s
fix record accessors issue
CI #9882: Commit 8ecaf09 pushed by mitchellwrosen
December 17, 2024 21:35 20m 2s 24-12-09-fix-5489
December 17, 2024 21:35 20m 2s
Add framing support for file decoder
CI #9881: Commit e4a7512 pushed by ChrisPenner
December 17, 2024 20:31 9m 0s syncv2/experiments
December 17, 2024 20:31 9m 0s
bugfix: make namespace directive not churn unique types
Contributor signed CONTRIBUTORS.markdown #782: Pull request #5509 synchronize by mitchellwrosen
December 17, 2024 18:24 14s 24-12-09-fix-5489
December 17, 2024 18:24 14s
bugfix: make namespace directive not churn unique types
CI #9880: Pull request #5509 synchronize by mitchellwrosen
December 17, 2024 18:24 20m 20s 24-12-09-fix-5489
December 17, 2024 18:24 20m 20s
pages build and deployment
pages-build-deployment #1097: by github-pages bot
December 17, 2024 17:23 2m 8s haddocks
December 17, 2024 17:23 2m 8s
pre-release trunk
pre-release #1642: completed by hojberg
December 17, 2024 17:20 26m 19s
December 17, 2024 17:20 26m 19s
Merge pull request #5510 from unisonweb/add-repobeats
Haddocks #1374: Commit 157d36f pushed by hojberg
December 17, 2024 17:19 4m 45s trunk
December 17, 2024 17:19 4m 45s
Merge pull request #5510 from unisonweb/add-repobeats
CI #9878: Commit 157d36f pushed by hojberg
December 17, 2024 17:19 1m 52s trunk
December 17, 2024 17:19 1m 52s
Add Repobeats. Git repository stats
CI #9877: Pull request #5510 opened by hojberg
December 17, 2024 17:04 1m 40s add-repobeats
December 17, 2024 17:04 1m 40s