Skip to content

Actions: oscar-system/GAP.jl

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
671 workflow runs
671 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix more JET issues (#951)
CI #1032: Commit 29d6b87 pushed by fingolfin
November 17, 2023 08:37 21m 6s master
November 17, 2023 08:37 21m 6s
Fix more JET issues
CI #1031: Pull request #951 synchronize by fingolfin
November 17, 2023 08:29 8m 4s fingolfin:mh/more-JET
November 17, 2023 08:29 8m 4s
Bump Aqua to 0.8 and use more defaults (#955)
CI #1030: Commit 48d13e4 pushed by fingolfin
November 17, 2023 08:29 11m 52s master
November 17, 2023 08:29 11m 52s
Bump Aqua to 0.8 and use more defaults
CI #1029: Pull request #955 synchronize by lgoettgens
November 16, 2023 17:13 25m 57s lgoettgens:lg/aqua
November 16, 2023 17:13 25m 57s
Bump Aqua to 0.8 and use more defaults
CI #1028: Pull request #955 opened by lgoettgens
November 16, 2023 14:47 13m 54s lgoettgens:lg/aqua
November 16, 2023 14:47 13m 54s
force version 1.0 of Documenter.jl (#953)
CI #1027: Commit bdf9923 pushed by fingolfin
November 7, 2023 14:42 12m 12s master
November 7, 2023 14:42 12m 12s
Add tests, increase code coverage (#952)
CI #1024: Commit 34bc916 pushed by fingolfin
November 3, 2023 13:29 40m 20s master
November 3, 2023 13:29 40m 20s
Add tests, increase code coverage
CI #1022: Pull request #952 opened by fingolfin
November 2, 2023 13:00 50m 2s fingolfin:mh/coverage
November 2, 2023 13:00 50m 2s
Fix more JET issues
CI #1021: Pull request #951 synchronize by fingolfin
November 2, 2023 12:54 53m 9s fingolfin:mh/more-JET
November 2, 2023 12:54 53m 9s
Fix more JET issues
CI #1020: Pull request #951 synchronize by fingolfin
November 2, 2023 10:34 10m 47s fingolfin:mh/more-JET
November 2, 2023 10:34 10m 47s
Fix more JET issues
CI #1019: Pull request #951 opened by fingolfin
November 1, 2023 23:10 10m 17s fingolfin:mh/more-JET
November 1, 2023 23:10 10m 17s
Resolve a bunch of issues reported by JET (#950)
CI #1018: Commit aee7200 pushed by fingolfin
October 31, 2023 00:28 20m 24s master
October 31, 2023 00:28 20m 24s
Resolve a bunch of issues reported by JET
CI #1017: Pull request #950 synchronize by fingolfin
October 30, 2023 23:12 20m 25s fingolfin:mh/JET
October 30, 2023 23:12 20m 25s
adjust docs/make.jl to changes in Documenter.jl (#945)
CI #1016: Commit fd56d6b pushed by fingolfin
October 27, 2023 13:41 2h 3m 30s master
October 27, 2023 13:41 2h 3m 30s
Add compats for stdlib deps (#949)
CI #1015: Commit 7573d07 pushed by fingolfin
October 27, 2023 13:40 1h 57m 4s master
October 27, 2023 13:40 1h 57m 4s
Resolve a bunch of issues reported by JET
CI #1014: Pull request #950 opened by fingolfin
October 27, 2023 08:14 10m 34s fingolfin:mh/JET
October 27, 2023 08:14 10m 34s
Add compats for stdlib deps
CI #1013: Pull request #949 opened by lgoettgens
October 17, 2023 12:16 40m 8s lgoettgens:lg/compat
October 17, 2023 12:16 40m 8s
ProTip! You can narrow down the results and go further in time using created:<2023-10-17 or the other filters available.