Skip to content

Actions: carthage-software/suffete

Actions

Continuous Integration

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.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
refactor: migrate mago-atom to mago-word 1.30 Continuous Integration #79: Commit 3b0f22d pushed by azjezz
3m 20s main
main
3m 20s
feat(lattice): finalise sealed-class implementation with intersected … Continuous Integration #78: Commit c8ab4a7 pushed by azjezz
2m 52s main
main
2m 52s
fix(join): canonicalise void to null in any union of length > 1 Continuous Integration #77: Commit b2fb61d pushed by azjezz
5m 2s main
main
5m 2s
fix(lattice): close six precision gaps in partition covers, string co… Continuous Integration #76: Commit f2c7a1d pushed by azjezz
5m 19s main
main
5m 19s
feat(scripts): add proptest hammer script Continuous Integration #75: Commit a764839 pushed by azjezz
5m 49s main
main
5m 49s
chore: allow inline_modules clippy lint Continuous Integration #74: Commit 5d58b2e pushed by azjezz
4m 24s main
main
4m 24s
fix(subtract): use full Intersected as exclude atom in object_descend… Continuous Integration #73: Commit f761968 pushed by azjezz
4m 22s main
main
4m 22s
fix(lattice): close more precision gaps Continuous Integration #72: Commit 6ffbb2c pushed by azjezz
2m 36s main
main
2m 36s
chore: make clippy happy Continuous Integration #71: Commit d4b8706 pushed by azjezz
4m 19s main
main
4m 19s
test: drive proptest cases and max_shrink_iters from env vars, defaul… Continuous Integration #70: Commit 140058b pushed by azjezz
4m 24s main
main
4m 24s
fix(lattice): reorder subtract Intersected guard after mixed/negated/… Continuous Integration #69: Commit e3358a5 pushed by azjezz
4m 52s main
main
4m 52s
fix(book): drop edition Continuous Integration #68: Commit aea82d4 pushed by azjezz
3m 41s main
main
3m 41s
docs: replace type-system/ with mdbook book covering universe, lattic… Continuous Integration #67: Commit 5cf3ba0 pushed by azjezz
3m 8s main
main
3m 8s
refactor: drop in-payload intersections field, route intersections ex… Continuous Integration #66: Commit 20b74d6 pushed by azjezz
2m 35s main
main
2m 35s
perf(simd): add position_of + is_sorted_strict primitives, wire into … Continuous Integration #65: Commit 8ed63e4 pushed by azjezz
4m 39s main
main
4m 39s
perf(simd): add position_of + is_sorted_strict primitives, wire into TypeBuilder and intern fast-path Continuous Integration #64: Pull request #5 synchronize by azjezz
4m 39s simd-pef
simd-pef
4m 39s
perf(simd): add position_of + is_sorted_strict primitives, wire into TypeBuilder and intern fast-path Continuous Integration #63: Pull request #5 opened by azjezz
2m 35s simd-pef
simd-pef
2m 35s
perf(lattice): skip Intersected reconstruction in is_uninhabited; dis… Continuous Integration #62: Commit 3603510 pushed by azjezz
4m 32s main
main
4m 32s
perf(lattice): skip Intersected reconstruction in is_uninhabited; dispatch wrapper components to per-kind helpers directly Continuous Integration #61: Pull request #4 synchronize by azjezz
4m 29s perf-2
perf-2
4m 29s
perf(lattice): skip Intersected reconstruction in is_uninhabited; dispatch wrapper components to per-kind helpers directly Continuous Integration #60: Pull request #4 opened by azjezz
4m 10s perf-2
perf-2
4m 10s
test(lattice): add algebraic-law batteries exercising every soundness… Continuous Integration #59: Commit cd48944 pushed by azjezz
4m 28s main
main
4m 28s
feat(lattice): close all known imprecision in subtract residue, mixed… Continuous Integration #58: Commit 6a3d6dd pushed by azjezz
4m 25s main
main
4m 25s
feat(lattice): close ignored-test precision gaps via negation/mixed c… Continuous Integration #57: Commit e628768 pushed by azjezz
4m 27s main
main
4m 27s
feat(lattice): list + array intersection conjuncts close subtract pre… Continuous Integration #56: Commit c40fe9c pushed by azjezz
4m 42s main
main
4m 42s
bench: replace 19 micro-benches with 6 workload benches Continuous Integration #55: Commit 0c94cc2 pushed by azjezz
5m 10s main
main
5m 10s