Skip to content

Actions: mhostetter/galois

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
539 workflow runs
539 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix doc version sorting
Build #305: Commit f97607c pushed by mhostetter
November 20, 2023 01:58 1m 14s release/0.3.x
November 20, 2023 01:58 1m 14s
Fix doc version sorting
Lint #302: Commit f97607c pushed by mhostetter
November 20, 2023 01:58 33s release/0.3.x
November 20, 2023 01:58 33s
pages build and deployment
pages-build-deployment #134: by github-pages bot
November 4, 2023 18:07 2m 59s gh-pages
November 4, 2023 18:07 2m 59s
Rename master to main
Build #304: Commit 8942df9 pushed by mhostetter
November 4, 2023 18:03 1m 22s release/0.3.x
November 4, 2023 18:03 1m 22s
Rename master to main
Lint #301: Commit 8942df9 pushed by mhostetter
November 4, 2023 18:03 43s release/0.3.x
November 4, 2023 18:03 43s
Rename master to main
Docs #370: Commit 8942df9 pushed by mhostetter
November 4, 2023 18:03 3m 53s release/0.3.x
November 4, 2023 18:03 3m 53s
Rename master to main
Test #303: Commit 8942df9 pushed by mhostetter
November 4, 2023 18:03 11m 55s release/0.3.x
November 4, 2023 18:03 11m 55s
Rename master to main
Lint #300: Pull request #524 opened by mhostetter
November 4, 2023 17:32 38s mhostetter/issue523
November 4, 2023 17:32 38s
Rename master to main
Build #303: Pull request #524 opened by mhostetter
November 4, 2023 17:32 1m 13s mhostetter/issue523
November 4, 2023 17:32 1m 13s
Rename master to main
Test #302: Pull request #524 opened by mhostetter
November 4, 2023 17:32 21m 42s mhostetter/issue523
November 4, 2023 17:32 21m 42s
Rename master to main
Docs #369: Pull request #524 opened by mhostetter
November 4, 2023 17:32 3m 28s mhostetter/issue523
November 4, 2023 17:32 3m 28s
pages build and deployment
pages-build-deployment #133: by github-pages bot
November 4, 2023 17:16 2m 42s gh-pages
November 4, 2023 17:16 2m 42s
Document Ruff linting, formatting, and pre-commit
Build #302: Commit 68183fa pushed by mhostetter
November 4, 2023 17:12 1m 16s release/0.3.x
November 4, 2023 17:12 1m 16s
Document Ruff linting, formatting, and pre-commit
Lint #299: Commit 68183fa pushed by mhostetter
November 4, 2023 17:12 50s release/0.3.x
November 4, 2023 17:12 50s
Document Ruff linting, formatting, and pre-commit
Docs #368: Commit 68183fa pushed by mhostetter
November 4, 2023 17:12 4m 10s release/0.3.x
November 4, 2023 17:12 4m 10s
Document Ruff linting, formatting, and pre-commit
Test #301: Commit 68183fa pushed by mhostetter
November 4, 2023 17:12 14m 31s release/0.3.x
November 4, 2023 17:12 14m 31s
Document Ruff linting, formatting, and pre-commit
Lint #298: Pull request #522 opened by mhostetter
November 4, 2023 16:52 2m 8s mhostetter/issue518
November 4, 2023 16:52 2m 8s
Document Ruff linting, formatting, and pre-commit
Docs #367: Pull request #522 opened by mhostetter
November 4, 2023 16:52 4m 35s mhostetter/issue518
November 4, 2023 16:52 4m 35s
Document Ruff linting, formatting, and pre-commit
Build #301: Pull request #522 opened by mhostetter
November 4, 2023 16:52 57s mhostetter/issue518
November 4, 2023 16:52 57s
Document Ruff linting, formatting, and pre-commit
Test #300: Pull request #522 opened by mhostetter
November 4, 2023 16:52 19m 11s mhostetter/issue518
November 4, 2023 16:52 19m 11s
Improve type annotations
Build #300: Pull request #511 synchronize by mhostetter
November 4, 2023 16:46 58s improve-typing
November 4, 2023 16:46 58s
Improve type annotations
Test #299: Pull request #511 synchronize by mhostetter
November 4, 2023 16:46 9m 26s improve-typing
November 4, 2023 16:46 9m 26s
Improve type annotations
Lint #297: Pull request #511 synchronize by mhostetter
November 4, 2023 16:46 39s improve-typing
November 4, 2023 16:46 39s
Improve type annotations
Docs #366: Pull request #511 synchronize by mhostetter
November 4, 2023 16:46 1m 34s improve-typing
November 4, 2023 16:46 1m 34s
pages build and deployment
pages-build-deployment #132: by github-pages bot
November 4, 2023 16:18 3m 4s gh-pages
November 4, 2023 16:18 3m 4s
ProTip! You can narrow down the results and go further in time using created:<2023-11-04 or the other filters available.