Skip to content

Actions: ekpyron/AOT

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3 workflow runs
3 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Progress on Hype and Natural Numbers. Build and publish gh-pages. #116: Commit 5f21618 pushed by ekpyron
3m 7s develop
develop
3m 7s
Finish routley-star. Build and publish gh-pages. #115: Commit 948c516 pushed by ekpyron
2m 47s develop
develop
2m 47s
Truthmaker Semantics Build and publish gh-pages. #114: Commit 3d917ff pushed by ekpyron
2m 28s develop
develop
2m 28s