Skip to content

Actions: unisonweb/unison

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
3,309 workflow runs
3,309 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Re-merge trunk
CI #9961: Commit 0153069 pushed by ChrisPenner
January 11, 2025 00:09 15m 44s cp/local-var-notes
January 11, 2025 00:09 15m 44s
Hover info for local bindings
CI #9960: Pull request #4969 synchronize by ChrisPenner
January 11, 2025 00:09 14m 27s cp/local-var-notes
January 11, 2025 00:09 14m 27s
Collapse case expressions RHS's into default branches.
CI #9959: Pull request #5530 synchronize by ChrisPenner
January 9, 2025 21:26 19m 22s cp/case-collapse
January 9, 2025 21:26 19m 22s
Comments
CI #9958: Commit c220831 pushed by ChrisPenner
January 9, 2025 21:26 16m 41s cp/case-collapse
January 9, 2025 21:26 16m 41s
Collapse case expressions RHS's into default branches.
CI #9957: Pull request #5530 opened by ChrisPenner
January 9, 2025 21:23 16m 31s cp/case-collapse
January 9, 2025 21:23 16m 31s
Remove debugging
CI #9956: Commit a06ac03 pushed by ChrisPenner
January 9, 2025 21:21 15m 17s cp/case-collapse
January 9, 2025 21:21 15m 17s
gh workflow run seems to want the file extension in v2.55.0
CI #9955: Pull request #5529 opened by aryairani
January 9, 2025 19:12 1m 40s fix/gh-workflow
January 9, 2025 19:12 1m 40s
seems to want the file extension now
CI #9954: Commit cd7a8ce pushed by aryairani
January 9, 2025 18:24 1m 39s fix/gh-workflow
January 9, 2025 18:24 1m 39s
Merge pull request #5528 from unisonweb/fix-5525
CI #9953: Commit 4324c53 pushed by aryairani
January 9, 2025 18:20 1m 35s release/0.5.31
January 9, 2025 18:20 1m 35s
Merge pull request #5528 from unisonweb/fix-5525
CI #9952: Commit 4324c53 pushed by aryairani
January 9, 2025 17:26 1m 27s release/0.5.30
January 9, 2025 17:26 1m 27s
Merge pull request #5528 from unisonweb/fix-5525
CI #9951: Commit 4324c53 pushed by aryairani
January 9, 2025 17:24 1m 24s release/0.5.30
January 9, 2025 17:24 1m 24s
Merge pull request #5528 from unisonweb/fix-5525
CI #9950: Commit 4324c53 pushed by aryairani
January 9, 2025 17:18 1m 24s release/0.5.30
January 9, 2025 17:18 1m 24s
Merge pull request #5528 from unisonweb/fix-5525
CI #9949: Commit 4324c53 pushed by aryairani
January 8, 2025 21:23 15m 2s trunk
January 8, 2025 21:23 15m 2s
track bindings in match case
CI #9947: Commit a09dfda pushed by mitchellwrosen
January 8, 2025 18:47 14m 47s fix-5525
January 8, 2025 18:47 14m 47s
Merge pull request #5526 from unisonweb/cp/fix-set-echo
CI #9946: Commit cda1ecd pushed by aryairani
January 8, 2025 15:35 20m 2s trunk
January 8, 2025 15:35 20m 2s
Embed instructions into Section
CI #9945: Pull request #5527 opened by ChrisPenner
January 7, 2025 23:34 13m 13s cp/embed-prim-instrs
January 7, 2025 23:34 13m 13s
Embed UPrim/BPrim into Section
CI #9944: Commit 4a0c510 pushed by ChrisPenner
January 7, 2025 23:33 6m 2s cp/embed-prim-instrs
January 7, 2025 23:33 6m 2s
Embed UPrim/BPrim into Section
CI #9943: Commit 2f8b16f pushed by ChrisPenner
January 7, 2025 23:31 6m 22s cp/embed-prim-instrs
January 7, 2025 23:31 6m 22s
Fix old bool wrapper on setEcho builtin
CI #9942: Pull request #5526 synchronize by ChrisPenner
January 7, 2025 22:27 18m 46s cp/fix-set-echo
January 7, 2025 22:27 18m 46s
Add transcript for setEcho
CI #9941: Commit e5242d2 pushed by ChrisPenner
January 7, 2025 22:27 10m 30s cp/fix-set-echo
January 7, 2025 22:27 10m 30s
Fix old bool wrapper on setEcho builtin
CI #9940: Pull request #5526 opened by ChrisPenner
January 7, 2025 22:26 18m 21s cp/fix-set-echo
January 7, 2025 22:26 18m 21s
Add transcript for setEcho
CI #9939: Commit 4540865 pushed by ChrisPenner
January 7, 2025 22:26 10m 23s cp/fix-set-echo
January 7, 2025 22:26 10m 23s
Fix old bool wrapper on setEcho builtin
CI #9938: Commit 15cd84c pushed by ChrisPenner
January 7, 2025 22:05 17m 26s cp/fix-set-echo
January 7, 2025 22:05 17m 26s