Skip to content

Actions: hyperpolymath/phronesis

Actions

Conformance

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
conformance.yml
79 workflow runs
79 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
ci: refresh standards reusable pins to current HEAD (d7c2271) (#68) Conformance #54: Commit 48e5a28 pushed by hyperpolymath
2m 6s main
main
2m 6s
ci: refresh standards reusable pins to current HEAD (d7c2271) Conformance #53: Pull request #68 opened by hyperpolymath
2m 54s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
2m 54s
chore(ci): add dormant push-email notification workflow (#67) Conformance #52: Commit 47df9af pushed by hyperpolymath
20h 36m 50s main
main
20h 36m 50s
chore(ci): add dormant push-email notification workflow Conformance #51: Pull request #67 synchronize by hyperpolymath
20h 35m 28s chore/push-email-notify
chore/push-email-notify
20h 35m 28s
chore(ci): add dormant push-email notification workflow Conformance #50: Pull request #67 opened by hyperpolymath
9m 12s chore/push-email-notify
chore/push-email-notify
9m 12s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) … Conformance #49: Commit 2687629 pushed by hyperpolymath
1h 17m 55s main
main
1h 17m 55s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) Conformance #48: Pull request #66 opened by hyperpolymath
13h 24m 51s chore/licence-normalisation-2026-06-24
chore/licence-normalisation-2026-06-24
13h 24m 51s
chore(ci): bump standards reusable workflow pins (#65) Conformance #47: Commit a3a3952 pushed by hyperpolymath
2h 21m 35s main
main
2h 21m 35s
chore(ci): bump standards reusable workflow pins Conformance #46: Pull request #65 opened by hyperpolymath
5h 24m 0s chore/bump-standards-pins-2026-06-24
chore/bump-standards-pins-2026-06-24
5h 24m 0s
chore: retire local issue/discussion templates -> inherit org .github… Conformance #45: Commit e337ce1 pushed by hyperpolymath
16m 28s main
main
16m 28s
fix(abi/idris): make Types.idr typecheck total — sound decidable type… Conformance #44: Commit c8a8560 pushed by hyperpolymath
44s main
main
44s
fix(abi/idris): make Types.idr typecheck total — sound decidable type… Conformance #43: Pull request #62 synchronize by hyperpolymath
33s fix/idris-abi-deceq-total
fix/idris-abi-deceq-total
33s
ci(lean): add Lean proof gate (lake build) guarding the metatheory (#61) Conformance #42: Commit e4278c9 pushed by hyperpolymath
31s main
main
31s
ci(lean): add Lean proof gate (lake build) guarding the metatheory Conformance #41: Pull request #61 synchronize by hyperpolymath
32s claude/gifted-fermat-EmVcv
claude/gifted-fermat-EmVcv
32s
ci(lean): add Lean proof gate (lake build) guarding the metatheory Conformance #40: Pull request #61 opened by hyperpolymath
36s claude/gifted-fermat-EmVcv
claude/gifted-fermat-EmVcv
36s
fix(compiler/phronesis-ast): move stranded #![forbid(unsafe_code)] to… Conformance #39: Commit f6a4497 pushed by hyperpolymath
34s main
main
34s
fix(compiler/phronesis-ast): move stranded #![forbid(unsafe_code)] to… Conformance #38: Pull request #63 synchronize by hyperpolymath
35s fix/phronesis-ast-forbid-attr
fix/phronesis-ast-forbid-attr
35s
fix(abi/idris): make Types.idr typecheck total — sound decidable type… Conformance #37: Pull request #62 opened by hyperpolymath
31s fix/idris-abi-deceq-total
fix/idris-abi-deceq-total
31s
fix(compiler/phronesis-ast): move stranded #![forbid(unsafe_code)] to… Conformance #36: Pull request #63 opened by hyperpolymath
33s fix/phronesis-ast-forbid-attr
fix/phronesis-ast-forbid-attr
33s
licensing: dual SPDX header (MPL-2.0 + CC-BY-SA-4.0) as the standard … Conformance #35: Commit 1e156f9 pushed by hyperpolymath
34s main
main
34s
licensing: dual SPDX header (MPL-2.0 + CC-BY-SA-4.0) as the standard Conformance #34: Pull request #58 synchronize by hyperpolymath
30s claude/confident-albattani-okm8i5
claude/confident-albattani-okm8i5
30s
licensing: dual SPDX header (MPL-2.0 + CC-BY-SA-4.0) as the standard Conformance #33: Pull request #58 opened by hyperpolymath
33s claude/confident-albattani-okm8i5
claude/confident-albattani-okm8i5
33s
Update issue templates Conformance #32: Commit 54253c8 pushed by hyperpolymath
29s main
main
29s
Delete Mustfile Conformance #31: Commit 456606d pushed by hyperpolymath
30s main
main
30s
Update README.adoc Conformance #30: Commit 221c5e5 pushed by hyperpolymath
32s main
main
32s