Skip to content

Actions: AxiomMath/axiom-lean-engine

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
59 workflow runs
59 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

v1.0.1 Publish to PyPI #6: Release v1.0.1 published by jxin31415
30s
30s
pages build and deployment pages-build-deployment #18: by github-pages bot
23s gh-pages
gh-pages
23s
Patch v1.0.1 Deploy Documentation #18: Commit 553a49f pushed by jxin31415
19s main
main
19s
Patch v1.0.1 CI #25: Commit 553a49f pushed by jxin31415
1m 2s main
main
1m 2s
pages build and deployment pages-build-deployment #17: by github-pages bot
23s gh-pages
gh-pages
23s
Add announcements section and changelog page CI #24: Commit afc135b pushed by jxin31415
53s main
main
53s
Add announcements section and changelog page Deploy Documentation #17: Commit afc135b pushed by jxin31415
16s main
main
16s
v1.0.0 Publish to PyPI #5: Release v1.0.0 published by jxin31415
33s
33s
pages build and deployment pages-build-deployment #16: by github-pages bot
27s gh-pages
gh-pages
27s
Release v1.0.0 Deploy Documentation #16: Commit 16d3d63 pushed by jxin31415
15s main
main
15s
Release v1.0.0 CI #23: Commit 16d3d63 pushed by jxin31415
53s main
main
53s
Release v1.0.0 CI #22: Commit cb6ed0a pushed by jxin31415
1m 13s main
main
1m 13s
Publish to PyPI Publish to PyPI #4: published by jxin31415
29s
29s
pages build and deployment pages-build-deployment #15: by github-pages bot
33s gh-pages
gh-pages
33s
Release v1.0.0 Deploy Documentation #15: Commit 650a6c4 pushed by jxin31415
16s main
main
16s
Release v1.0.0 CI #21: Commit 650a6c4 pushed by jxin31415
1m 3s main
main
1m 3s
pages build and deployment pages-build-deployment #14: by github-pages bot
31s gh-pages
gh-pages
31s
Release v1.0.0 CI #20: Commit 514bfd6 pushed by jxin31415
1m 2s main
main
1m 2s
Release v1.0.0 Deploy Documentation #14: Commit 514bfd6 pushed by jxin31415
30s main
main
30s
pages build and deployment pages-build-deployment #13: by github-pages bot
25s gh-pages
gh-pages
25s
Release v0.1.2 CI #19: Commit de67158 pushed by jxin31415
56s main
main
56s
Release v0.1.2 Deploy Documentation #13: Commit de67158 pushed by jxin31415
17s main
main
17s
pages build and deployment pages-build-deployment #12: by github-pages bot
24s gh-pages
gh-pages
24s
Release v0.1.1 Deploy Documentation #12: Commit 065e17f pushed by jxin31415
16s main
main
16s
Release v0.1.1 CI #18: Commit 065e17f pushed by jxin31415
51s main
main
51s