Skip to content

Actions: arthuraa/cryptis

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
84 workflow runs
84 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
Bump dependencies Nix Flake actions #81: Pull request #24 synchronize by chandradeepdey
13m 42s chandradeepdey:rocq_bump
chandradeepdey:rocq_bump
13m 42s
Merge pull request #27 from arthuraa/dh-refactoring Nix Flake actions #80: Commit 32a0263 pushed by arthuraa
12m 3s master
master
12m 3s
Refactor DH auxiliary functions. Nix Flake actions #79: Pull request #27 opened by arthuraa
13m 10s dh-refactoring
dh-refactoring
13m 10s
Merge pull request #26 from arthuraa/easy-fixes Nix Flake actions #78: Commit 1e46650 pushed by arthuraa
12m 56s master
master
12m 56s
Miscellaneous easy fixes. Nix Flake actions #77: Pull request #26 opened by arthuraa
15m 15s easy-fixes
easy-fixes
15m 15s
Merge pull request #25 from arthuraa/exp-distr Nix Flake actions #76: Commit a97491b pushed by arthuraa
19m 15s master
master
19m 15s
Exp distr Nix Flake actions #75: Pull request #25 synchronize by arthuraa
11m 8s exp-distr
exp-distr
11m 8s
Exp distr Nix Flake actions #74: Pull request #25 opened by arthuraa
12m 40s exp-distr
exp-distr
12m 40s
Bump dependencies Nix Flake actions #73: Pull request #24 opened by chandradeepdey
31m 52s chandradeepdey:rocq_bump
chandradeepdey:rocq_bump
31m 52s
Add Actris as a dependency in the .opam file. Nix Flake actions #72: Pull request #23 synchronize by chandradeepdey
13m 28s chandradeepdey:actris_opam
chandradeepdey:actris_opam
13m 28s
Support building with dune Nix Flake actions #71: Pull request #11 synchronize by chandradeepdey
14m 3s chandradeepdey:dune
chandradeepdey:dune
14m 3s
Add Actris as a dependency in the .opam file. Nix Flake actions #70: Pull request #23 opened by chandradeepdey
12m 23s chandradeepdey:actris_opam
chandradeepdey:actris_opam
12m 23s
Merge pull request #22 from arthuraa/fix-actris-flake Nix Flake actions #69: Commit 847369a pushed by arthuraa
19m 22s master
master
19m 22s
Avoid Nix warning in Actris derivation. Nix Flake actions #68: Pull request #22 synchronize by arthuraa
22m 33s fix-actris-flake
fix-actris-flake
22m 33s
Avoid Nix warning in Actris derivation. Nix Flake actions #67: Pull request #22 opened by arthuraa
1m 25s fix-actris-flake
fix-actris-flake
1m 25s
Distributivity of exponentials Nix Flake actions #66: Pull request #21 opened by arthuraa
12m 15s exp-distr
exp-distr
12m 15s
Merge pull request #20 from WinterDawn/merge-session-type Nix Flake actions #65: Commit d8ba71b pushed by arthuraa
15m 35s master
master
15m 35s
Merge session type Nix Flake actions #64: Pull request #20 synchronize by WinterDawn
14m 38s WinterDawn:merge-session-type
WinterDawn:merge-session-type
14m 38s
Merge session type Nix Flake actions #63: Pull request #20 synchronize by WinterDawn
9m 58s WinterDawn:merge-session-type
WinterDawn:merge-session-type
9m 58s
Merge pull request #19 from arthuraa/normalize-refactoring Nix Flake actions #62: Commit 74982c9 pushed by arthuraa
9m 37s master
master
9m 37s
Normalize refactoring Nix Flake actions #61: Pull request #19 opened by arthuraa
13m 51s normalize-refactoring
normalize-refactoring
13m 51s
Merge pull request #18 from chandradeepdey/saved_prop Nix Flake actions #60: Commit dfa7b0c pushed by arthuraa
9m 0s master
master
9m 0s
public.v: Remove unused savedPropG Σ Nix Flake actions #59: Pull request #18 opened by chandradeepdey
10m 12s chandradeepdey:saved_prop
chandradeepdey:saved_prop
10m 12s
Delete inaccurate comment. Nix Flake actions #58: Commit 1e21c99 pushed by arthuraa
8m 40s master
master
8m 40s
Merge pull request #17 from arthuraa/tls13-refactoring Nix Flake actions #57: Commit 4851443 pushed by arthuraa
10m 15s master
master
10m 15s