Skip to content

Actions: gwaithimirdain/narya

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
275 workflow runs
275 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

remove no-longer-used error Unsupported_numeral Build #22: Commit f058e55 pushed by mikeshulman
9m 12s master
master
9m 12s
short-circuit zero in inst_apps Build #21: Commit ab48200 pushed by mikeshulman
9m 52s master
master
9m 52s
Merge branch 'master' of github.com:gwaithimirdain/narya Build #20: Commit 92932d5 pushed by mikeshulman
9m 25s master
master
9m 25s
handle range effects in lexer.single Build #19: Commit ac646a1 pushed by mikeshulman
9m 23s master
master
9m 23s
docs: if restarting, don't need to set PATH directly Build #18: Commit 6dcb51e pushed by mikeshulman
9m 14s master
master
9m 14s
oops, fix 'cd' instructions Build #17: Commit b852488 pushed by mikeshulman
9m 9s master
master
9m 9s
add ppx_blob to dune_project Build #16: Commit 2d8b9a5 pushed by mikeshulman
9m 32s master
master
9m 32s
docs: fix some links Build #15: Commit b5884d2 pushed by mikeshulman
9m 7s master
master
9m 7s
report git hash and date with -version Build #14: Commit 6842dc0 pushed by mikeshulman
9m 12s master
master
9m 12s
a shell script for installing the proofgeneral mode Build #13: Commit c3967ac pushed by mikeshulman
9m 29s master
master
9m 29s
docs: link to static binary Build #12: Commit 8bce812 pushed by mikeshulman
9m 29s master
master
9m 29s
use a constant name for the dist tarball Build #11: Commit 118b51d pushed by mikeshulman
9m 6s master
master
9m 6s
missing permissions for deploy Build #10: Commit b5bc61b pushed by mikeshulman
9m 24s master
master
9m 24s
add installation instructions to static build release Build #9: Commit 4b1cf09 pushed by mikeshulman
9m 36s master
master
9m 36s
deploy static binary to github pages Build #8: Commit 6c02518 pushed by mikeshulman
9m 41s master
master
9m 41s
deploy static binary to github pages Build #7: Commit bea8b31 pushed by mikeshulman
9m 59s master
master
9m 59s
add missing ends of here-docs to cram tests Build #6: Commit 36aed15 pushed by mikeshulman
9m 32s master
master
9m 32s
add build status badge to readme Build #5: Commit 2d1339a pushed by mikeshulman
9m 24s master
master
9m 24s
missing 'steps' in build.yml Build #4: Commit 72dd4a8 pushed by mikeshulman
9m 25s master
master
9m 25s
Merge pull request #31 from olynch/github-actions Build #3: Commit c175182 pushed by mikeshulman
Failure master
master
Failure
GitHub action for building narya in CI Build #2: Pull request #31 by olynch
Failure olynch:github-actions
olynch:github-actions
Failure
GitHub action for building narya in CI Build #1: Pull request #31 synchronize by mikeshulman
4m 22s olynch:github-actions
olynch:github-actions
4m 22s
Update build_docs.yml Build and Deploy Documentation #3: Commit 17c23c6 pushed by ElifUskuplu
23s master
master
23s
Update build_docs.yml Build and Deploy Documentation #2: Commit ba8e8a7 pushed by ElifUskuplu
28s master
master
28s
Update build_docs.yml Build and Deploy Documentation #1: Commit 18ec425 pushed by ElifUskuplu
24s master
master
24s
ProTip! You can narrow down the results and go further in time using created:<2025-04-07 or the other filters available.