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 with artifacts-next pages-build-deployment #213: by github-pages bot
January 28, 2024 19:55 30s gh-pages
gh-pages
January 28, 2024 19:55 30s
Merge pull request #26 from babaeee/mz3 build_example_web #278: Commit 053bb27 pushed by arshiamoeini
January 28, 2024 19:52 2m 35s main
main
January 28, 2024 19:52 2m 35s
Merge pull request #26 from babaeee/mz3 Rust #128: Commit 053bb27 pushed by arshiamoeini
January 28, 2024 19:52 3m 34s main
main
January 28, 2024 19:52 3m 34s
Merge pull request #26 from babaeee/mz3 .github/workflows/preview.yml #76: Commit 053bb27 pushed by arshiamoeini
January 28, 2024 19:52 Failure main
main
January 28, 2024 19:52 Failure
add n_DFA_pos to Automata.v Rust #127: Pull request #26 opened by arshiamoeini
January 28, 2024 19:52 3m 48s mz3
mz3
January 28, 2024 19:52 3m 48s
add n_DFA_pos to Automata.v .github/workflows/preview.yml #75: Commit ca3f69a pushed by arshiamoeini
January 28, 2024 19:50 Failure mz3
mz3
January 28, 2024 19:50 Failure
Merge pull request #25 from babaeee/mz3 .github/workflows/preview.yml #74: Commit efcbf4e pushed by arshiamoeini
January 28, 2024 19:45 Failure main
main
January 28, 2024 19:45 Failure
pages build and deployment with artifacts-next pages-build-deployment #212: by github-pages bot
January 28, 2024 18:47 30s gh-pages
gh-pages
January 28, 2024 18:47 30s
Merge pull request #25 from babaeee/mz3 build_example_web #277: Commit efcbf4e pushed by arshiamoeini
January 28, 2024 18:44 2m 49s main
main
January 28, 2024 18:44 2m 49s
Merge pull request #25 from babaeee/mz3 Rust #126: Commit efcbf4e pushed by arshiamoeini
January 28, 2024 18:44 3m 54s main
main
January 28, 2024 18:44 3m 54s
Merge pull request #25 from babaeee/mz3 .github/workflows/preview.yml #73: Commit efcbf4e pushed by arshiamoeini
January 28, 2024 18:44 Failure main
main
January 28, 2024 18:44 Failure
add truing computablality Rust #125: Pull request #25 opened by arshiamoeini
January 28, 2024 18:41 4m 13s mz3
mz3
January 28, 2024 18:41 4m 13s
add truing computablality .github/workflows/preview.yml #72: Commit 97a7a67 pushed by arshiamoeini
January 28, 2024 10:24 Failure mz3
mz3
January 28, 2024 10:24 Failure
return to wasm build_example_web #276: Commit 6198910 pushed by arshiamoeini
January 19, 2024 19:42 Failure return-to-wasm
return-to-wasm
January 19, 2024 19:42 Failure
return to wasm .github/workflows/preview.yml #71: Commit 6198910 pushed by arshiamoeini
January 19, 2024 19:42 Failure return-to-wasm
return-to-wasm
January 19, 2024 19:42 Failure
pages build and deployment with artifacts-next pages-build-deployment #211: by github-pages bot
January 18, 2024 22:55 34s gh-pages
gh-pages
January 18, 2024 22:55 34s
Add turing to library build_example_web #275: Commit cdaf56c pushed by HKalbasi
January 18, 2024 22:52 2m 46s main
main
January 18, 2024 22:52 2m 46s
Add turing to library Rust #124: Commit cdaf56c pushed by HKalbasi
January 18, 2024 22:52 3m 44s main
main
January 18, 2024 22:52 3m 44s
Add turing to library .github/workflows/preview.yml #70: Commit cdaf56c pushed by HKalbasi
January 18, 2024 22:52 Failure main
main
January 18, 2024 22:52 Failure
pages build and deployment with artifacts-next pages-build-deployment #210: by github-pages bot
January 18, 2024 09:14 38s gh-pages
gh-pages
January 18, 2024 09:14 38s
remove z3 again Rust #123: Commit d42e4e3 pushed by HKalbasi
January 18, 2024 09:12 3m 33s main
main
January 18, 2024 09:12 3m 33s
remove z3 again build_example_web #274: Commit d42e4e3 pushed by HKalbasi
January 18, 2024 09:12 2m 36s main
main
January 18, 2024 09:12 2m 36s
remove z3 again .github/workflows/preview.yml #69: Commit d42e4e3 pushed by HKalbasi
January 18, 2024 09:12 Failure main
main
January 18, 2024 09:12 Failure
pages build and deployment with artifacts-next pages-build-deployment #209: by github-pages bot
January 18, 2024 09:05 35s gh-pages
gh-pages
January 18, 2024 09:05 35s
try to disable z3 Rust #122: Commit aad203c pushed by HKalbasi
January 18, 2024 09:02 3m 43s main
main
January 18, 2024 09:02 3m 43s