Skip to content

Actions: hyperpolymath/SMTLib.jl

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
CI.yml
136 workflow runs
136 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
docs: add Signed commits section to CONTRIBUTING (#42) CI #136: Commit 5de1e11 pushed by hyperpolymath
22s main
main
22s
docs: add Signed commits section to CONTRIBUTING CI #135: Pull request #42 synchronize by hyperpolymath
16s docs/signing-policy-d218
docs/signing-policy-d218
16s
docs(citation): add CITATION.cff with the author's ORCID (0000-0002-3… CI #134: Commit 4023bec pushed by hyperpolymath
2m 11s main
main
2m 11s
docs: add Signed commits section to CONTRIBUTING CI #133: Pull request #42 opened by hyperpolymath
18s docs/signing-policy-d218
docs/signing-policy-d218
18s
docs(citation): add CITATION.cff with the author's ORCID (0000-0002-3078-6652) CI #132: Pull request #41 opened by hyperpolymath
4m 0s chore/citation-orcid
chore/citation-orcid
4m 0s
ci(hypatia): standardise the wrapper caller id to the canonical `hypa… CI #131: Commit 553d49e pushed by hyperpolymath
1h 34m 39s main
main
1h 34m 39s
ci(hypatia): standardise the wrapper caller id to the canonical hypatia CI #130: Pull request #40 opened by hyperpolymath
46m 12s fix/hypatia-caller-id
fix/hypatia-caller-id
46m 12s
chore(ci): remove dead Codecov upload steps + lock pins (#39) CI #129: Commit 3bc4420 pushed by hyperpolymath
16m 0s main
main
16m 0s
chore(ci): remove dead Codecov upload steps + lock pins CI #128: Pull request #39 opened by hyperpolymath
3m 56s chore/remove-dead-app-ci-refs
chore/remove-dead-app-ci-refs
3m 56s
fix(docs): render the repository-structure tree as a tree (#38) CI #127: Commit 43fb5be pushed by hyperpolymath
13s main
main
13s
fix(docs): render the repository-structure tree as a tree CI #126: Pull request #38 synchronize by hyperpolymath
16m 28s fix/contributing-guide-content
fix/contributing-guide-content
16m 28s
fix(docs): render the repository-structure tree as a tree CI #125: Pull request #38 opened by hyperpolymath
2m 17s fix/contributing-guide-content
fix/contributing-guide-content
2m 17s
fix(docs): repoint references to the relocated contributing guide (#37) CI #124: Commit 8b24683 pushed by hyperpolymath
6m 4s main
main
6m 4s
fix(docs): repoint references to the relocated contributing guide CI #123: Pull request #37 opened by hyperpolymath
1h 53m 52s refactor/contributing-guide-link-repair
refactor/contributing-guide-link-repair
1h 53m 52s
refactor(root): move root artefacts to their canonical locations (#36) CI #122: Commit d5ca496 pushed by hyperpolymath
19m 23s main
main
19m 23s
refactor(root): move root artefacts to their canonical locations CI #121: Pull request #36 opened by hyperpolymath
18m 28s refactor/root-shape-rollout
refactor/root-shape-rollout
18m 28s
chore(www): migrate root .well-known/ to www/.well-known/ (#35) CI #120: Commit 232c511 pushed by hyperpolymath
1h 16m 52s main
main
1h 16m 52s
chore(www): migrate root .well-known/ to www/.well-known/ CI #119: Pull request #35 opened by hyperpolymath
19m 29s chore/well-known-to-www
chore/well-known-to-www
19m 29s
chore(ci): repoint push-email-notify to smtp-notify-action (#34) CI #118: Commit ced990e pushed by hyperpolymath
4m 36s main
main
4m 36s
chore(ci): repoint push-email-notify to smtp-notify-action CI #117: Pull request #34 opened by hyperpolymath
1m 32s chore/smtp-notify-action
chore/smtp-notify-action
1m 32s
feat(labels): estate label tooling + auto-triage for new issues (#33) CI #116: Commit b657a5a pushed by hyperpolymath
2h 5m 33s main
main
2h 5m 33s
feat(labels): estate label tooling + auto-triage for new issues CI #115: Pull request #33 synchronize by hyperpolymath
30m 16s automated/label-tooling
automated/label-tooling
30m 16s
feat(labels): estate label tooling + auto-triage for new issues CI #114: Pull request #33 opened by hyperpolymath
1h 19m 23s automated/label-tooling
automated/label-tooling
1h 19m 23s
refactor: migrate Markdown to AsciiDoc (#32) CI #113: Commit 92171a8 pushed by hyperpolymath
11m 31s main
main
11m 31s
refactor: migrate Markdown to AsciiDoc CI #112: Pull request #32 opened by hyperpolymath
14m 8s refactor/md-to-adoc
refactor/md-to-adoc
14m 8s