Skip to content

Actions: hyperpolymath/tropical-types

Actions

Lean

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lean.yml
46 workflow runs
46 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
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
chore: fill derivable placeholders, drop false ARCHITECTURE, surface the rest Lean #35: Pull request #32 opened by hyperpolymath
39m 50s chore/estate-topup
chore/estate-topup
39m 50s
Sync local commits to main (#31) Lean #34: Commit 26cadbe pushed by hyperpolymath
19s main
main
19s
Sync local commits to main Lean #33: Pull request #31 opened by hyperpolymath
17s sync-local-updates-1784829788
sync-local-updates-1784829788
17s
Update README.adoc (#30) Lean #32: Commit bbc0db2 pushed by hyperpolymath
20s main
main
20s
Update README.adoc Lean #31: Pull request #30 opened by hyperpolymath
16s hyperpolymath-patch-1
hyperpolymath-patch-1
16s
fix(ci): add SPDX-License-Identifier header to LICENSE (#29) Lean #30: Commit 3fc07fa pushed by hyperpolymath
19s main
main
19s
fix(ci): add SPDX-License-Identifier to LICENSE + license field to Project.toml Lean #29: Pull request #29 opened by hyperpolymath
22s claude/hopeful-babbage-pn0l4o
claude/hopeful-babbage-pn0l4o
22s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#28) Lean #28: Commit 365ed81 pushed by hyperpolymath
2h 21m 58s main
main
2h 21m 58s
ci: refresh standards reusable pins to current HEAD (d7c2271) Lean #27: Pull request #28 opened by hyperpolymath
2s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
2s
chore(ci): add dormant push-email notification workflow (#27) Lean #26: Commit fa2b02a pushed by hyperpolymath
20h 46m 41s main
main
20h 46m 41s
chore(ci): add dormant push-email notification workflow Lean #25: Pull request #27 opened by hyperpolymath
20h 27m 32s chore/push-email-notify
chore/push-email-notify
20h 27m 32s
chore(licence): normalise to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#26) Lean #24: Commit 520ee96 pushed by hyperpolymath
1h 6m 13s main
main
1h 6m 13s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) Lean #23: Pull request #26 opened by hyperpolymath
18h 17m 13s chore/licence-normalisation-2026-06-24
chore/licence-normalisation-2026-06-24
18h 17m 13s
chore(nix->guix): remove flake.nix (Guix-only estate policy) (added g… Lean #22: Commit fa50da1 pushed by hyperpolymath
1h 30m 18s main
main
1h 30m 18s