Skip to content

Actions: holo-nim/ketin

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
25 workflow runs
25 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
pages build and deployment pages-build-deployment #13: by github-pages Bot
42s gh-pages
gh-pages
42s
use nightlies for devel ketin #12: Commit d860642 pushed by metagn
45s master
master
45s
pages build and deployment pages-build-deployment #12: by github-pages Bot
38s gh-pages
gh-pages
38s
knot tests + more, generic fabrics ketin #11: Commit 60acd3d pushed by metagn
10m 16s master
master
10m 16s
pages build and deployment pages-build-deployment #11: by github-pages Bot
40s gh-pages
gh-pages
40s
implement freeze for fabrics ketin #10: Commit 4bf0468 pushed by metagn
10m 46s master
master
10m 46s
pages build and deployment pages-build-deployment #10: by github-pages Bot
40s gh-pages
gh-pages
40s
just use new wrap ketin #9: Commit afb6e01 pushed by metagn
10m 12s master
master
10m 12s
pages build and deployment pages-build-deployment #9: by github-pages Bot
40s gh-pages
gh-pages
40s
add stitchDecl ketin #8: Commit 2c1746a pushed by metagn
10m 9s master
master
10m 9s
pages build and deployment pages-build-deployment #8: by github-pages Bot
39s gh-pages
gh-pages
39s
batch nontypesection statements for type pragmas ketin #7: Commit 23ae951 pushed by metagn
10m 7s master
master
10m 7s
pages build and deployment pages-build-deployment #7: by github-pages Bot
41s gh-pages
gh-pages
41s
progress, cleaner fabric ketin #6: Commit 27b1a6d pushed by metagn
10m 0s master
master
10m 0s
pages build and deployment pages-build-deployment #6: by github-pages Bot
34s gh-pages
gh-pages
34s
slight restructure ketin #5: Commit 5522cf7 pushed by metagn
10m 31s master
master
10m 31s
pages build and deployment pages-build-deployment #5: by github-pages Bot
43s gh-pages
gh-pages
43s
rename again ketin #4: Commit ee22ef7 pushed by metagn
10m 35s master
master
10m 35s
pages build and deployment pages-build-deployment #4: by metagn
46s gh-pages
gh-pages
46s
pages build and deployment pages-build-deployment #3: by github-pages Bot
37s gh-pages
gh-pages
37s
test js and nims ketin #3: Commit df48456 pushed by metagn
10m 0s master
master
10m 0s
pages build and deployment pages-build-deployment #2: by github-pages Bot
39s gh-pages
gh-pages
39s
sketch syntax ketin #2: Commit 831cd7a pushed by metagn
10m 10s master
master
10m 10s
pages build and deployment pages-build-deployment #1: by metagn
34s gh-pages
gh-pages
34s
rename ketin #1: Commit 860f676 pushed by metagn
9m 56s master
master
9m 56s