Skip to content

Actions: trishullab/proof-wala

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
43 workflow runs
43 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #18 from trishullab/usr/amit9oct/miniF2F-benchmark CI #29: Commit 0f4c801 pushed by amit9oct
5m 30s main
main
5m 30s
Added minif2f benchmark CI #28: Pull request #18 opened by amit9oct
8m 6s usr/amit9oct/miniF2F-benchmark
usr/amit9oct/miniF2F-benchmark
8m 6s
Merge pull request #17 from trishullab/release CI #27: Commit e22e158 pushed by amit9oct
6m 57s main
main
6m 57s
Release CI #26: Pull request #17 opened by amit9oct
6m 14s release
release
6m 14s
Publish ProofWala to PyPI Publish ProofWala to PyPI #7: Manually run by amit9oct
34s release
release
34s
New Release 1.1.9 Enforce Main-to-Release Merges #7: Pull request #16 opened by amit9oct
6s main
main
6s
Merge pull request #15 from trishullab/usr/amit9oct/upgrade-itp-inteface CI #25: Commit 92672e8 pushed by amit9oct
6m 1s main
main
6m 1s
Updated dependencies. CI #24: Pull request #15 opened by amit9oct
5m 57s usr/amit9oct/upgrade-itp-inteface
usr/amit9oct/upgrade-itp-inteface
5m 57s
Publish ProofWala to PyPI Publish ProofWala to PyPI #6: Manually run by amit9oct
38s release
release
38s
Preparing for release Enforce Main-to-Release Merges #6: Pull request #14 opened by amit9oct
6s main
main
6s
Merge pull request #13 from trishullab/usr/amit9oct/itp-interface-bump CI #23: Commit cdb4bee pushed by amit9oct
5m 21s main
main
5m 21s
updated the itp-interface to latest version CI #22: Pull request #13 opened by amit9oct
5m 56s usr/amit9oct/itp-interface-bump
usr/amit9oct/itp-interface-bump
5m 56s
Publish ProofWala to PyPI Publish ProofWala to PyPI #5: Manually run by amit9oct
42s release
release
42s
Release bump Enforce Main-to-Release Merges #5: Pull request #12 opened by amit9oct
12s main
main
12s
Merge pull request #11 from trishullab/usr/amit9oct/itp-interface-ver… CI #21: Commit 4564fbe pushed by amit9oct
6m 59s main
main
6m 59s
itp interface version bump, with some breaking changes. CI #20: Pull request #11 opened by amit9oct
6m 7s usr/amit9oct/itp-interface-version-bump
usr/amit9oct/itp-interface-version-bump
6m 7s
Publish ProofWala to PyPI Publish ProofWala to PyPI #4: Manually run by amit9oct
41s release
release
41s
Release bump Enforce Main-to-Release Merges #4: Pull request #10 opened by amit9oct
11s main
main
11s
Merge pull request #9 from trishullab/usr/amit9oct/itp-interface-vers… CI #19: Commit 90b98bb pushed by amit9oct
6m 10s main
main
6m 10s
Bumped the version of itp interface. CI #18: Pull request #9 opened by amit9oct
7m 9s usr/amit9oct/itp-interface-version-bump
usr/amit9oct/itp-interface-version-bump
7m 9s
Publish ProofWala to PyPI Publish ProofWala to PyPI #3: Manually run by amit9oct
44s release
release
44s
Vulnerability fixes in transformer library Enforce Main-to-Release Merges #3: Pull request #8 opened by amit9oct
15s main
main
15s
Merge pull request #7 from trishullab/usr/amit9oct/transformer-packag… CI #17: Commit ed35d21 pushed by amit9oct
5m 52s main
main
5m 52s
Bumped transformer package because of vulnerability CI #16: Pull request #7 synchronize by amit9oct
6m 22s usr/amit9oct/transformer-package-bump
usr/amit9oct/transformer-package-bump
6m 22s
Bumped transformer package because of vulnerability CI #15: Pull request #7 opened by amit9oct
4m 23s usr/amit9oct/transformer-package-bump
usr/amit9oct/transformer-package-bump
4m 23s