Skip to content

Actions: hyperpolymath/SMTLib.jl

Actions

Governance

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
governance.yml
85 workflow runs
85 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
chore(deps): bump the actions group with 14 updates Governance #85: Pull request #44 opened by dependabot Bot
16s dependabot/github_actions/actions-b97b34cae0
dependabot/github_actions/actions-b97b34cae0
16s
docs: add Signed commits section to CONTRIBUTING (#42) Governance #84: Commit 5de1e11 pushed by hyperpolymath
20s main
main
20s
docs: add Signed commits section to CONTRIBUTING Governance #83: Pull request #42 synchronize by hyperpolymath
18s docs/signing-policy-d218
docs/signing-policy-d218
18s
docs(citation): add CITATION.cff with the author's ORCID (0000-0002-3… Governance #82: Commit 4023bec pushed by hyperpolymath
3m 58s main
main
3m 58s
docs: add Signed commits section to CONTRIBUTING Governance #81: Pull request #42 opened by hyperpolymath
17s docs/signing-policy-d218
docs/signing-policy-d218
17s
docs(citation): add CITATION.cff with the author's ORCID (0000-0002-3078-6652) Governance #80: Pull request #41 opened by hyperpolymath
4m 57s chore/citation-orcid
chore/citation-orcid
4m 57s
ci(hypatia): standardise the wrapper caller id to the canonical `hypa… Governance #79: Commit 553d49e pushed by hyperpolymath
1h 35m 38s main
main
1h 35m 38s
ci(hypatia): standardise the wrapper caller id to the canonical hypatia Governance #78: Pull request #40 opened by hyperpolymath
46m 33s fix/hypatia-caller-id
fix/hypatia-caller-id
46m 33s
chore(ci): remove dead Codecov upload steps + lock pins (#39) Governance #77: Commit 3bc4420 pushed by hyperpolymath
16m 18s main
main
16m 18s
chore(ci): remove dead Codecov upload steps + lock pins Governance #76: Pull request #39 opened by hyperpolymath
5m 19s chore/remove-dead-app-ci-refs
chore/remove-dead-app-ci-refs
5m 19s
fix(docs): render the repository-structure tree as a tree (#38) Governance #75: Commit 43fb5be pushed by hyperpolymath
23s main
main
23s
fix(docs): render the repository-structure tree as a tree Governance #74: Pull request #38 synchronize by hyperpolymath
18m 32s fix/contributing-guide-content
fix/contributing-guide-content
18m 32s
fix(docs): render the repository-structure tree as a tree Governance #73: Pull request #38 opened by hyperpolymath
2m 50s fix/contributing-guide-content
fix/contributing-guide-content
2m 50s
fix(docs): repoint references to the relocated contributing guide (#37) Governance #72: Commit 8b24683 pushed by hyperpolymath
6m 13s main
main
6m 13s
fix(docs): repoint references to the relocated contributing guide Governance #71: Pull request #37 opened by hyperpolymath
1h 54m 42s refactor/contributing-guide-link-repair
refactor/contributing-guide-link-repair
1h 54m 42s
refactor(root): move root artefacts to their canonical locations (#36) Governance #70: Commit d5ca496 pushed by hyperpolymath
19m 41s main
main
19m 41s
refactor(root): move root artefacts to their canonical locations Governance #69: Pull request #36 opened by hyperpolymath
19m 48s refactor/root-shape-rollout
refactor/root-shape-rollout
19m 48s
chore(www): migrate root .well-known/ to www/.well-known/ (#35) Governance #68: Commit 232c511 pushed by hyperpolymath
1h 17m 18s main
main
1h 17m 18s
chore(www): migrate root .well-known/ to www/.well-known/ Governance #67: Pull request #35 opened by hyperpolymath
20m 3s chore/well-known-to-www
chore/well-known-to-www
20m 3s
chore(ci): repoint push-email-notify to smtp-notify-action (#34) Governance #66: Commit ced990e pushed by hyperpolymath
3m 24s main
main
3m 24s
chore(ci): repoint push-email-notify to smtp-notify-action Governance #65: Pull request #34 opened by hyperpolymath
2m 19s chore/smtp-notify-action
chore/smtp-notify-action
2m 19s
feat(labels): estate label tooling + auto-triage for new issues (#33) Governance #64: Commit b657a5a pushed by hyperpolymath
2h 5m 0s main
main
2h 5m 0s
feat(labels): estate label tooling + auto-triage for new issues Governance #63: Pull request #33 synchronize by hyperpolymath
30m 22s automated/label-tooling
automated/label-tooling
30m 22s
feat(labels): estate label tooling + auto-triage for new issues Governance #62: Pull request #33 opened by hyperpolymath
1h 22m 19s automated/label-tooling
automated/label-tooling
1h 22m 19s
refactor: migrate Markdown to AsciiDoc (#32) Governance #61: Commit 92171a8 pushed by hyperpolymath
16m 21s main
main
16m 21s