Skip to content

Actions: oscar-system/GAP.jl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,459 workflow runs
3,459 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Move code out of regenerate_gaproot() Cleanup Doc Preview #30: Pull request #1150 closed by fingolfin
February 11, 2025 08:13 14s mh/gaproot-cleanup
mh/gaproot-cleanup
February 11, 2025 08:13 14s
Move code out of regenerate_gaproot() (#1150) OscarCI #1105: Commit f18b0de pushed by fingolfin
February 11, 2025 08:13 2h 44m 59s master
master
February 11, 2025 08:13 2h 44m 59s
Move code out of regenerate_gaproot() (#1150) CI with GAP #624: Commit f18b0de pushed by fingolfin
February 11, 2025 08:13 8m 12s master
master
February 11, 2025 08:13 8m 12s
pages build and deployment pages-build-deployment #542: by fingolfin
February 11, 2025 03:17 11m 24s gh-pages
gh-pages
February 11, 2025 03:17 11m 24s
CI CI #1820: Scheduled
February 11, 2025 03:15 25m 3s master
master
February 11, 2025 03:15 25m 3s
CI with GAP CI with GAP #623: Scheduled
February 11, 2025 03:14 22m 19s master
master
February 11, 2025 03:14 22m 19s
OscarCI OscarCI #1104: Scheduled
February 11, 2025 03:12 2h 27m 28s master
master
February 11, 2025 03:12 2h 27m 28s
Move code out of regenerate_gaproot() TagBot #7623: Issue comment #1150 (comment) created by ThomasBreuer
February 10, 2025 23:13 1s
February 10, 2025 23:13 1s
Unify file headers for JuliaInterface sources TagBot #7622: Issue comment #1160 (comment) created by codecov bot
February 10, 2025 21:50 2s
February 10, 2025 21:50 2s
Move code out of regenerate_gaproot() TagBot #7621: Issue comment #1150 (comment) created by lgoettgens
February 10, 2025 21:48 2s
February 10, 2025 21:48 2s
pages build and deployment pages-build-deployment #541: by fingolfin
February 10, 2025 21:45 38s gh-pages
gh-pages
February 10, 2025 21:45 38s
Unify file headers for JuliaInterface sources Test GAP package distro #188: Pull request #1160 synchronize by fingolfin
February 10, 2025 21:43 19m 22s mh/file-header
mh/file-header
February 10, 2025 21:43 19m 22s
Unify file headers for JuliaInterface sources OscarCI #1103: Pull request #1160 synchronize by fingolfin
February 10, 2025 21:43 3h 0m 9s mh/file-header
mh/file-header
February 10, 2025 21:43 3h 0m 9s
Unify file headers for JuliaInterface sources CI with GAP #622: Pull request #1160 synchronize by fingolfin
February 10, 2025 21:43 1h 4m 14s mh/file-header
mh/file-header
February 10, 2025 21:43 1h 4m 14s
Unify file headers for JuliaInterface sources CI #1819: Pull request #1160 synchronize by fingolfin
February 10, 2025 21:43 1h 38m 34s mh/file-header
mh/file-header
February 10, 2025 21:43 1h 38m 34s
Add pkg/JuliaInterface/gap/override.g TagBot #7620: Issue comment #1159 (comment) created by codecov bot
February 10, 2025 21:39 2s
February 10, 2025 21:39 2s
pages build and deployment pages-build-deployment #540: by fingolfin
February 10, 2025 21:36 46s gh-pages
gh-pages
February 10, 2025 21:36 46s
Unify file headers for JuliaInterface sources OscarCI #1102: Pull request #1160 opened by fingolfin
February 10, 2025 21:35 8m 19s mh/file-header
mh/file-header
February 10, 2025 21:35 8m 19s
Unify file headers for JuliaInterface sources CI with GAP #621: Pull request #1160 opened by fingolfin
February 10, 2025 21:35 8m 19s mh/file-header
mh/file-header
February 10, 2025 21:35 8m 19s
Unify file headers for JuliaInterface sources Test GAP package distro #187: Pull request #1160 opened by fingolfin
February 10, 2025 21:35 8m 20s mh/file-header
mh/file-header
February 10, 2025 21:35 8m 20s
Unify file headers for JuliaInterface sources CI #1818: Pull request #1160 opened by fingolfin
February 10, 2025 21:35 8m 21s mh/file-header
mh/file-header
February 10, 2025 21:35 8m 21s
Add pkg/JuliaInterface/gap/override.g CI #1817: Pull request #1159 opened by fingolfin
February 10, 2025 21:34 30m 29s mh/merge
mh/merge
February 10, 2025 21:34 30m 29s
Add pkg/JuliaInterface/gap/override.g CI with GAP #620: Pull request #1159 opened by fingolfin
February 10, 2025 21:34 50m 1s mh/merge
mh/merge
February 10, 2025 21:34 50m 1s
Add pkg/JuliaInterface/gap/override.g Test GAP package distro #186: Pull request #1159 opened by fingolfin
February 10, 2025 21:34 18m 38s mh/merge
mh/merge
February 10, 2025 21:34 18m 38s
Add pkg/JuliaInterface/gap/override.g OscarCI #1101: Pull request #1159 opened by fingolfin
February 10, 2025 21:34 3h 9m 39s mh/merge
mh/merge
February 10, 2025 21:34 3h 9m 39s