Skip to content

Actions: khasm-lang/khasmc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
30 workflow runs
30 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove big.kha
Deploy mdBook site to Pages #107: Commit 3a19f1b pushed by jake-87
10s main
Remove big.kha
Deploy mdBook site to Pages #106: Commit 3dda9d2 pushed by jake-87
8s main
Remove stacks.folded
Deploy mdBook site to Pages #105: Commit 22fe684 pushed by jake-87
8s main
Remove ppx output
Deploy mdBook site to Pages #104: Commit a484933 pushed by jake-87
10s main
Name resolve definitions + typedefs
Deploy mdBook site to Pages #103: Commit 27e424b pushed by jake-87
11s main
Name resolution begun
Deploy mdBook site to Pages #102: Commit 97611ed pushed by jake-87
9s main
Comments & misc. fixes
Deploy mdBook site to Pages #101: Commit b253e7a pushed by jake-87
8s main
Pattern matching compilation complete(?)
Deploy mdBook site to Pages #100: Commit 80640d0 pushed by jake-87
6s main
formatting
Deploy mdBook site to Pages #99: Commit 9b5e75b pushed by jake-87
8s main
Pattern matching: constructor handling
Deploy mdBook site to Pages #98: Commit 1e099a2 pushed by jake-87
8s main
format
Deploy mdBook site to Pages #97: Commit 3f2df1f pushed by jake-87
6s main
readme
Deploy mdBook site to Pages #96: Commit 4950bd1 pushed by jake-87
8s main
format
Deploy mdBook site to Pages #95: Commit aebc88a pushed by jake-87
6s main
start pattern matching compilation
Deploy mdBook site to Pages #94: Commit c81a679 pushed by jake-87
7s main
Remove traits
Deploy mdBook site to Pages #93: Commit 8b25002 pushed by jake-87
10s main
Update README.md
Deploy mdBook site to Pages #92: Commit 95c0887 pushed by jake-87
9s main
Update README.md
Deploy mdBook site to Pages #91: Commit 9457fde pushed by jake-87
10s main
Update README.md
Deploy mdBook site to Pages #90: Commit 2e6e8d6 pushed by jake-87
6s main
monomorph work
Deploy mdBook site to Pages #89: Commit aba0261 pushed by jake-87
6s main
trait resolution (broken :()
Deploy mdBook site to Pages #88: Commit dcaa65a pushed by jake-87
7s main
trait monomorph work
Deploy mdBook site to Pages #87: Commit 3cee5c2 pushed by jake-87
9s main
monomorph for traits kinda works
Deploy mdBook site to Pages #86: Commit b8d31e5 pushed by jake-87
11s main
misc
Deploy mdBook site to Pages #85: Commit 3ea6d6a pushed by jake-87
6s main
tied the knot
Deploy mdBook site to Pages #84: Commit 0a7a9d0 pushed by jake-87
7s main
more monomorphization work
Deploy mdBook site to Pages #83: Commit 672b8b4 pushed by jake-87
11s main