Skip to content

Actions: oscar-system/GAP.jl

OscarCI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
635 workflow runs
635 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

improve package handling
OscarCI #353: Pull request #958 synchronize by ThomasBreuer
January 16, 2024 13:24 2h 3m 12s ThomasBreuer:TB_install_via_URL
January 16, 2024 13:24 2h 3m 12s
improve package handling
OscarCI #352: Pull request #958 opened by ThomasBreuer
January 11, 2024 15:42 2h 2m 21s ThomasBreuer:TB_install_via_URL
January 11, 2024 15:42 2h 2m 21s
Use julia 1.10 as default in CI
OscarCI #351: Pull request #957 opened by lgoettgens
December 30, 2023 23:43 1h 48m 39s lgoettgens:lg/julia_1.10
December 30, 2023 23:43 1h 48m 39s
Version 0.10.1
OscarCI #350: Commit fa799e9 pushed by fingolfin
December 29, 2023 00:02 1h 49m 1s master
December 29, 2023 00:02 1h 49m 1s
use Pidfile.mkpidlock in GAP.Packages.install (#956)
OscarCI #349: Commit 9e09d72 pushed by fingolfin
December 28, 2023 23:56 2h 3m 21s master
December 28, 2023 23:56 2h 3m 21s
use Pidfile.mkpidlock in GAP.Packages.install
OscarCI #348: Pull request #956 synchronize by ThomasBreuer
December 20, 2023 11:10 1h 41m 1s ThomasBreuer:TB_packages_pidfile
December 20, 2023 11:10 1h 41m 1s
use Pidfile.mkpidlock in GAP.Packages.install
OscarCI #347: Pull request #956 opened by ThomasBreuer
December 20, 2023 09:54 1h 16m 25s ThomasBreuer:TB_packages_pidfile
December 20, 2023 09:54 1h 16m 25s
Fix more JET issues (#951)
OscarCI #346: Commit 29d6b87 pushed by fingolfin
November 17, 2023 08:37 1h 35m 55s master
November 17, 2023 08:37 1h 35m 55s
Fix more JET issues
OscarCI #345: Pull request #951 synchronize by fingolfin
November 17, 2023 08:29 1h 33m 54s fingolfin:mh/more-JET
November 17, 2023 08:29 1h 33m 54s
Bump Aqua to 0.8 and use more defaults (#955)
OscarCI #344: Commit 48d13e4 pushed by fingolfin
November 17, 2023 08:29 1h 41m 16s master
November 17, 2023 08:29 1h 41m 16s
Bump Aqua to 0.8 and use more defaults
OscarCI #343: Pull request #955 synchronize by lgoettgens
November 16, 2023 17:13 1h 42m 5s lgoettgens:lg/aqua
November 16, 2023 17:13 1h 42m 5s
Bump Aqua to 0.8 and use more defaults
OscarCI #342: Pull request #955 opened by lgoettgens
November 16, 2023 14:47 1h 39m 59s lgoettgens:lg/aqua
November 16, 2023 14:47 1h 39m 59s
force version 1.0 of Documenter.jl (#953)
OscarCI #341: Commit bdf9923 pushed by fingolfin
November 7, 2023 14:42 1h 42m 25s master
November 7, 2023 14:42 1h 42m 25s
force version 1.0 of Documenter.jl
OscarCI #340: Pull request #953 synchronize by fingolfin
November 7, 2023 10:28 1h 36m 48s ThomasBreuer:TB_request_Documenter_v1
November 7, 2023 10:28 1h 36m 48s
force version 1.0 of Documenter.jl
OscarCI #339: Pull request #953 reopened by fingolfin
November 3, 2023 13:40 1h 48m 15s ThomasBreuer:TB_request_Documenter_v1
November 3, 2023 13:40 1h 48m 15s
Add tests, increase code coverage (#952)
OscarCI #338: Commit 34bc916 pushed by fingolfin
November 3, 2023 13:29 3h 32m 59s master
November 3, 2023 13:29 3h 32m 59s
force version 1.0 of Documenter.jl
OscarCI #337: Pull request #953 opened by ThomasBreuer
November 2, 2023 15:13 3h 41m 40s ThomasBreuer:TB_request_Documenter_v1
November 2, 2023 15:13 3h 41m 40s
Add tests, increase code coverage
OscarCI #336: Pull request #952 opened by fingolfin
November 2, 2023 13:00 2h 54m 16s fingolfin:mh/coverage
November 2, 2023 13:00 2h 54m 16s
Fix more JET issues
OscarCI #335: Pull request #951 synchronize by fingolfin
November 2, 2023 12:54 3h 39m 6s fingolfin:mh/more-JET
November 2, 2023 12:54 3h 39m 6s
Fix more JET issues
OscarCI #334: Pull request #951 synchronize by fingolfin
November 2, 2023 10:34 2h 20m 33s fingolfin:mh/more-JET
November 2, 2023 10:34 2h 20m 33s
Fix more JET issues
OscarCI #333: Pull request #951 opened by fingolfin
November 1, 2023 23:10 2h 23m 1s fingolfin:mh/more-JET
November 1, 2023 23:10 2h 23m 1s
Resolve a bunch of issues reported by JET (#950)
OscarCI #332: Commit aee7200 pushed by fingolfin
October 31, 2023 00:28 4h 19m 17s master
October 31, 2023 00:28 4h 19m 17s
Resolve a bunch of issues reported by JET
OscarCI #331: Pull request #950 synchronize by fingolfin
October 30, 2023 23:12 4h 25m 10s fingolfin:mh/JET
October 30, 2023 23:12 4h 25m 10s
adjust docs/make.jl to changes in Documenter.jl (#945)
OscarCI #330: Commit fd56d6b pushed by fingolfin
October 27, 2023 13:41 4h 14m 28s master
October 27, 2023 13:41 4h 14m 28s
Add compats for stdlib deps (#949)
OscarCI #329: Commit 7573d07 pushed by fingolfin
October 27, 2023 13:40 4h 6m 53s master
October 27, 2023 13:40 4h 6m 53s
ProTip! You can narrow down the results and go further in time using created:<2023-10-27 or the other filters available.