Skip to content

Actions: RedPRL/ocaml-bwd

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
152 workflow runs
152 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: add init (#20) Build, test, and doc update #102: Commit 22c52bc pushed by favonia
October 20, 2023 02:03 6m 19s main
main
October 20, 2023 02:03 6m 19s
feat: add init Build, test, and doc update #101: Pull request #20 opened by favonia
October 20, 2023 01:26 7m 18s add-init
add-init
October 20, 2023 01:26 7m 18s
test: avoid the deprecated small_int Build, test, and doc update #100: Commit 9930253 pushed by favonia
October 19, 2023 23:29 7m 10s main
main
October 19, 2023 23:29 7m 10s
pages build and deployment pages-build-deployment #50: by github-pages bot
October 17, 2023 17:09 36s
October 17, 2023 17:09 36s
docs: better organized documentation Build, test, and doc update #99: Commit abe9c7b pushed by favonia
October 17, 2023 17:05 6m 30s main
main
October 17, 2023 17:05 6m 30s
feat: add back concat and flatten Build, test, and doc update #98: Pull request #19 synchronize by favonia
October 17, 2023 16:56 7m 12s add-back-concat
add-back-concat
October 17, 2023 16:56 7m 12s
feat: add back concat and flatten Build, test, and doc update #97: Pull request #19 synchronize by favonia
October 17, 2023 16:54 7m 38s add-back-concat
add-back-concat
October 17, 2023 16:54 7m 38s
feat: add back concat and flatten Build, test, and doc update #96: Pull request #19 opened by favonia
October 17, 2023 16:52 6m 19s add-back-concat
add-back-concat
October 17, 2023 16:52 6m 19s
pages build and deployment pages-build-deployment #49: by github-pages bot
October 17, 2023 16:22 36s
October 17, 2023 16:22 36s
pages build and deployment pages-build-deployment #48: by github-pages bot
October 17, 2023 16:21 34s
October 17, 2023 16:21 34s
pages build and deployment pages-build-deployment #47: by github-pages bot
October 17, 2023 16:20 38s
October 17, 2023 16:20 38s
docs: better organized documentation Build, test, and doc update #95: Commit 1753338 pushed by favonia
October 17, 2023 16:11 11m 7s main
main
October 17, 2023 16:11 11m 7s
docs: better documentation Build, test, and doc update #94: Commit 9bcd7d6 pushed by favonia
October 17, 2023 16:11 13m 47s main
main
October 17, 2023 16:11 13m 47s
feat: add inlining instructions Build, test, and doc update #93: Commit 75e1926 pushed by favonia
October 17, 2023 16:10 13m 22s main
main
October 17, 2023 16:10 13m 22s
pages build and deployment pages-build-deployment #46: by github-pages bot
October 3, 2023 01:15 1m 8s
October 3, 2023 01:15 1m 8s
docs(CONTRIBUTORS): really use Markdown Build, test, and doc update #92: Commit 3d780f7 pushed by favonia
October 3, 2023 01:05 12m 38s main
main
October 3, 2023 01:05 12m 38s
build(deps): bump actions/checkout from 3 to 4 (#16) Build, test, and doc update #91: Commit 57dbe48 pushed by favonia
September 5, 2023 01:56 8m 50s main
main
September 5, 2023 01:56 8m 50s
build(deps): bump actions/checkout from 3 to 4 Build, test, and doc update #90: Pull request #16 opened by dependabot bot
September 5, 2023 00:54 8m 33s dependabot/github_actions/actions/checkout-4
dependabot/github_actions/actions/checkout-4
September 5, 2023 00:54 8m 33s
test: reorder tests Build, test, and doc update #89: Commit a273d0a pushed by favonia
August 23, 2023 12:45 3m 52s main
main
August 23, 2023 12:45 3m 52s
test: tweak the testing order Build, test, and doc update #88: Commit a06ff13 pushed by favonia
August 18, 2023 15:20 3m 32s main
main
August 18, 2023 15:20 3m 32s
pages build and deployment pages-build-deployment #45: by github-pages bot
August 18, 2023 15:18 34s
August 18, 2023 15:18 34s
docs: prepare to release version 2.2.0 (#14) Build, test, and doc update #87: Commit f7daa91 pushed by favonia
August 18, 2023 15:13 4m 14s main
main
August 18, 2023 15:13 4m 14s
docs: prepare to release version 2.2.0 Build, test, and doc update #86: Pull request #14 synchronize by favonia
August 18, 2023 15:08 3m 37s prepare-2.2.0
prepare-2.2.0
August 18, 2023 15:08 3m 37s
docs: prepare to release version 2.2.0 Build, test, and doc update #85: Pull request #14 opened by favonia
August 18, 2023 14:59 3m 37s prepare-2.2.0
prepare-2.2.0
August 18, 2023 14:59 3m 37s
pages build and deployment pages-build-deployment #44: by github-pages bot
August 18, 2023 13:48 34s
August 18, 2023 13:48 34s