Skip to content

Actions: zkcrypto/cryptolib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
24 workflow runs
24 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #5 from zkcrypto/port-fundamentals-to-lean4 Lean Action CI #25: Commit 64de71c pushed by str4d
1m 59s main
main
1m 59s
Port fundamentals to Lean 4 Lean Action CI #24: Pull request #5 synchronize by str4d
1m 29s port-fundamentals-to-lean4
port-fundamentals-to-lean4
1m 29s
ToMathlib: Remove additive BitVec lemmas Lean Action CI #23: Commit 46fdfa8 pushed by str4d
1m 53s port-fundamentals-to-lean4
port-fundamentals-to-lean4
1m 53s
Port to Lean 4 Lean Action CI #22: Pull request #2 synchronize by str4d
1m 12s port-to-lean4
port-to-lean4
1m 12s
Migrate Pedersen.lean to Lean 4 Lean Action CI #21: Commit 9f810ec pushed by str4d
1m 15s port-to-lean4
port-to-lean4
1m 15s
Port fundamentals to Lean 4 Lean Action CI #20: Pull request #5 synchronize by str4d
1m 45s port-fundamentals-to-lean4
port-fundamentals-to-lean4
1m 45s
Migrate Negligible.lean to Lean 4 Lean Action CI #19: Commit 225aa8b pushed by str4d
1m 12s port-fundamentals-to-lean4
port-fundamentals-to-lean4
1m 12s
Port to Lean 4 Lean Action CI #18: Pull request #2 synchronize by str4d
1m 59s port-to-lean4
port-to-lean4
1m 59s
Migrate Pedersen.lean to Lean 4 Lean Action CI #17: Commit 2c3b829 pushed by str4d
1m 50s port-to-lean4
port-to-lean4
1m 50s
Port fundamentals to Lean 4 Lean Action CI #16: Pull request #5 opened by str4d
1m 52s port-fundamentals-to-lean4
port-fundamentals-to-lean4
1m 52s
Migrate Negligible.lean to Lean 4 Lean Action CI #15: Commit ebd7ba9 pushed by str4d
2m 10s port-fundamentals-to-lean4
port-fundamentals-to-lean4
2m 10s
Port to Lean 4 Lean Action CI #13: Pull request #2 synchronize by str4d
1m 16s port-to-lean4
port-to-lean4
1m 16s
Migrate Pedersen.lean to Lean 4 Lean Action CI #12: Commit 7919f6b pushed by str4d
1m 14s port-to-lean4
port-to-lean4
1m 14s
Port to Lean 4 Lean Action CI #11: Pull request #2 synchronize by str4d
1m 23s port-to-lean4
port-to-lean4
1m 23s
Migrate Pedersen.lean to Lean 4 Lean Action CI #10: Commit c29493e pushed by str4d
1m 30s port-to-lean4
port-to-lean4
1m 30s
Port to Lean 4 Lean Action CI #9: Pull request #2 synchronize by str4d
1m 29s port-to-lean4
port-to-lean4
1m 29s
Migrate ElGamal.lean to Lean 4 Lean Action CI #8: Commit 86855cb pushed by str4d
1m 31s port-to-lean4
port-to-lean4
1m 31s
Port to Lean 4 Lean Action CI #7: Pull request #2 synchronize by str4d
1m 13s port-to-lean4
port-to-lean4
1m 13s
Migrate ElGamal.lean to Lean 4 Lean Action CI #6: Commit 90e47fb pushed by str4d
1m 30s port-to-lean4
port-to-lean4
1m 30s
Port to Lean 4 Lean Action CI #5: Pull request #2 synchronize by str4d
1m 12s port-to-lean4
port-to-lean4
1m 12s
Migrate PublicKeyEncryption.lean to Lean 4 Lean Action CI #4: Commit 5e8d843 pushed by str4d
1m 12s port-to-lean4
port-to-lean4
1m 12s
Port to Lean 4 Lean Action CI #3: Pull request #2 opened by str4d
1m 28s port-to-lean4
port-to-lean4
1m 28s
Migrate Uniform.lean to Lean 4 Lean Action CI #2: Commit b5470bc pushed by str4d
1m 31s port-to-lean4
port-to-lean4
1m 31s
Set up an empty Lean 4 project Lean Action CI #1: Commit ad1019f pushed by str4d
2m 58s main
main
2m 58s