Skip to content

Actions: heracles-ec/heracles

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
515 workflow runs
515 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
gh-437: Purification Tests #862: Pull request #436 synchronize by JaimeRZP
1m 12s purification
purification
1m 12s
gh-437: Purification Tests #861: Pull request #436 synchronize by JaimeRZP
1m 5s purification
purification
1m 5s
gh-437: Purification Tests #860: Pull request #436 synchronize by JaimeRZP
1m 4s purification
purification
1m 4s
gh-440: fast legendre (#441) Tests #859: Commit de08bd5 pushed by JaimeRZP
1m 11s main
main
1m 11s
gh-440: fast legendre Tests #858: Pull request #441 synchronize by JaimeRZP
1m 3s fast_legendre
fast_legendre
1m 3s
gh-440: fast legendre Tests #857: Pull request #441 synchronize by JaimeRZP
3m 58s fast_legendre
fast_legendre
3m 58s
gh-440: fast legendre Tests #856: Pull request #441 synchronize by JaimeRZP
55s fast_legendre
fast_legendre
55s
gh-440: fast legendre Tests #855: Pull request #441 opened by JaimeRZP
1m 10s fast_legendre
fast_legendre
1m 10s
gh-437: Purification Tests #854: Pull request #436 synchronize by JaimeRZP
1m 6s purification
purification
1m 6s
gh-437: Purification Tests #853: Pull request #436 synchronize by JaimeRZP
1m 12s purification
purification
1m 12s
gh-437: Purification Tests #852: Pull request #436 synchronize by JaimeRZP
1m 1s purification
purification
1m 1s
gh-437: Purification Tests #851: Pull request #436 synchronize by JaimeRZP
1m 37s purification
purification
1m 37s
gh-437: Purification Tests #850: Pull request #436 synchronize by JaimeRZP
2m 8s purification
purification
2m 8s
gh-438: fixed bug (#439) Tests #849: Commit 96d0137 pushed by JaimeRZP
1m 2s main
main
1m 2s
gh-438: fixed bug Tests #848: Pull request #439 opened by JaimeRZP
1m 5s gh-438
gh-438
1m 5s
gh-437: Purification Tests #847: Pull request #436 synchronize by JaimeRZP
1m 5s purification
purification
1m 5s
gh-437: Purification Tests #846: Pull request #436 synchronize by JaimeRZP
1m 5s purification
purification
1m 5s
gh-437: Purification Tests #845: Pull request #436 synchronize by JaimeRZP
53s purification
purification
53s
gh-437: Purification Tests #844: Pull request #436 synchronize by JaimeRZP
55s purification
purification
55s
gh-437: Purification Tests #843: Pull request #436 synchronize by JaimeRZP
1m 0s purification
purification
1m 0s
gh-437: Purification Tests #842: Pull request #436 synchronize by JaimeRZP
1m 6s purification
purification
1m 6s
gh-437: Purification Tests #841: Pull request #436 synchronize by JaimeRZP
1m 23s purification
purification
1m 23s
gh-437: Purification Tests #840: Pull request #436 opened by JaimeRZP
1m 7s purification
purification
1m 7s
Purified Tests #839: Pull request #434 synchronize by JaimeRZP
53s purified
purified
53s
Polspice decouple match Tests #838: Pull request #435 opened by JaimeRZP
1m 29s polspice-decouple-match
polspice-decouple-match
1m 29s