Skip to content

Actions: thanhlecongg/FormalBench

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
31 workflow runs
31 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update new benchmark Build and test #31: Commit 4e8f457 pushed by thanhlecongg
5m 53s main
main
5m 53s
Update README.md Build and test #30: Commit da1bfef pushed by thanhlecongg
5m 15s main
main
5m 15s
Merge pull request #2 from thanhlecongg/add-c-dataset Build and test #29: Commit 2126aff pushed by thanhlecongg
5m 20s main
main
5m 20s
Add c dataset Build and test #28: Pull request #2 reopened by thanhlecongg
5m 13s add-c-dataset
add-c-dataset
5m 13s
Add c dataset Build and test #27: Pull request #2 synchronize by thanhlecongg
5m 24s add-c-dataset
add-c-dataset
5m 24s
Add c dataset Build and test #26: Pull request #2 synchronize by thanhlecongg
5m 6s add-c-dataset
add-c-dataset
5m 6s
Add c dataset Build and test #25: Pull request #2 synchronize by thanhlecongg
5m 40s add-c-dataset
add-c-dataset
5m 40s
Add c dataset Build and test #24: Pull request #2 synchronize by thanhlecongg
4m 55s add-c-dataset
add-c-dataset
4m 55s
Add c dataset Build and test #23: Pull request #2 synchronize by thanhlecongg
5m 2s add-c-dataset
add-c-dataset
5m 2s
Update README.md Build and test #22: Commit 0df4a78 pushed by thanhlecongg
4m 36s main
main
4m 36s
Update verifier.py Build and test #21: Commit e15a061 pushed by thanhlecongg
1m 41s main
main
1m 41s
Update README.md Build and test #20: Commit ff92294 pushed by thanhlecongg
4m 38s main
main
4m 38s
fix test cases Build and test #19: Commit b2a810c pushed by thanhlecongg
4m 35s main
main
4m 35s
update Build and test #18: Commit 79a3c4f pushed by thanhlecongg
5m 32s main
main
5m 32s
Update README.md Build and test #17: Commit f6d9df0 pushed by thanhlecongg
5m 23s main
main
5m 23s
Update README.md Build and test #16: Commit 08f46c6 pushed by thanhlecongg
6m 8s main
main
6m 8s
add fixer Build and test #15: Commit 817cbf5 pushed by thanhlecongg
6m 9s main
main
6m 9s
update README Build and test #14: Commit fe526d4 pushed by thanhlecongg
5m 49s main
main
5m 49s
update workflow Build and test #13: Commit 0a9728c pushed by thanhlecongg
5m 38s main
main
5m 38s
update workflow Build and test #12: Commit 23eafa0 pushed by thanhlecongg
27s main
main
27s
add spec inference Build and test #11: Commit 926a23f pushed by thanhlecongg
27s main
main
27s
update evaluation metrics + add examples Build and test #10: Commit 14bbedc pushed by thanhlecongg
3m 38s main
main
3m 38s
Merge pull request #1 from thanhlecongg/evaluation_metrics Build and test #9: Commit cd16a77 pushed by thanhlecongg
3m 39s main
main
3m 39s
Evaluation metrics Build and test #8: Pull request #1 opened by thanhlecongg
3m 41s evaluation_metrics
evaluation_metrics
3m 41s
add mutation analysis Build and test #7: Commit f73dd03 pushed by thanhlecongg
2m 40s main
main
2m 40s