Skip to content

Actions: oscar-system/Oscar.jl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6,109 workflow run results
6,109 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Sort out some weird formatting issue Invalidations #3172: Pull request #3320 opened by joschmitt
February 5, 2024 20:28 8m 27s joschmitt:js/doc
joschmitt:js/doc
February 5, 2024 20:28 8m 27s
Sort out some weird formatting issue Documentation #11692: Pull request #3320 opened by joschmitt
February 5, 2024 20:28 11m 48s joschmitt:js/doc
joschmitt:js/doc
February 5, 2024 20:28 11m 48s
Fixes for the degree function TagBot #13926: Issue comment #3298 (comment) created by HechtiDerLachs
February 5, 2024 19:15 2s
February 5, 2024 19:15 2s
Fixes for the degree function Bibtool test #6103: Pull request #3298 synchronize by HechtiDerLachs
February 5, 2024 18:05 56s HechtiDerLachs:all_changes
HechtiDerLachs:all_changes
February 5, 2024 18:05 56s
Fixes for the degree function Documentation #11691: Pull request #3298 synchronize by HechtiDerLachs
February 5, 2024 18:05 11m 44s HechtiDerLachs:all_changes
HechtiDerLachs:all_changes
February 5, 2024 18:05 11m 44s
Fixes for the degree function Invalidations #3171: Pull request #3298 synchronize by HechtiDerLachs
February 5, 2024 18:05 8m 15s HechtiDerLachs:all_changes
HechtiDerLachs:all_changes
February 5, 2024 18:05 8m 15s
Fixes for the degree function Run tests #13042: Pull request #3298 synchronize by HechtiDerLachs
February 5, 2024 18:05 54m 45s HechtiDerLachs:all_changes
HechtiDerLachs:all_changes
February 5, 2024 18:05 54m 45s
Prepare for name printing changes in AA Documentation #11690: Pull request #3318 opened by lgoettgens
February 5, 2024 15:54 11m 23s lgoettgens:lg/show-name
lgoettgens:lg/show-name
February 5, 2024 15:54 11m 23s
Prepare for name printing changes in AA Run tests #13041: Pull request #3318 opened by lgoettgens
February 5, 2024 15:54 1h 4m 0s lgoettgens:lg/show-name
lgoettgens:lg/show-name
February 5, 2024 15:54 1h 4m 0s
Prepare for name printing changes in AA Bibtool test #6102: Pull request #3318 opened by lgoettgens
February 5, 2024 15:54 31s lgoettgens:lg/show-name
lgoettgens:lg/show-name
February 5, 2024 15:54 31s
Prepare for name printing changes in AA Invalidations #3170: Pull request #3318 opened by lgoettgens
February 5, 2024 15:54 8m 28s lgoettgens:lg/show-name
lgoettgens:lg/show-name
February 5, 2024 15:54 8m 28s
Add more ways to construct fp groups, document existing ones TagBot #13925: Issue comment #3316 (comment) created by fingolfin
February 5, 2024 15:26 2s
February 5, 2024 15:26 2s
Fixes for the degree function Run tests #13040: Pull request #3298 synchronize by HechtiDerLachs
February 5, 2024 15:20 1h 6m 18s HechtiDerLachs:all_changes
HechtiDerLachs:all_changes
February 5, 2024 15:20 1h 6m 18s
Fixes for the degree function Invalidations #3169: Pull request #3298 synchronize by HechtiDerLachs
February 5, 2024 15:20 8m 34s HechtiDerLachs:all_changes
HechtiDerLachs:all_changes
February 5, 2024 15:20 8m 34s
Fixes for the degree function Documentation #11689: Pull request #3298 synchronize by HechtiDerLachs
February 5, 2024 15:20 11m 47s HechtiDerLachs:all_changes
HechtiDerLachs:all_changes
February 5, 2024 15:20 11m 47s
Fixes for the degree function Bibtool test #6101: Pull request #3298 synchronize by HechtiDerLachs
February 5, 2024 15:20 33s HechtiDerLachs:all_changes
HechtiDerLachs:all_changes
February 5, 2024 15:20 33s
Use @varnames_interface free_group Run tests #13039: Pull request #3317 opened by fingolfin
February 5, 2024 15:07 58m 39s fingolfin:mh/free_group
fingolfin:mh/free_group
February 5, 2024 15:07 58m 39s
Use @varnames_interface free_group Bibtool test #6100: Pull request #3317 opened by fingolfin
February 5, 2024 15:07 34s fingolfin:mh/free_group
fingolfin:mh/free_group
February 5, 2024 15:07 34s
Use @varnames_interface free_group Documentation #11688: Pull request #3317 opened by fingolfin
February 5, 2024 15:07 11m 24s fingolfin:mh/free_group
fingolfin:mh/free_group
February 5, 2024 15:07 11m 24s
Use @varnames_interface free_group Invalidations #3168: Pull request #3317 opened by fingolfin
February 5, 2024 15:07 8m 18s fingolfin:mh/free_group
fingolfin:mh/free_group
February 5, 2024 15:07 8m 18s
Fixes for the degree function Bibtool test #6099: Pull request #3298 synchronize by HechtiDerLachs
February 5, 2024 14:18 32s HechtiDerLachs:all_changes
HechtiDerLachs:all_changes
February 5, 2024 14:18 32s
Fixes for the degree function Invalidations #3167: Pull request #3298 synchronize by HechtiDerLachs
February 5, 2024 14:18 8m 29s HechtiDerLachs:all_changes
HechtiDerLachs:all_changes
February 5, 2024 14:18 8m 29s
Fixes for the degree function Documentation #11687: Pull request #3298 synchronize by HechtiDerLachs
February 5, 2024 14:18 12m 6s HechtiDerLachs:all_changes
HechtiDerLachs:all_changes
February 5, 2024 14:18 12m 6s
Fixes for the degree function Run tests #13038: Pull request #3298 synchronize by HechtiDerLachs
February 5, 2024 14:18 55m 37s HechtiDerLachs:all_changes
HechtiDerLachs:all_changes
February 5, 2024 14:18 55m 37s
Add missing hash methods for maps TagBot #13924: Issue comment #3315 (comment) created by HechtiDerLachs
February 5, 2024 14:04 2s
February 5, 2024 14:04 2s