Skip to content

Actions: Matthew-Mosior/idris2-oracle

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
44 workflow runs
44 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
Merge pull request #4 from Matthew-Mosior/update-docs Lint #45: Commit 12b55ae pushed by Matthew-Mosior
1m 22s main
main
1m 22s
[ doc ] update readme Lint #43: Pull request #4 synchronize by Matthew-Mosior
1m 11s update-docs
update-docs
1m 11s
Fixing README.md. Lint #42: Commit 790816e pushed by Matthew-Mosior
1m 19s update-docs
update-docs
1m 19s
[ doc ] update readme Lint #41: Pull request #4 synchronize by Matthew-Mosior
1m 11s update-docs
update-docs
1m 11s
Fixing README.md. Lint #40: Commit cb5b662 pushed by Matthew-Mosior
1m 9s update-docs
update-docs
1m 9s
[ doc ] update readme Lint #39: Pull request #4 synchronize by Matthew-Mosior
1m 21s update-docs
update-docs
1m 21s
Fixing README.md. Lint #38: Commit f448dd2 pushed by Matthew-Mosior
1m 13s update-docs
update-docs
1m 13s
[ doc ] update readme Lint #37: Pull request #4 opened by Matthew-Mosior
1m 16s update-docs
update-docs
1m 16s
Updating README.md. Lint #36: Commit 9d887bd pushed by Matthew-Mosior
1m 14s update-docs
update-docs
1m 14s
Merge pull request #3 from Matthew-Mosior/json-refactor Lint #35: Commit 28015c5 pushed by Matthew-Mosior
1m 12s main
main
1m 12s
[ new ] Updating query api Lint #34: Pull request #3 opened by Matthew-Mosior
1m 4s json-refactor
json-refactor
1m 4s
Adding queryAs and queryOneAs query functionality, and updating test … Lint #33: Commit b0a1ee6 pushed by Matthew-Mosior
1m 19s json-refactor
json-refactor
1m 19s
Merge pull request #2 from Matthew-Mosior/json Lint #32: Commit 00c244a pushed by Matthew-Mosior
1m 5s main
main
1m 5s
[ doc ] JSON Lint #31: Pull request #2 opened by Matthew-Mosior
1m 11s json
json
1m 11s
Updating test suite section in README.md. Lint #30: Commit 7b53db6 pushed by Matthew-Mosior
1m 15s json
json
1m 15s
Merge pull request #1 from Matthew-Mosior/json Lint #29: Commit c3a8d45 pushed by Matthew-Mosior
1m 18s main
main
1m 18s
[ new ] JSON Lint #28: Pull request #1 synchronize by Matthew-Mosior
1m 35s json
json
1m 35s
Updating README.md. Lint #27: Commit c36751c pushed by Matthew-Mosior
1m 12s json
json
1m 12s
[ new ] JSON Lint #26: Pull request #1 opened by Matthew-Mosior
1m 34s json
json
1m 34s
Move Oracle.Types.Context to Oracle.Internal.Context. Lint #25: Commit 66521a8 pushed by Matthew-Mosior
1m 22s json
json
1m 22s
Updating rest of tests to properly propagate errors using OracleError. Lint #24: Commit d2eab11 pushed by Matthew-Mosior
1m 17s json
json
1m 17s
Fixing JSON tests. Lint #23: Commit 9268e8f pushed by Matthew-Mosior
1m 15s json
json
1m 15s
Getting test suite to work again. Lint #22: Commit f593633 pushed by Matthew-Mosior
1m 13s json
json
1m 13s
Updating testing scaffold to support JSON. Lint #21: Commit d7c7a30 pushed by Matthew-Mosior
1m 22s json
json
1m 22s
New design for supporting JSON. Lint #20: Commit 8fee252 pushed by Matthew-Mosior
1m 23s json
json
1m 23s