Skip to content

Actions: UOR-Foundation/UOR-Framework

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
131 workflow runs
131 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Product/Coproduct Completion Amendment: witnesses + SDK crate + found… CI #93: Commit 845c0ff pushed by afflom
4m 18s main
main
4m 18s
Remove stale uor-foundation-macros references from release workflow Release #38: Commit 64c5abb pushed by afflom
3m 15s v0.3.0
v0.3.0
3m 15s
Remove stale uor-foundation-macros references from release workflow CI #92: Commit 64c5abb pushed by afflom
3m 21s main
main
3m 21s
Replace hand-written lake-manifest.json with Lake-canonical form Release #37: Commit e6732d6 pushed by afflom
2m 55s v0.3.0
v0.3.0
2m 55s
Replace hand-written lake-manifest.json with Lake-canonical form CI #91: Commit e6732d6 pushed by afflom
6m 7s main
main
6m 7s
v0.3.0 pre-publish polish: 0 rustdoc warnings, 0 ignored doc-tests CI #90: Commit 5976fb1 pushed by afflom
3m 43s main
main
3m 43s
v0.3.0: target-doc closure + Sink/Sinking hardening CI #89: Commit e6e57a9 pushed by afflom
3m 48s main
main
3m 48s
purge target-document references; validator uses static snapshot CI #88: Commit 0b73323 pushed by afflom
4m 3s main
main
4m 3s
fix CI: codegen emits fmt-stable README + re-exports CI #87: Commit 282b993 pushed by afflom
3m 33s main
main
3m 33s
fix CI fmt: split __test_helpers into its own use statement CI #86: Commit 2c043c4 pushed by afflom
1m 17s main
main
1m 17s
fix CI: rename validators::rust::target → target_doc (gitignored … CI #85: Commit 49a4aed pushed by afflom
37s main
main
37s
v0.2.2 production-readiness closure: all §9 criteria + self-enforcing… CI #84: Commit 396bbe3 pushed by afflom
50s main
main
50s
Fix release workflow: pass GH_TOKEN to lake upload Release #36: Commit 453341c pushed by afflom
3m 48s v0.2.1
v0.2.1
3m 48s
Fix release workflow: pass GH_TOKEN to lake upload CI #83: Commit 453341c pushed by afflom
3m 36s main
main
3m 36s
Format generated macros-crate assets via rustfmt Release #35: Commit a294fc9 pushed by afflom
3m 36s v0.2.1
v0.2.1
3m 36s
Format generated macros-crate assets via rustfmt CI #82: Commit a294fc9 pushed by afflom
4m 48s main
main
4m 48s
Fix uor-foundation-macros publish: move build.rs into uor-crate codegen CI #81: Commit a0ff528 pushed by afflom
31s main
main
31s
v0.2.1: Inhabitance Verdict + Zero-Overhead Ergonomics + Lean Rigor CI #80: Commit d13cc02 pushed by afflom
1m 20s main
main
1m 20s
Fix Float-const codegen to emit valid f64 literals CI #79: Commit 049b27f pushed by afflom
3m 43s main
main
3m 43s
Amendment 96: Lean 4 typed individuals + zero-unproven conformance CI #78: Commit 1ea249e pushed by afflom
25s main
main
25s
adds lean codegen CI #77: Commit 6f5e532 pushed by afflom
5m 41s main
main
5m 41s
Bump version to 0.2.0 CI #76: Commit 5d487a3 pushed by afflom
2m 47s main
main
2m 47s
Bump version to 0.2.0 Release #34: Commit 5d487a3 pushed by afflom
2m 58s v0.2.0
v0.2.0
2m 58s
Bump version to 0.2.0 Release #33: Commit fc63f19 pushed by afflom
2m 30s v0.2.0
v0.2.0
2m 30s
Bump version to 0.2.0 CI #75: Commit fc63f19 pushed by afflom
2m 51s main
main
2m 51s