Skip to content

Actions: finsberg/category-theory-python

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
118 workflow runs
118 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
[pre-commit.ci] pre-commit autoupdate CI #205: Commit fae60e7 pushed by pre-commit-ci bot
July 8, 2024 21:10 40s pre-commit-ci-update-config
pre-commit-ci-update-config
July 8, 2024 21:10 40s
Merge pull request #60 from finsberg/pre-commit-ci-update-config github pages #82: Commit 70ea82d pushed by finsberg
July 2, 2024 07:51 35s main
main
July 2, 2024 07:51 35s
Merge pull request #60 from finsberg/pre-commit-ci-update-config CI #204: Commit 70ea82d pushed by finsberg
July 2, 2024 07:51 1m 10s main
main
July 2, 2024 07:51 1m 10s
[pre-commit.ci] pre-commit autoupdate CI #203: Commit c75ed3a pushed by pre-commit-ci bot
July 2, 2024 01:49 34s pre-commit-ci-update-config
pre-commit-ci-update-config
July 2, 2024 01:49 34s
pages build and deployment pages-build-deployment #20: by github-pages bot
June 26, 2024 19:25 22s
June 26, 2024 19:25 22s
Merge pull request #59 from finsberg/pre-commit-ci-update-config github pages #81: Commit d05719f pushed by finsberg
June 26, 2024 19:24 34s main
main
June 26, 2024 19:24 34s
Merge pull request #59 from finsberg/pre-commit-ci-update-config CI #202: Commit d05719f pushed by finsberg
June 26, 2024 19:24 36s main
main
June 26, 2024 19:24 36s
[pre-commit.ci] pre-commit autoupdate CI #201: Commit da565ce pushed by pre-commit-ci bot
June 24, 2024 21:31 42s pre-commit-ci-update-config
pre-commit-ci-update-config
June 24, 2024 21:31 42s
Merge pull request #58 from finsberg/pre-commit-ci-update-config CI #200: Commit d38e680 pushed by finsberg
June 19, 2024 09:59 35s main
main
June 19, 2024 09:59 35s
Merge pull request #58 from finsberg/pre-commit-ci-update-config github pages #80: Commit d38e680 pushed by finsberg
June 19, 2024 09:59 34s main
main
June 19, 2024 09:59 34s
[pre-commit.ci] pre-commit autoupdate CI #199: Commit 2ed1a4b pushed by pre-commit-ci bot
June 17, 2024 21:38 36s pre-commit-ci-update-config
pre-commit-ci-update-config
June 17, 2024 21:38 36s
pages build and deployment pages-build-deployment #19: by github-pages bot
June 13, 2024 16:17 31s
June 13, 2024 16:17 31s
Merge pull request #57 from finsberg/pre-commit-ci-update-config CI #198: Commit fbfee8a pushed by finsberg
June 13, 2024 16:16 45s main
main
June 13, 2024 16:16 45s
Merge pull request #57 from finsberg/pre-commit-ci-update-config github pages #79: Commit fbfee8a pushed by finsberg
June 13, 2024 16:16 41s main
main
June 13, 2024 16:16 41s
[pre-commit.ci] pre-commit autoupdate CI #197: Commit fbec6c9 pushed by pre-commit-ci bot
June 10, 2024 21:38 41s pre-commit-ci-update-config
pre-commit-ci-update-config
June 10, 2024 21:38 41s
[pre-commit.ci] pre-commit autoupdate CI #196: Commit f4aebad pushed by pre-commit-ci bot
June 3, 2024 21:30 43s pre-commit-ci-update-config
pre-commit-ci-update-config
June 3, 2024 21:30 43s
pages build and deployment pages-build-deployment #18: by github-pages bot
June 3, 2024 20:55 26s
June 3, 2024 20:55 26s
Merge pull request #56 from finsberg/pre-commit-ci-update-config CI #195: Commit b2ef032 pushed by finsberg
June 3, 2024 20:54 39s main
main
June 3, 2024 20:54 39s
Merge pull request #56 from finsberg/pre-commit-ci-update-config github pages #78: Commit b2ef032 pushed by finsberg
June 3, 2024 20:54 38s main
main
June 3, 2024 20:54 38s
[pre-commit.ci] pre-commit autoupdate CI #194: Commit 4c2cd33 pushed by pre-commit-ci bot
May 27, 2024 21:15 39s pre-commit-ci-update-config
pre-commit-ci-update-config
May 27, 2024 21:15 39s
[pre-commit.ci] pre-commit autoupdate CI #193: Commit 379ddba pushed by pre-commit-ci bot
May 20, 2024 20:54 42s pre-commit-ci-update-config
pre-commit-ci-update-config
May 20, 2024 20:54 42s
[pre-commit.ci] pre-commit autoupdate CI #192: Commit 09c7c5d pushed by pre-commit-ci bot
May 13, 2024 21:15 46s pre-commit-ci-update-config
pre-commit-ci-update-config
May 13, 2024 21:15 46s
[pre-commit.ci] pre-commit autoupdate CI #191: Commit 44361ef pushed by pre-commit-ci bot
May 6, 2024 21:19 44s pre-commit-ci-update-config
pre-commit-ci-update-config
May 6, 2024 21:19 44s
[pre-commit.ci] pre-commit autoupdate CI #190: Commit 3759208 pushed by pre-commit-ci bot
April 29, 2024 21:42 42s pre-commit-ci-update-config
pre-commit-ci-update-config
April 29, 2024 21:42 42s
pages build and deployment pages-build-deployment #17: by github-pages bot
April 27, 2024 20:08 30s
April 27, 2024 20:08 30s