Skip to content

Actions: whitemech/LTLf2DFA

Actions

docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
31 workflow runs
31 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump black from 23.3.0 to 24.3.0 docs #75: Pull request #73 opened by dependabot bot
March 20, 2024 17:51 30s dependabot/pip/black-24.3.0
dependabot/pip/black-24.3.0
March 20, 2024 17:51 30s
Bump cryptography from 41.0.6 to 42.0.4 docs #74: Pull request #72 opened by dependabot bot
February 21, 2024 20:15 25s dependabot/pip/cryptography-42.0.4
dependabot/pip/cryptography-42.0.4
February 21, 2024 20:15 25s
Bump cryptography from 41.0.6 to 42.0.2 docs #73: Pull request #71 opened by dependabot bot
February 17, 2024 00:43 24s dependabot/pip/cryptography-42.0.2
dependabot/pip/cryptography-42.0.2
February 17, 2024 00:43 24s
Bump cryptography from 41.0.6 to 42.0.0 docs #72: Pull request #70 opened by dependabot bot
February 6, 2024 03:10 25s dependabot/pip/cryptography-42.0.0
dependabot/pip/cryptography-42.0.0
February 6, 2024 03:10 25s
Bump jinja2 from 3.1.2 to 3.1.3 docs #71: Pull request #68 opened by dependabot bot
January 11, 2024 21:03 28s dependabot/pip/jinja2-3.1.3
dependabot/pip/jinja2-3.1.3
January 11, 2024 21:03 28s
Bump gitpython from 3.1.37 to 3.1.41 docs #70: Pull request #67 opened by dependabot bot
January 10, 2024 17:04 31s dependabot/pip/gitpython-3.1.41
dependabot/pip/gitpython-3.1.41
January 10, 2024 17:04 31s
Add Python 3.12 to the testing docs #69: Pull request #66 synchronize by cclauss
January 5, 2024 21:13 18s cclauss:patch-1
cclauss:patch-1
January 5, 2024 21:13 18s
Merge pull request #65 from whitemech/dependabot/pip/certifi-2023.7.22 docs #67: Commit 4bcb482 pushed by francescofuggitti
December 14, 2023 14:51 25s main
main
December 14, 2023 14:51 25s
Bump certifi from 2023.5.7 to 2023.7.22 docs #66: Pull request #65 synchronize by dependabot bot
December 14, 2023 14:50 26s dependabot/pip/certifi-2023.7.22
dependabot/pip/certifi-2023.7.22
December 14, 2023 14:50 26s
Merge pull request #64 from whitemech/dependabot/pip/cryptography-41.0.6 docs #65: Commit 4f13b46 pushed by francescofuggitti
December 14, 2023 14:47 27s main
main
December 14, 2023 14:47 27s
Bump cryptography from 41.0.1 to 41.0.6 docs #64: Pull request #64 synchronize by dependabot bot
December 14, 2023 14:43 27s dependabot/pip/cryptography-41.0.6
dependabot/pip/cryptography-41.0.6
December 14, 2023 14:43 27s
Merge pull request #63 from whitemech/dependabot/pip/jupyter-server-2… docs #63: Commit 81a89fb pushed by francescofuggitti
December 14, 2023 14:40 28s main
main
December 14, 2023 14:40 28s
Bump jupyter-server from 2.7.2 to 2.11.2 docs #62: Pull request #63 synchronize by dependabot bot
December 14, 2023 14:38 26s dependabot/pip/jupyter-server-2.11.2
dependabot/pip/jupyter-server-2.11.2
December 14, 2023 14:38 26s
Merge pull request #62 from whitemech/dependabot/pip/tornado-6.3.3 docs #61: Commit 2c83c47 pushed by francescofuggitti
December 14, 2023 14:34 26s main
main
December 14, 2023 14:34 26s
Bump tornado from 6.3.2 to 6.3.3 docs #60: Pull request #62 synchronize by dependabot bot
December 14, 2023 13:29 24s dependabot/pip/tornado-6.3.3
dependabot/pip/tornado-6.3.3
December 14, 2023 13:29 24s
Merge pull request #60 from whitemech/dependabot/pip/urllib3-2.0.7 docs #59: Commit 307fdd5 pushed by francescofuggitti
December 14, 2023 13:27 36s main
main
December 14, 2023 13:27 36s
Bump urllib3 from 2.0.3 to 2.0.7 docs #58: Pull request #60 synchronize by dependabot bot
December 14, 2023 13:25 24s dependabot/pip/urllib3-2.0.7
dependabot/pip/urllib3-2.0.7
December 14, 2023 13:25 24s
Merge pull request #59 from whitemech/dependabot/pip/gitpython-3.1.37 docs #57: Commit 8ddbe3a pushed by francescofuggitti
December 14, 2023 13:22 28s main
main
December 14, 2023 13:22 28s
Bump gitpython from 3.1.31 to 3.1.37 docs #56: Pull request #59 synchronize by dependabot bot
December 14, 2023 13:21 28s dependabot/pip/gitpython-3.1.37
dependabot/pip/gitpython-3.1.37
December 14, 2023 13:21 28s
Bump certifi from 2023.5.7 to 2023.7.22 docs #55: Pull request #65 opened by dependabot bot
December 14, 2023 13:17 26s dependabot/pip/certifi-2023.7.22
dependabot/pip/certifi-2023.7.22
December 14, 2023 13:17 26s
Bump cryptography from 41.0.1 to 41.0.6 docs #54: Pull request #64 opened by dependabot bot
December 14, 2023 13:17 26s dependabot/pip/cryptography-41.0.6
dependabot/pip/cryptography-41.0.6
December 14, 2023 13:17 26s
Bump jupyter-server from 2.7.2 to 2.11.2 docs #53: Pull request #63 opened by dependabot bot
December 14, 2023 13:15 28s dependabot/pip/jupyter-server-2.11.2
dependabot/pip/jupyter-server-2.11.2
December 14, 2023 13:15 28s
Bump tornado from 6.3.2 to 6.3.3 docs #52: Pull request #62 opened by dependabot bot
December 14, 2023 13:15 27s dependabot/pip/tornado-6.3.3
dependabot/pip/tornado-6.3.3
December 14, 2023 13:15 27s
Merge pull request #54 from whitemech/dependabot/pip/jupyter-server-2… docs #51: Commit 9ff9aee pushed by francescofuggitti
December 14, 2023 13:14 28s main
main
December 14, 2023 13:14 28s
Bump urllib3 from 2.0.3 to 2.0.7 docs #50: Pull request #60 opened by dependabot bot
October 17, 2023 20:37 31s dependabot/pip/urllib3-2.0.7
dependabot/pip/urllib3-2.0.7
October 17, 2023 20:37 31s