Skip to content

Actions: SentinelOps-CI/lean-toolchain

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
22 workflow runs
22 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: improve docs CI #7: Commit 6ac129f pushed by fraware
23s main
main
23s
feat: improve docs .github/workflows/formal-verify.yml #7: Commit 6ac129f pushed by fraware
Failure main
main
Failure
Update README.md .github/workflows/formal-verify.yml #6: Commit c36f14f pushed by fraware
Failure main
main
Failure
Update README.md CI #6: Commit c36f14f pushed by fraware
21s main
main
21s
Update README.md CI #5: Commit b198cdb pushed by fraware
25s main
main
25s
Update README.md .github/workflows/formal-verify.yml #5: Commit b198cdb pushed by fraware
Failure main
main
Failure
Update README.md CI #4: Commit da1fe9b pushed by fraware
29s main
main
29s
Update README.md .github/workflows/formal-verify.yml #4: Commit da1fe9b pushed by fraware
Failure main
main
Failure
Delete docs/vector-implementation-summary.md CI #3: Commit f5b48f1 pushed by fraware
27s main
main
27s
Delete docs/vector-implementation-summary.md .github/workflows/formal-verify.yml #3: Commit f5b48f1 pushed by fraware
Failure main
main
Failure
Delete IMPLEMENTATION_STATUS.md .github/workflows/formal-verify.yml #2: Commit acd3939 pushed by fraware
Failure main
main
Failure
Delete IMPLEMENTATION_STATUS.md CI #2: Commit acd3939 pushed by fraware
23s main
main
23s
modifying repo's structure:⚡️ CI #1: Commit cab03db pushed by fraware
23s main
main
23s
modifying repo's structure:⚡️ .github/workflows/formal-verify.yml #1: Commit cab03db pushed by fraware
Failure main
main
Failure
⚡️ CI #4: Commit 9905216 pushed by fraware
33s main
main
33s
⚡️ Lean Action CI #4: Commit 9905216 pushed by fraware
1m 22s main
main
1m 22s
⚡️ Lean Action CI #3: Commit ad98578 pushed by fraware
1m 20s main
main
1m 20s
⚡️ CI #3: Commit ad98578 pushed by fraware
25s main
main
25s
Adding implementation plan Lean Action CI #2: Commit 10cb689 pushed by fraware
23s main
main
23s
Adding implementation plan CI #2: Commit 10cb689 pushed by fraware
31s main
main
31s
Initial commit: Lean 4 math and crypto toolchain with SHA-256, HMAC, … Lean Action CI #1: Commit d60680e pushed by fraware
29s main
main
29s
Initial commit: Lean 4 math and crypto toolchain with SHA-256, HMAC, … CI #1: Commit d60680e pushed by fraware
30s main
main
30s