Skip to content

Actions: ousialang/oac

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
110 workflow runs
110 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
comptime ignore output CI #117: Commit 59907b1 pushed by neysofu
9m 42s main
main
9m 42s
Add constexpr enum tag extractor utility (#44) CI #116: Commit 322fe5f pushed by neysofu
1m 30s main
main
1m 30s
Add constexpr enum tag extractor utility CI #115: Pull request #44 opened by neysofu
1m 37s filippo/codex/add-constexpr-enum-tag-extractor
filippo/codex/add-constexpr-enum-tag-extractor
1m 37s
Update enum payload syntax to colon form (#43) CI #114: Commit 102a003 pushed by neysofu
1m 40s main
main
1m 40s
Update enum payload syntax to colon form CI #113: Pull request #43 synchronize by neysofu
1m 30s filippo/codex/update-enum-definition-syntax
filippo/codex/update-enum-definition-syntax
1m 30s
Implement trait-based infix ops CI #112: Commit 1bc23d9 pushed by neysofu
4m 6s main
main
4m 6s
Update enum payload syntax to colon form CI #111: Pull request #43 opened by neysofu
4m 7s filippo/codex/update-enum-definition-syntax
filippo/codex/update-enum-definition-syntax
4m 7s
oac fmt CI #110: Commit 62db62c pushed by neysofu
3m 59s main
main
3m 59s
Implement trait-based handling for infix operators CI #109: Pull request #42 opened by neysofu
4m 3s filippo/codex/refactor-infix-operators-traitbased
filippo/codex/refactor-infix-operators-traitbased
4m 3s
Implement model invariants plan (#41) CI #108: Commit 91854c9 pushed by neysofu
1h 0m 18s main
main
1h 0m 18s
Add global model invariant verification CI #107: Pull request #41 synchronize by neysofu
1h 0m 20s filippo/codex/multiple-args-invariant
filippo/codex/multiple-args-invariant
1h 0m 20s
Add direct LLVM runtime lowering from ResolvedProgram (#40) CI #106: Commit a5e2b78 pushed by neysofu
2m 41s main
main
2m 41s
Add global model invariant verification CI #105: Pull request #41 opened by neysofu
1h 0m 17s filippo/codex/multiple-args-invariant
filippo/codex/multiple-args-invariant
1h 0m 17s
Add direct LLVM runtime lowering from ResolvedProgram CI #104: Pull request #40 synchronize by neysofu
2m 55s filippo/codex/make-a-plan-for-adding
filippo/codex/make-a-plan-for-adding
2m 55s
Add direct LLVM runtime lowering from ResolvedProgram CI #103: Pull request #40 synchronize by neysofu
1m 15s filippo/codex/make-a-plan-for-adding
filippo/codex/make-a-plan-for-adding
1m 15s
Update std Copy semantics and docs to new allocator-based cloning (#39) CI #102: Commit a2f8261 pushed by neysofu
2m 44s main
main
2m 44s
Update std Copy semantics and docs to new allocator-based cloning CI #101: Pull request #39 synchronize by neysofu
2m 47s filippo/codex/suggest-new-std-traits
filippo/codex/suggest-new-std-traits
2m 47s
Implement unknown outcome guardrail (#38) CI #100: Commit 67c8e9c pushed by neysofu
2m 52s main
main
2m 52s
Implement unknown outcome gate and diagnostics protections CI #99: Pull request #38 synchronize by neysofu
2m 49s filippo/codex/investigate-invariant-unknown-mitig
filippo/codex/investigate-invariant-unknown-mitig
2m 49s
Document hash table assertions (#37) CI #98: Commit aa9ad85 pushed by neysofu
3m 18s main
main
3m 18s
Add support for FP conversion ops (#36) CI #97: Commit 8810e0e pushed by neysofu
3m 49s main
main
3m 49s
Implement unknown outcome gate and diagnostics protections CI #96: Pull request #38 opened by neysofu
2m 49s filippo/codex/investigate-invariant-unknown-mitig
filippo/codex/investigate-invariant-unknown-mitig
2m 49s
Add hash table invariant assertions and callee filtering CI #95: Pull request #37 opened by neysofu
3m 21s filippo/codex/recommend-hash-table-invariants
filippo/codex/recommend-hash-table-invariants
3m 21s
Add IEEE SMT encoding for qbe-smt float conversions CI #94: Pull request #36 opened by neysofu
3m 36s filippo/codex/plan-failclosed-fp-ops-handling
filippo/codex/plan-failclosed-fp-ops-handling
3m 36s
Refactor FrontResult into Option (#34) CI #93: Commit 6772b00 pushed by neysofu
3m 9s main
main
3m 9s