Skip to content

Actions: TJC-LP/goemans

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13 workflow runs
13 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
Slow scientific checks Slow scientific checks #2: Scheduled
6m 19s main
main
6m 19s
Slow scientific checks Slow scientific checks #1: Scheduled
6m 5s main
main
6m 5s
Merge pull request #5 from TJC-LP/tjc-1814-py314-numba CI #11: Commit 45d8ef7 pushed by arcaputo3
4m 40s main
main
4m 40s
TJC-1814: Python 3.14 default; numba-jitted vertex enumeration (4.2x certify-sweep) CI #10: Pull request #5 opened by arcaputo3
5m 3s tjc-1814-py314-numba
tjc-1814-py314-numba
5m 3s
Merge pull request #4 from TJC-LP/tjc-1814-juang-citation CI #9: Commit ad94c0e pushed by arcaputo3
5m 28s main
main
5m 28s
TJC-1814: cite Juang's concurrent public counterexample family CI #8: Pull request #4 opened by arcaputo3
3m 27s tjc-1814-juang-citation
tjc-1814-juang-citation
3m 27s
Merge pull request #3 from TJC-LP/tjc-1814-release-notes-math CI #7: Commit 85c4a2d pushed by arcaputo3
6m 50s main
main
6m 50s
TJC-1814: use dollar math delimiters in release notes and checklist CI #6: Pull request #3 opened by arcaputo3
6m 30s tjc-1814-release-notes-math
tjc-1814-release-notes-math
6m 30s
Merge pull request #2 from TJC-LP/tjc-1814-kernel-checks-and-math CI #5: Commit 62ae0ab pushed by arcaputo3
6m 52s main
main
6m 52s
TJC-1814: leanchecker per push, nanoda at release; brace README superscripts CI #4: Pull request #2 opened by arcaputo3
6m 39s tjc-1814-kernel-checks-and-math
tjc-1814-kernel-checks-and-math
6m 39s
Merge pull request #1 from TJC-LP/tjc-1814-ci-nanoda-grep-fix CI #3: Commit f07b6bd pushed by arcaputo3
5m 45s main
main
5m 45s
TJC-1814: fix first CI run: grep guard, explicit pinned nanoda step CI #2: Pull request #1 opened by arcaputo3
5m 21s tjc-1814-ci-nanoda-grep-fix
tjc-1814-ci-nanoda-grep-fix
5m 21s
TJC-1814: release governance: draft releases, commit-bound bundle, hu… CI #1: Commit f38f7ad pushed by arcaputo3
6m 13s main
main
6m 13s