Skip to content

Actions: unisonweb/unison

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yaml
728 workflow run results
728 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Topic/merge CI #6656: Pull request #4259 synchronize by mitchellwrosen
October 10, 2023 17:23 24m 7s topic/merge
topic/merge
October 10, 2023 17:23 24m 7s
Topic/merge CI #6655: Pull request #4259 synchronize by aryairani
October 10, 2023 15:18 1h 16m 58s topic/merge
topic/merge
October 10, 2023 15:18 1h 16m 58s
Topic/merge CI #6654: Pull request #4259 synchronize by aryairani
October 10, 2023 14:49 1h 16m 9s topic/merge
topic/merge
October 10, 2023 14:49 1h 16m 9s
Topic/merge CI #6653: Pull request #4259 synchronize by aryairani
October 10, 2023 13:13 1h 0m 53s topic/merge
topic/merge
October 10, 2023 13:13 1h 0m 53s
quick fix for delete.type #4315 for next steps CI #6652: Pull request #4342 synchronize by epmorgan
October 10, 2023 06:21 23m 49s fix-term-type-bug-2
fix-term-type-bug-2
October 10, 2023 06:21 23m 49s
quick fix for delete.type #4315 for next steps CI #6651: Pull request #4342 synchronize by epmorgan
October 10, 2023 06:20 28m 50s fix-term-type-bug-2
fix-term-type-bug-2
October 10, 2023 06:20 28m 50s
quick fix for delete.type #4315 for next steps CI #6650: Pull request #4342 synchronize by epmorgan
October 10, 2023 06:19 26m 59s fix-term-type-bug-2
fix-term-type-bug-2
October 10, 2023 06:19 26m 59s
quick fix for delete.type #4315 for next steps CI #6649: Pull request #4342 synchronize by epmorgan
October 9, 2023 20:05 35m 30s fix-term-type-bug-2
fix-term-type-bug-2
October 9, 2023 20:05 35m 30s
quick fix for delete.type #4315 for next steps CI #6648: Pull request #4342 opened by epmorgan
October 9, 2023 19:59 56m 55s fix-term-type-bug-2
fix-term-type-bug-2
October 9, 2023 19:59 56m 55s
Topic/merge CI #6647: Pull request #4259 synchronize by aryairani
October 9, 2023 14:20 23m 51s topic/merge
topic/merge
October 9, 2023 14:20 23m 51s
Topic/merge CI #6646: Pull request #4259 synchronize by mitchellwrosen
October 6, 2023 14:23 31m 4s topic/merge
topic/merge
October 6, 2023 14:23 31m 4s
Exports for Share migration to Postgres CI #6645: Pull request #4338 synchronize by ChrisPenner
October 5, 2023 22:41 26m 28s pg/causals
pg/causals
October 5, 2023 22:41 26m 28s
Topic/merge CI #6644: Pull request #4259 synchronize by mitchellwrosen
October 5, 2023 21:52 26m 18s topic/merge
topic/merge
October 5, 2023 21:52 26m 18s
Topic/merge CI #6643: Pull request #4259 synchronize by mitchellwrosen
October 5, 2023 21:43 34m 32s topic/merge
topic/merge
October 5, 2023 21:43 34m 32s
Topic/merge CI #6642: Pull request #4259 synchronize by mitchellwrosen
October 5, 2023 21:42 27m 48s topic/merge
topic/merge
October 5, 2023 21:42 27m 48s
Topic/merge CI #6641: Pull request #4259 synchronize by mitchellwrosen
October 5, 2023 21:28 14m 2s topic/merge
topic/merge
October 5, 2023 21:28 14m 2s
Merge pull request #4339 from unisonweb/topic/scheme-code-lookup CI #6640: Commit f15816c pushed by pchiusano
October 5, 2023 21:22 27m 22s trunk
trunk
October 5, 2023 21:22 27m 22s
JIT: Added Code.lookup function and various supporting code changes CI #6639: Pull request #4339 synchronize by dolio
October 5, 2023 20:29 35m 9s topic/scheme-code-lookup
topic/scheme-code-lookup
October 5, 2023 20:29 35m 9s
Merge pull request #4341 from unisonweb/23-10-05-decode-decl-len CI #6638: Commit c90f4df pushed by mergify bot
October 5, 2023 19:55 25m 59s trunk
trunk
October 5, 2023 19:55 25m 59s
JIT: Added Code.lookup function and various supporting code changes CI #6637: Pull request #4339 synchronize by dolio
October 5, 2023 19:39 27m 45s topic/scheme-code-lookup
topic/scheme-code-lookup
October 5, 2023 19:39 27m 45s
add expectDeclNumConstructors CI #6636: Pull request #4341 synchronize by mitchellwrosen
October 5, 2023 19:35 19m 33s 23-10-05-decode-decl-len
23-10-05-decode-decl-len
October 5, 2023 19:35 19m 33s
add expectDeclNumConstructors CI #6635: Pull request #4341 opened by mitchellwrosen
October 5, 2023 15:59 27m 5s 23-10-05-decode-decl-len
23-10-05-decode-decl-len
October 5, 2023 15:59 27m 5s
JIT: Added Code.lookup function and various supporting code changes CI #6634: Pull request #4339 opened by dolio
October 5, 2023 03:56 29m 19s topic/scheme-code-lookup
topic/scheme-code-lookup
October 5, 2023 03:56 29m 19s
Merge pull request #4331 from unisonweb/travis/kind-inference CI #6633: Commit 4c096fb pushed by tstat
October 4, 2023 18:07 28m 11s trunk
trunk
October 4, 2023 18:07 28m 11s
Add kind inference CI #6632: Pull request #4331 synchronize by tstat
October 4, 2023 17:37 22m 58s travis/kind-inference
travis/kind-inference
October 4, 2023 17:37 22m 58s
ProTip! You can narrow down the results and go further in time using created:<2023-10-04 or the other filters available.