Skip to content

Actions: unisonweb/unison

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge pull request #6266 from runarorama/feature/variadic-ffi Nix development cache #2738: Commit a1652e3 pushed by pchiusano
17m 12s release/1.5.0
release/1.5.0
17m 12s
release 1.5.0 release #403: Manually run by pchiusano
1h 56m 15s release/1.5.0
release/1.5.0
1h 56m 15s
Anonymous Records .github/workflows/dispatch.yaml #930: Pull request #6143 synchronize by ChrisPenner
8s cp/record-prototype
cp/record-prototype
8s
Anonymous Records format #1307: Pull request #6143 synchronize by ChrisPenner
47s cp/record-prototype
cp/record-prototype
47s
Anonymous Records Contributor signed CONTRIBUTORS.markdown #2462: Pull request #6143 synchronize by ChrisPenner
8s cp/record-prototype
cp/record-prototype
8s
Bump codebase version .github/workflows/dispatch.yaml #929: Commit cbc8846 pushed by ChrisPenner
17s cp/record-prototype-ai
cp/record-prototype-ai
17s
Bump codebase version .github/workflows/dispatch.yaml #928: Commit cbc8846 pushed by ChrisPenner
19s cp/record-prototype
cp/record-prototype
19s
Preserve reserved namespace names when parsing text .github/workflows/dispatch.yaml #927: Commit 0979968 pushed by runarorama
55s gh/runarorama/1/orig
gh/runarorama/1/orig
55s
Introduce dictionary parameters while checking qualified definitions .github/workflows/dispatch.yaml #926: Commit 0b73fee pushed by runarorama
21s gh/runarorama/29/orig
gh/runarorama/29/orig
21s
Record completed given schemes for deferred resolution .github/workflows/dispatch.yaml #925: Commit 0dd4e93 pushed by runarorama
23s gh/runarorama/31/orig
gh/runarorama/31/orig
23s
Insert dictionaries at identified expression sites .github/workflows/dispatch.yaml #924: Commit 23e812a pushed by runarorama
25s gh/runarorama/24/orig
gh/runarorama/24/orig
25s
Decompose qualified signatures into dictionary candidates .github/workflows/dispatch.yaml #923: Commit 454dc62 pushed by runarorama
59s gh/runarorama/17/orig
gh/runarorama/17/orig
59s
Capture lexical givens by their active binder identities .github/workflows/dispatch.yaml #922: Commit 4decd84 pushed by runarorama
21s gh/runarorama/27/orig
gh/runarorama/27/orig
21s
Select lexical dictionaries by binding identity and scope .github/workflows/dispatch.yaml #921: Commit 5c47afe pushed by runarorama
23s gh/runarorama/2/orig
gh/runarorama/2/orig
23s
Require determined goal types before dictionary search .github/workflows/dispatch.yaml #920: Commit 66f8078 pushed by runarorama
24s gh/runarorama/25/orig
gh/runarorama/25/orig
24s
Prefer strictly more specific dictionary conclusions .github/workflows/dispatch.yaml #919: Commit 7727640 pushed by runarorama
21s gh/runarorama/5/orig
gh/runarorama/5/orig
21s
Represent and store implicit function arrows .github/workflows/dispatch.yaml #918: Commit 7e35a0c pushed by runarorama
25s gh/runarorama/7/orig
gh/runarorama/7/orig
25s
Match polymorphic dictionaries without solving goal variables .github/workflows/dispatch.yaml #917: Commit 9627c5e pushed by runarorama
21s gh/runarorama/3/orig
gh/runarorama/3/orig
21s
Keep elaboration decisions from the final name-resolution pass .github/workflows/dispatch.yaml #916: Commit 9637b13 pushed by runarorama
22s gh/runarorama/35/orig
gh/runarorama/35/orig
22s
Build complete dictionary plans independently of note order .github/workflows/dispatch.yaml #915: Commit 96ace3c pushed by runarorama
30s gh/runarorama/30/orig
gh/runarorama/30/orig
30s
Resolve source givens from their completed binding schemes .github/workflows/dispatch.yaml #914: Commit a4f57af pushed by runarorama
25s gh/runarorama/33/orig
gh/runarorama/33/orig
25s
Identify lexical dictionary bindings without changing source diagnostics .github/workflows/dispatch.yaml #913: Commit 9780c12 pushed by runarorama
25s gh/runarorama/23/orig
gh/runarorama/23/orig
25s
Order generated dictionary parameters within source scopes .github/workflows/dispatch.yaml #912: Commit b17b109 pushed by runarorama
20s gh/runarorama/28/orig
gh/runarorama/28/orig
20s
Record dictionary goals at precise checker application sites .github/workflows/dispatch.yaml #911: Commit bf71b3c pushed by runarorama
21s gh/runarorama/26/orig
gh/runarorama/26/orig
21s
Bound the size of generated implicit goals .github/workflows/dispatch.yaml #910: Commit bb37487 pushed by runarorama
21s gh/runarorama/6/orig
gh/runarorama/6/orig
21s