Skip to content

Actions: releasecontrol/groundless-truth

Actions

proofs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
92 workflow runs
92 workflow runs

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
Merge pull request #27 from releasecontrol/codex/zenodo-doi-metadata proofs #92: Commit 27d8e03 pushed by AMBRA7592
28s main
main
28s
[codex] add Zenodo DOI metadata proofs #91: Pull request #27 opened by AMBRA7592
32s codex/zenodo-doi-metadata
codex/zenodo-doi-metadata
32s
Docs: add Zenodo DOI metadata proofs #90: Commit f122784 pushed by AMBRA7592
32s codex/zenodo-doi-metadata
codex/zenodo-doi-metadata
32s
Merge pull request #26 from releasecontrol/codex/v1-4-0-citation proofs #89: Commit 6980108 pushed by AMBRA7592
31s v1.4.0
v1.4.0
31s
Merge pull request #26 from releasecontrol/codex/v1-4-0-citation proofs #88: Commit 6980108 pushed by AMBRA7592
27s main
main
27s
[codex] prepare v1.4.0 citation metadata proofs #87: Pull request #26 opened by AMBRA7592
30s codex/v1-4-0-citation
codex/v1-4-0-citation
30s
Docs: prepare the v1.4.0 citation metadata proofs #86: Commit c617c47 pushed by AMBRA7592
32s codex/v1-4-0-citation
codex/v1-4-0-citation
32s
Merge pull request #25 from releasecontrol/codex/mhs-mathematical-non… proofs #85: Commit 04fe7f2 pushed by AMBRA7592
28s main
main
28s
[codex] bound the MHS mathematical non-claim proofs #84: Pull request #25 opened by AMBRA7592
28s codex/mhs-mathematical-nonclaim
codex/mhs-mathematical-nonclaim
28s
Docs: bound the MHS mathematical non-claim proofs #83: Commit fba46d4 pushed by AMBRA7592
29s codex/mhs-mathematical-nonclaim
codex/mhs-mathematical-nonclaim
29s
Merge pull request #24 from releasecontrol/codex/dual-licensing proofs #82: Commit 516f655 pushed by AMBRA7592
38s main
main
38s
[codex] clarify file-specific licensing proofs #81: Pull request #24 synchronize by AMBRA7592
30s codex/dual-licensing
codex/dual-licensing
30s
Docs: clarify file-specific licensing proofs #80: Commit f95a097 pushed by AMBRA7592
28s codex/dual-licensing
codex/dual-licensing
28s
Docs: clarify file-specific licensing proofs #79: Commit b2bf25d pushed by AMBRA7592
31s codex/dual-licensing
codex/dual-licensing
31s
Merge pull request #23 from releasecontrol/codex/colophon-provenance proofs #78: Commit 42f49f4 pushed by AMBRA7592
31s main
main
31s
[codex] add provenance colophon proofs #77: Pull request #23 opened by AMBRA7592
26s codex/colophon-provenance
codex/colophon-provenance
26s
Docs: add provenance colophon proofs #76: Commit dac0ae8 pushed by AMBRA7592
30s codex/colophon-provenance
codex/colophon-provenance
30s
Merge pull request #22 from releasecontrol/codex/mhs-phase-2b-results proofs #75: Commit 09789fc pushed by AMBRA7592
25s codex/colophon-provenance
codex/colophon-provenance
25s
Merge pull request #22 from releasecontrol/codex/mhs-phase-2b-results proofs #74: Commit 09789fc pushed by AMBRA7592
26s main
main
26s
Part 3b: publish bounded MHS Tier-2 pilot proofs #73: Pull request #22 opened by AMBRA7592
34s codex/mhs-phase-2b-results
codex/mhs-phase-2b-results
34s
Reports: publish bounded MHS Tier-2 pilot proofs #72: Commit 529557d pushed by AMBRA7592
29s codex/mhs-phase-2b-results
codex/mhs-phase-2b-results
29s
Merge pull request #21 from releasecontrol/codex/mhs-primary-count-ci… proofs #71: Commit 5c87704 pushed by AMBRA7592
24s main
main
24s
Cite all three MHS binding documents proofs #70: Pull request #21 opened by AMBRA7592
32s codex/mhs-primary-count-citation
codex/mhs-primary-count-citation
32s
Reports: cite MHS count correction proofs #69: Commit 1317ae1 pushed by AMBRA7592
29s codex/mhs-primary-count-citation
codex/mhs-primary-count-citation
29s
Merge pull request #20 from releasecontrol/codex/mhs-primary-count-ad… proofs #68: Commit c30b6b6 pushed by AMBRA7592
30s main
main
30s