Skip to content

Actions: kast-lang/kast

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
334 workflow runs
334 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

implement inline fields Test Suite #97: Commit e4c35a1 pushed by kuviman
November 17, 2024 17:15 22s main
main
November 17, 2024 17:15 22s
pages build and deployment pages-build-deployment #92: by github-pages bot
November 16, 2024 19:11 24s gh-pages
gh-pages
November 16, 2024 19:11 24s
rename test (sorry devninya) Test Suite #96: Commit c3b7a49 pushed by kuviman
November 16, 2024 19:11 32s main
main
November 16, 2024 19:11 32s
rename test (sorry devninya) Setup website #73: Commit c3b7a49 pushed by kuviman
November 16, 2024 19:11 29s main
main
November 16, 2024 19:11 29s
pages build and deployment pages-build-deployment #91: by github-pages bot
November 16, 2024 19:06 25s gh-pages
gh-pages
November 16, 2024 19:06 25s
InferredType -> TypeShape Test Suite #95: Commit bcfbdb6 pushed by kuviman
November 16, 2024 19:06 46s main
main
November 16, 2024 19:06 46s
InferredType -> TypeShape Setup website #72: Commit bcfbdb6 pushed by kuviman
November 16, 2024 19:06 24s main
main
November 16, 2024 19:06 24s
pages build and deployment pages-build-deployment #90: by github-pages bot
November 16, 2024 18:15 31s gh-pages
gh-pages
November 16, 2024 18:15 31s
inferred_or_default when trying to hash Setup website #71: Commit 16d1d86 pushed by kuviman
November 16, 2024 18:14 24s main
main
November 16, 2024 18:14 24s
inferred_or_default when trying to hash Test Suite #94: Commit 16d1d86 pushed by kuviman
November 16, 2024 18:14 30s main
main
November 16, 2024 18:14 30s
pages build and deployment pages-build-deployment #89: by github-pages bot
November 15, 2024 16:14 27s gh-pages
gh-pages
November 15, 2024 16:14 27s
Progress Test Suite #93: Commit 98ab826 pushed by kuviman
November 15, 2024 16:13 30s main
main
November 15, 2024 16:13 30s
Progress Setup website #70: Commit 98ab826 pushed by kuviman
November 15, 2024 16:13 27s main
main
November 15, 2024 16:13 27s
pages build and deployment pages-build-deployment #88: by github-pages bot
November 13, 2024 15:20 30s gh-pages
gh-pages
November 13, 2024 15:20 30s
some progress towards monads :) Test Suite #92: Commit e6a7c5c pushed by kuviman
November 13, 2024 15:19 33s main
main
November 13, 2024 15:19 33s
some progress towards monads :) Setup website #69: Commit e6a7c5c pushed by kuviman
November 13, 2024 15:19 31s main
main
November 13, 2024 15:19 31s
pages build and deployment pages-build-deployment #87: by github-pages bot
November 12, 2024 20:27 25s gh-pages
gh-pages
November 12, 2024 20:27 25s
Type ascribe with "type of value" Setup website #68: Commit 6a6c4d4 pushed by kuviman
November 12, 2024 20:26 26s main
main
November 12, 2024 20:26 26s
Type ascribe with "type of value" Test Suite #91: Commit 6a6c4d4 pushed by kuviman
November 12, 2024 20:26 28s main
main
November 12, 2024 20:26 28s
pages build and deployment pages-build-deployment #86: by github-pages bot
November 11, 2024 15:00 22s gh-pages
gh-pages
November 11, 2024 15:00 22s
match expr Test Suite #90: Commit d8d1ba4 pushed by kuviman
November 11, 2024 14:59 28s main
main
November 11, 2024 14:59 28s
match expr Setup website #67: Commit d8d1ba4 pushed by kuviman
November 11, 2024 14:59 51s main
main
November 11, 2024 14:59 51s
pages build and deployment pages-build-deployment #85: by github-pages bot
November 11, 2024 13:50 29s gh-pages
gh-pages
November 11, 2024 13:50 29s
is operator Setup website #66: Commit 9827584 pushed by kuviman
November 11, 2024 13:50 30s main
main
November 11, 2024 13:50 30s
is operator Test Suite #89: Commit 9827584 pushed by kuviman
November 11, 2024 13:50 28s main
main
November 11, 2024 13:50 28s