8000 Workflow runs · o1-labs/ocaml-gen · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: o1-labs/ocaml-gen

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
65 workflow runs
65 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI: add macos-latest CI #151: Pull request #35 synchronize by dannywillems
April 23, 2025 09:49 6m 23s add-macos-latest
add-macos-latest
April 23, 2025 09:49 6m 23s
pages build and deployment pages-build-deployment #32: by github-pages bot
April 15, 2025 12:52 23s gh-pages
gh-pages
April 15, 2025 12:52 23s
Merge pull request #42 from o1-labs/dw/ocaml-gen-derive-missing-version Deploy Docs to GitHub Pages #46: Commit b6a98d3 pushed by dannywillems
April 15, 2025 12:49 2m 7s main
main
April 15, 2025 12:49 2m 7s
Merge pull request #42 from o1-labs/dw/ocaml-gen-derive-missing-version CI #150: Commit b6a98d3 pushed by dannywillems
April 15, 2025 12:49 6m 7s main
main
April 15, 2025 12:49 6m 7s
Add extra details to publish on crates.io CI #149: Pull request #42 opened by dannywillems
April 15, 2025 10:38 6m 6s dw/ocaml-gen-derive-missing-version
dw/ocaml-gen-derive-missing-version
April 15, 2025 10:38 6m 6s
pages build and deployment pages-build-deployment #31: by github-pages bot
April 14, 2025 20:34 27s gh-pages
gh-pages
April 14, 2025 20:34 27s
Merge pull request #41 from o1-labs/dw/prepare-release Deploy Docs to GitHub Pages #45: Commit 637d74d pushed by dannywillems
April 14, 2025 20:32 1m 12s main
main
April 14, 2025 20:32 1m 12s
Merge pull request #41 from o1-labs/dw/prepare-release CI #148: Commit 637d74d pushed by dannywillems
April 14, 2025 20:32 5m 18s main
main
April 14, 2025 20:32 5m 18s
Cargo: relax constraints on deps CI #147: Pull request #39 synchronize by dannywillems
April 14, 2025 18:56 4m 51s dw/relax-constraints
dw/relax-constraints
April 14, 2025 18:56 4m 51s
Cargo: relax constraints on deps CI #146: Pull request #39 reopened by dannywillems
April 14, 2025 18:54 5m 13s dw/relax-constraints
dw/relax-constraints
April 14, 2025 18:54 5m 13s
Prepare release 1.0.0 CI #145: Pull request #41 synchronize by dannywillems
April 14, 2025 17:44 5m 19s dw/prepare-release
dw/prepare-release
April 14, 2025 17:44 5m 19s
Prepare release 1.0.0 CI #144: Pull request #41 opened by dannywillems
April 14, 2025 17:37 5m 4s dw/prepare-release
dw/prepare-release
April 14, 2025 17:37 5m 4s
pages build and deployment pages-build-deployment #30: by github-pages bot
April 14, 2025 17:00 34s gh-pages
gh-pages
April 14, 2025 17:00 34s
Merge pull request #40 from o1-labs/dw/get-rid-of-std Deploy Docs to GitHub Pages #44: Commit 323051a pushed by dannywillems
April 14, 2025 16:59 1m 6s main
main
April 14, 2025 16:59 1m 6s
Merge pull request #40 from o1-labs/dw/get-rid-of-std CI #143: Commit 323051a pushed by dannywillems
April 14, 2025 16:59 9m 10s main
main
April 14, 2025 16:59 9m 10s
no-std support CI #142: Pull request #40 opened by dannywillems
April 14, 2025 16:37 8m 11s dw/get-rid-of-std
dw/get-rid-of-std
April 14, 2025 16:37 8m 11s
Cargo: relax constraints on deps CI #141: Pull request #39 synchronize by dannywillems
April 14, 2025 15:14 5m 26s dw/relax-constraints
dw/relax-constraints
April 14, 2025 15:14 5m 26s
Cargo: relax constraints on deps CI #140: Pull request #39 opened by dannywillems
April 14, 2025 15:09 6m 33s dw/relax-constraints
dw/relax-constraints
April 14, 2025 15:09 6m 33s
CI: add up to 1.85 CI #139: Pull request #38 synchronize by dannywillems
April 3, 2025 17:51 22m 57s dw/adding-support-up-to-rust-1-85
dw/adding-support-up-to-rust-1-85
April 3, 2025 17:51 22m 57s
Merge pull request #36 from o1-labs/dw/add-ubuntu-arm CI #138: Commit aa7d9b6 pushed by dannywillems
April 3, 2025 17:51 15m 20s main
main
April 3, 2025 17:51 15m 20s
Merge pull request #36 from o1-labs/dw/add-ubuntu-arm Deploy Docs to GitHub Pages #43: Commit aa7d9b6 pushed by dannywillems
April 3, 2025 17:51 12m 21s main
main
April 3, 2025 17:51 12m 21s
CI: add up to 1.85 CI #137: Pull request #38 opened by dannywillems
April 3, 2025 16:48 12m 50s dw/adding-support-up-to-rust-1-85
dw/adding-support-up-to-rust-1-85
April 3, 2025 16:48 12m 50s
CI: add ubuntu-24.04-arm CI #136: Pull request #36 synchronize by dannywillems
April 3, 2025 16:32 6m 39s dw/add-ubuntu-arm
dw/add-ubuntu-arm
April 3, 2025 16:32 6m 39s
pages build and deployment pages-build-deployment #29: by github-pages bot
April 3, 2025 16:30 26s gh-pages
gh-pages
April 3, 2025 16:30 26s
Merge pull request #37 from o1-labs/dw/handled-multiple-platforms-ci CI #135: Commit a4b65fa pushed by dannywillems
April 3, 2025 16:28 4m 7s main
main
April 3, 2025 16:28 4m 7s
0