Skip to content

Actions: lucaferranti/DedekindCutArithmetic.jl

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
74 workflow runs
74 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add changelog, some cleanup
Test #6: Commit f6921e7 pushed by lucaferranti
October 23, 2024 12:49 3m 58s main
October 23, 2024 12:49 3m 58s
add changelog, some cleanup
Lint #7: Commit f6921e7 pushed by lucaferranti
October 23, 2024 12:49 48s main
October 23, 2024 12:49 48s
add changelog, some cleanup
Docs #4: Commit f6921e7 pushed by lucaferranti
October 23, 2024 12:49 1m 4s main
October 23, 2024 12:49 1m 4s
try fixing linting issue
Test #5: Commit 4539d80 pushed by lucaferranti
October 23, 2024 08:17 3m 48s main
October 23, 2024 08:17 3m 48s
try fixing linting issue
Lint #6: Commit 4539d80 pushed by lucaferranti
October 23, 2024 08:17 47s main
October 23, 2024 08:17 47s
CompatHelper
CompatHelper #2: Scheduled
October 23, 2024 00:39 2m 35s main
October 23, 2024 00:39 2m 35s
pre-commit Update
pre-commit Update #1: Scheduled
October 22, 2024 07:21 17s main
October 22, 2024 07:21 17s
CompatHelper
CompatHelper #1: Scheduled
October 22, 2024 00:40 3m 11s main
October 22, 2024 00:40 3m 11s
pages build and deployment
pages-build-deployment #3: by lucaferranti
October 21, 2024 23:13 40s
October 21, 2024 23:13 40s
small docs updates before first registration
Lint #5: Commit 70ee8be pushed by lucaferranti
October 21, 2024 23:12 46s main
October 21, 2024 23:12 46s
small docs updates before first registration
Test #4: Commit 70ee8be pushed by lucaferranti
October 21, 2024 23:12 4m 39s main
October 21, 2024 23:12 4m 39s
small docs updates before first registration
Docs #3: Commit 70ee8be pushed by lucaferranti
October 21, 2024 23:12 54s main
October 21, 2024 23:12 54s
pages build and deployment
pages-build-deployment #2: by lucaferranti
October 21, 2024 22:47 44s
October 21, 2024 22:47 44s
refactor code and add tests
Test #3: Commit 703684d pushed by lucaferranti
October 21, 2024 22:47 3m 54s main
October 21, 2024 22:47 3m 54s
refactor code and add tests
Lint #4: Commit 703684d pushed by lucaferranti
October 21, 2024 22:47 45s main
October 21, 2024 22:47 45s
refactor code and add tests
Docs #2: Commit 703684d pushed by lucaferranti
October 21, 2024 22:47 49s main
October 21, 2024 22:47 49s
October 21, 2024 19:59 3m 54s
October 21, 2024 19:59 48s
pages build and deployment
pages-build-deployment #1: by lucaferranti
October 21, 2024 19:50 38s
October 21, 2024 19:50 38s
github_actions in /. - Update #904445902
Dependabot Updates #1: by dependabot bot
October 21, 2024 19:49 48s
October 21, 2024 19:49 48s
initial commit
Test #1: Commit 0e01776 pushed by lucaferranti
October 21, 2024 19:49 4m 12s main
October 21, 2024 19:49 4m 12s
initial commit
Lint #1: Commit 0e01776 pushed by lucaferranti
October 21, 2024 19:49 1m 52s main
October 21, 2024 19:49 1m 52s
initial commit
Docs #1: Commit 0e01776 pushed by lucaferranti
October 21, 2024 19:49 1m 50s main
October 21, 2024 19:49 1m 50s