Skip to content

Actions: qi-rub/traq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
188 workflow runs
188 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #44: by anurudhp
19s gh-pages
gh-pages
19s
pages build and deployment pages-build-deployment #43: by github-pages bot
23s gh-pages
gh-pages
23s
Update readme and Demo (#30) CI #146: Commit 3a27e78 pushed by anurudhp
5m 11s main
main
5m 11s
Update readme and Demo CI #145: Pull request #30 synchronize by anurudhp
3m 24s 2025/07/21-readme
2025/07/21-readme
3m 24s
Update readme and Demo CI #144: Pull request #30 opened by anurudhp
3m 12s 2025/07/21-readme
2025/07/21-readme
3m 12s
pages build and deployment pages-build-deployment #42: by anurudhp
23s gh-pages
gh-pages
23s
pages build and deployment pages-build-deployment #41: by github-pages bot
22s gh-pages
gh-pages
22s
Primitive: Brute-force Search any_det (#29) CI #143: Commit 5e58032 pushed by anurudhp
4m 53s main
main
4m 53s
Primitive: Brute-force Search any_det CI #142: Pull request #29 opened by anurudhp
3m 9s 2025/07/19-det-search
2025/07/19-det-search
3m 9s
pages build and deployment pages-build-deployment #40: by github-pages bot
23s gh-pages
gh-pages
23s
Primitive: Random Search any_rand (#28) CI #141: Commit df48131 pushed by anurudhp
5m 28s main
main
5m 28s
Primitive: Random Search any_rand CI #140: Pull request #28 synchronize by anurudhp
3m 13s 2025/07/18-upd-classical-search
2025/07/18-upd-classical-search
3m 13s
Primitive: Random Search any_rand CI #139: Pull request #28 synchronize by anurudhp
3m 8s 2025/07/18-upd-classical-search
2025/07/18-upd-classical-search
3m 8s
Primitive: Random Search any_rand CI #138: Pull request #28 synchronize by anurudhp
3m 50s 2025/07/18-upd-classical-search
2025/07/18-upd-classical-search
3m 50s
Primitive: Random Search any_rand CI #137: Pull request #28 opened by anurudhp
23s 2025/07/18-upd-classical-search
2025/07/18-upd-classical-search
23s
pages build and deployment pages-build-deployment #39: by anurudhp
31s gh-pages
gh-pages
31s
CI CI #136: synchronize by anurudhp
3m 10s 2025/07/16-prototype-nondet
2025/07/16-prototype-nondet
3m 10s
CI CI #135: synchronize by anurudhp
15s 2025/07/16-prototype-nondet
2025/07/16-prototype-nondet
15s
CI CI #134: synchronize by anurudhp
11s 2025/07/16-prototype-nondet
2025/07/16-prototype-nondet
11s
Add datatype Value s for program values (#27) CI #133: Commit 3440c84 pushed by anurudhp
4m 54s main
main
4m 54s
Add datatype Value for program values CI #132: Pull request #27 opened by anurudhp
3m 8s 2025/07/17-upd-value
2025/07/17-upd-value
3m 8s
CI CI #131: synchronize by anurudhp
3m 16s 2025/07/16-prototype-nondet
2025/07/16-prototype-nondet
3m 16s
Update protolang syntax (#26) CI #130: Commit 7a82afe pushed by anurudhp
4m 55s main
main
4m 55s
Update protolang syntax CI #129: Pull request #26 synchronize by anurudhp
3m 15s 2025/07/17-upd-syntax
2025/07/17-upd-syntax
3m 15s
Update protolang syntax CI #128: Pull request #26 opened by anurudhp
3m 7s 2025/07/17-upd-syntax
2025/07/17-upd-syntax
3m 7s