Skip to content

Actions: hyperpolymath/tropical-types

Actions

Lean

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lean.yml
60 workflow runs
60 workflow runs

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
fix(ci): unbreak workflow YAML and add a complete actions.lock (#44) Lean #60: Commit e1110e0 pushed by hyperpolymath
38m 47s main
main
38m 47s
fix(ci): unbreak workflow YAML and add a complete actions.lock Lean #59: Pull request #44 opened by hyperpolymath
37m 10s fix/workflow-dependency-locking
fix/workflow-dependency-locking
37m 10s
Feat/guix 140 (#43) Lean #58: Commit d34c7c0 pushed by hyperpolymath
Startup failure main
main
Startup failure
Lean Lean #57: synchronize by hyperpolymath
Startup failure feat/guix-140
feat/guix-140
Startup failure
Lean Lean #56: opened by hyperpolymath
Startup failure feat/guix-140
feat/guix-140
Startup failure
Create dependabot.yml Lean #55: Commit ec21f04 pushed by hyperpolymath
16s main
main
16s
refactor: migrate Markdown to AsciiDoc Lean #54: Pull request #42 opened by hyperpolymath
57m 17s refactor/md-to-adoc
refactor/md-to-adoc
57m 17s
refactor: migrate Markdown to AsciiDoc (#42) Lean #53: Commit 15c0fbe pushed by hyperpolymath
5s main
main
5s
refactor: semantic port TS to AffineScript (#41) Lean #52: Commit 6780be3 pushed by hyperpolymath
14m 35s main
main
14m 35s
refactor: semantic port TS to AffineScript Lean #51: Pull request #41 opened by hyperpolymath
14m 2s refactor/semantic-port-typescript
refactor/semantic-port-typescript
14m 2s
refactor: eradicate TypeScript and NPM/Deno configs (#39) Lean #50: Commit 851016c pushed by hyperpolymath
16m 47s main
main
16m 47s
refactor: eradicate TypeScript and NPM/Deno configs Lean #49: Pull request #39 opened by hyperpolymath
19m 39s refactor/eradicate-typescript
refactor/eradicate-typescript
19m 39s
chore(guix): author bespoke guix environment for Lean/Isabelle toolch… Lean #48: Commit 2f72f55 pushed by hyperpolymath
18s main
main
18s
chore(guix): author bespoke guix environment for Lean/Isabelle toolchain (#140) Lean #47: Pull request #38 opened by hyperpolymath
24s feat/guix-140
feat/guix-140
24s
Update README.adoc (#35) Lean #46: Commit d84cfc7 pushed by hyperpolymath
1m 0s main
main
1m 0s
Update README.adoc Lean #45: Pull request #35 synchronize by hyperpolymath
1m 11s hyperpolymath-patch-1
hyperpolymath-patch-1
1m 11s
Create EXPLAINME-new.adoc (#37) Lean #44: Commit 9ec08ab pushed by hyperpolymath
1m 40s main
main
1m 40s
Create EXPLAINME-new.adoc Lean #43: Pull request #37 opened by hyperpolymath
23s hyperpolymath-patch-2
hyperpolymath-patch-2
23s
Create glossary for tropical resource typing (#36) Lean #42: Commit 159f9e7 pushed by hyperpolymath
23s main
main
23s
Create glossary for tropical resource typing Lean #41: Pull request #36 opened by hyperpolymath
21s hyperpolymath-patch-2
hyperpolymath-patch-2
21s
Update README.adoc Lean #40: Pull request #35 opened by hyperpolymath
22s hyperpolymath-patch-1
hyperpolymath-patch-1
22s
fix(ci): update reusable workflow SHAs to @7fdc2705 (#34) Lean #39: Commit 54545ee pushed by hyperpolymath
22s main
main
22s
fix(ci): update reusable workflow SHAs to @7fdc2705 Lean #38: Pull request #34 opened by hyperpolymath
17s fix/ci-426-batch14
fix/ci-426-batch14
17s
feat(security): add gitleaks secret scanning — this repo had none (#33) Lean #37: Commit d9d5c44 pushed by hyperpolymath
17s main
main
17s
feat(security): add gitleaks secret scanning — this repo had none Lean #36: Pull request #33 opened by hyperpolymath
32s feat/secret-scanning
feat/secret-scanning
32s