Skip to content

Actions: AdrienChampion/hashconsing

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
54 workflow runs
54 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
chore: bump minor version number ci #93: Commit 6bfb81d pushed by AdrienChampion
1m 29s master
master
1m 29s
pages build and deployment pages-build-deployment #13: by AdrienChampion
41s master
master
41s
Merge pull request #34 from HuStmpHrrr/feature/try_unwrap ci #92: Commit 1445b66 pushed by lenianiva
1m 31s master
master
1m 31s
pages build and deployment pages-build-deployment #12: by lenianiva
37s master
master
37s
implement try_unwrap to allow a custom Drop to drop iteratively ci #91: Pull request #34 opened by HuStmpHrrr
1m 20s HuStmpHrrr:feature/try_unwrap
HuStmpHrrr:feature/try_unwrap
1m 20s
feat(arena): arena-backed hashconsing behind bumpalo feature (2.16x) ci #90: Pull request #33 opened by elefthei
Action required elefthei:feat/arena-hashconsing
elefthei:feat/arena-hashconsing
Action required
Merge pull request #14 from Pat-Lafon-Synthesis/derive ci #89: Commit ce29334 pushed by lenianiva
1m 16s master
master
1m 16s
pages build and deployment pages-build-deployment #11: by lenianiva
36s master
master
36s
Attribute Macro support ci #88: Pull request #14 synchronize by Pat-Lafon
1m 3s Pat-Lafon-Synthesis:derive
Pat-Lafon-Synthesis:derive
1m 3s
Attribute Macro support ci #87: Pull request #14 synchronize by Pat-Lafon
1m 20s Pat-Lafon-Synthesis:derive
Pat-Lafon-Synthesis:derive
1m 20s
Attribute Macro support ci #86: Pull request #14 synchronize by Pat-Lafon
1m 1s Pat-Lafon-Synthesis:derive
Pat-Lafon-Synthesis:derive
1m 1s
Attribute Macro support ci #85: Pull request #14 synchronize by Pat-Lafon
1m 23s Pat-Lafon-Synthesis:derive
Pat-Lafon-Synthesis:derive
1m 23s
Attribute Macro support ci #84: Pull request #14 synchronize by Pat-Lafon
1m 48s Pat-Lafon-Synthesis:derive
Pat-Lafon-Synthesis:derive
1m 48s
Attribute Macro support ci #83: Pull request #14 synchronize by Pat-Lafon
1m 13s Pat-Lafon-Synthesis:derive
Pat-Lafon-Synthesis:derive
1m 13s
Attribute Macro support ci #82: Pull request #14 synchronize by Pat-Lafon
1m 28s Pat-Lafon-Synthesis:derive
Pat-Lafon-Synthesis:derive
1m 28s
Merge pull request #29 from AdrienChampion/prepare_1.7.0 ci #81: Commit 48fc421 pushed by lenianiva
1m 1s master
master
1m 1s
pages build and deployment pages-build-deployment #10: by lenianiva
41s master
master
41s
chore: version bump 1.7.0, update authors/contributors, fix warnings, restore deny(warnings) ci #80: Pull request #29 synchronize by AdrienChampion
57s prepare_1.7.0
prepare_1.7.0
57s
chore: version bump 1.7.0, update authors/contributors, fix warnings, restore deny(warnings) ci #79: Pull request #29 synchronize by AdrienChampion
33s prepare_1.7.0
prepare_1.7.0
33s
chore: version bump 1.7.0, update authors/contributors, fix warnings, restore deny(warnings) ci #78: Pull request #29 opened by AdrienChampion
41s prepare_1.7.0
prepare_1.7.0
41s
Merge pull request #28 from AdrienChampion/consign/contains ci #77: Commit 1cac855 pushed by lenianiva
1m 24s master
master
1m 24s
pages build and deployment pages-build-deployment #9: by lenianiva
37s master
master
37s
feat: Add contains and iter functions to consign ci #76: Pull request #28 synchronize by lenianiva
1m 28s consign/contains
consign/contains
1m 28s
feat: Add contains and iter functions to consign ci #75: Pull request #28 synchronize by lenianiva
59s consign/contains
consign/contains
59s
pages build and deployment pages-build-deployment #8: by lenianiva
35s master
master
35s