Skip to content

Actions: babaeee/hakim

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
154 workflow runs
154 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #227: by github-pages bot
April 2, 2024 14:19 1m 30s
April 2, 2024 14:19 1m 30s
Merge pull request #35 from babaeee/mz3 build_example_web #292: Commit 25384d5 pushed by arshiamoeini
April 2, 2024 14:16 2m 47s main
main
April 2, 2024 14:16 2m 47s
Merge pull request #35 from babaeee/mz3 Rust #150: Commit 25384d5 pushed by arshiamoeini
April 2, 2024 14:16 3m 45s main
main
April 2, 2024 14:16 3m 45s
Merge pull request #35 from babaeee/mz3 .github/workflows/preview.yml #101: Commit 25384d5 pushed by arshiamoeini
April 2, 2024 14:16 Failure main
main
April 2, 2024 14:16 Failure
fix z3_auto Rust #149: Pull request #35 opened by arshiamoeini
April 2, 2024 14:15 3m 52s mz3
mz3
April 2, 2024 14:15 3m 52s
fix z3_auto .github/workflows/preview.yml #100: Commit 9492a2e pushed by arshiamoeini
April 2, 2024 13:42 Failure mz3
mz3
April 2, 2024 13:42 Failure
pages build and deployment pages-build-deployment #226: by github-pages bot
March 31, 2024 07:53 30s
March 31, 2024 07:53 30s
Merge pull request #34 from babaeee/mz3 build_example_web #291: Commit 392ce8d pushed by arshiamoeini
March 31, 2024 07:51 2m 44s main
main
March 31, 2024 07:51 2m 44s
Merge pull request #34 from babaeee/mz3 Rust #148: Commit 392ce8d pushed by arshiamoeini
March 31, 2024 07:51 3m 37s main
main
March 31, 2024 07:51 3m 37s
Merge pull request #34 from babaeee/mz3 .github/workflows/preview.yml #99: Commit 392ce8d pushed by arshiamoeini
March 31, 2024 07:51 Failure main
main
March 31, 2024 07:51 Failure
Mz3 Rust #147: Pull request #34 opened by arshiamoeini
March 31, 2024 07:50 3m 38s mz3
mz3
March 31, 2024 07:50 3m 38s
define species as relation .github/workflows/preview.yml #98: Commit a28bd1b pushed by arshiamoeini
March 31, 2024 07:46 Failure mz3
mz3
March 31, 2024 07:46 Failure
generate z3-status with smt-lib2 language .github/workflows/preview.yml #97: Commit e505efa pushed by arshiamoeini
February 22, 2024 11:34 Failure mz3
mz3
February 22, 2024 11:34 Failure
pages build and deployment pages-build-deployment #225: by github-pages bot
February 2, 2024 10:21 34s
February 2, 2024 10:21 34s
Merge pull request #33 from babaeee/mz3 build_example_web #290: Commit 520f053 pushed by arshiamoeini
February 2, 2024 10:19 2m 34s main
main
February 2, 2024 10:19 2m 34s
Merge pull request #33 from babaeee/mz3 Rust #146: Commit 520f053 pushed by arshiamoeini
February 2, 2024 10:19 3m 53s main
main
February 2, 2024 10:19 3m 53s
Merge pull request #33 from babaeee/mz3 .github/workflows/preview.yml #96: Commit 520f053 pushed by arshiamoeini
February 2, 2024 10:19 Failure main
main
February 2, 2024 10:19 Failure
add pigeonhole_principle Rust #145: Pull request #33 synchronize by arshiamoeini
February 2, 2024 10:17 4m 8s mz3
mz3
February 2, 2024 10:17 4m 8s
Merge branch 'main' into mz3 .github/workflows/preview.yml #95: Commit 8a631a2 pushed by arshiamoeini
February 2, 2024 10:17 Failure mz3
mz3
February 2, 2024 10:17 Failure
pages build and deployment pages-build-deployment #224: by github-pages bot
February 2, 2024 10:16 35s
February 2, 2024 10:16 35s
Add some theorems Rust #144: Commit b5256ce pushed by HKalbasi
February 2, 2024 10:13 3m 43s main
main
February 2, 2024 10:13 3m 43s
Add some theorems build_example_web #289: Commit b5256ce pushed by HKalbasi
February 2, 2024 10:13 2m 47s main
main
February 2, 2024 10:13 2m 47s
Add some theorems .github/workflows/preview.yml #94: Commit b5256ce pushed by HKalbasi
February 2, 2024 10:13 Failure main
main
February 2, 2024 10:13 Failure
add pigeonhole_principle .github/workflows/preview.yml #93: Commit 3f1ef22 pushed by arshiamoeini
February 2, 2024 10:13 Failure mz3
mz3
February 2, 2024 10:13 Failure
Merge branch 'main' of github.com:babaeee/hakim into mz3 .github/workflows/preview.yml #92: Commit c789f98 pushed by arshiamoeini
February 2, 2024 10:11 Failure mz3
mz3
February 2, 2024 10:11 Failure