Skip to content

Actions: oscar-system/Oscar.jl

Bibtool test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,301 workflow run results
1,301 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add .swp files to .gitignore (#3326)
Bibtool test #6118: Commit fbed3ab pushed by fingolfin
February 6, 2024 16:30 44s master
February 6, 2024 16:30 44s
Add .swp files to .gitignore
Bibtool test #6117: Pull request #3326 opened by lgoettgens
February 6, 2024 16:04 1m 40s lgoettgens:lg/swp
February 6, 2024 16:04 1m 40s
Add an accent (#3323)
Bibtool test #6113: Commit 097a09b pushed by fingolfin
February 6, 2024 15:08 37s master
February 6, 2024 15:08 37s
Adv/upgrade regression fix
Bibtool test #6112: Pull request #3325 opened by antonydellavecchia
February 6, 2024 15:08 29s adv/upgrade-regression-fix
February 6, 2024 15:08 29s
Added function to compute defining ideal of flag variety
Bibtool test #6111: Pull request #3324 synchronize by danteluber
February 6, 2024 15:02 34s danteluber:master
February 6, 2024 15:02 34s
Prepare for name printing changes in AA (#3318)
Bibtool test #6110: Commit 1422351 pushed by fingolfin
February 6, 2024 14:52 32s master
February 6, 2024 14:52 32s
Added function to compute defining ideal of flag variety
Bibtool test #6109: Pull request #3324 opened by danteluber
February 6, 2024 14:27 36s danteluber:master
February 6, 2024 14:27 36s
Fix a doc string typo
Bibtool test #6108: Pull request #3323 opened by joschmitt
February 6, 2024 14:13 1m 8s joschmitt:js/doc
February 6, 2024 14:13 1m 8s
Adv/serialize gb
Bibtool test #6107: Pull request #3321 synchronize by antonydellavecchia
February 6, 2024 13:39 38s adv/serialize-gb
February 6, 2024 13:39 38s
Adv/serialize gb
Bibtool test #6106: Pull request #3321 opened by antonydellavecchia
February 6, 2024 12:33 46s adv/serialize-gb
February 6, 2024 12:33 46s
Sort out some weird formatting issue (#3320)
Bibtool test #6105: Commit a91222c pushed by simonbrandhorst
February 5, 2024 21:24 46s master
February 5, 2024 21:24 46s
Sort out some weird formatting issue
Bibtool test #6104: Pull request #3320 opened by joschmitt
February 5, 2024 20:28 29s joschmitt:js/doc
February 5, 2024 20:28 29s
Fixes for the degree function
Bibtool test #6103: Pull request #3298 synchronize by HechtiDerLachs
February 5, 2024 18:05 56s HechtiDerLachs:all_changes
February 5, 2024 18:05 56s
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
February 5, 2024 15:54 31s
Fixes for the degree function
Bibtool test #6101: Pull request #3298 synchronize by HechtiDerLachs
February 5, 2024 15:20 33s HechtiDerLachs:all_changes
February 5, 2024 15:20 33s
Use @varnames_interface free_group
Bibtool test #6100: Pull request #3317 opened by fingolfin
February 5, 2024 15:07 34s fingolfin:mh/free_group
February 5, 2024 15:07 34s
Fixes for the degree function
Bibtool test #6099: Pull request #3298 synchronize by HechtiDerLachs
February 5, 2024 14:18 32s HechtiDerLachs:all_changes
February 5, 2024 14:18 32s
Add missing hash methods for maps
Bibtool test #6098: Pull request #3315 opened by fingolfin
February 5, 2024 13:59 44s fingolfin:mh/missing-hash
February 5, 2024 13:59 44s
Fixes for the degree function
Bibtool test #6097: Pull request #3298 synchronize by HechtiDerLachs
February 5, 2024 13:33 39s HechtiDerLachs:all_changes
February 5, 2024 13:33 39s
Fixes for the degree function
Bibtool test #6096: Pull request #3298 synchronize by HechtiDerLachs
February 5, 2024 13:19 33s HechtiDerLachs:all_changes
February 5, 2024 13:19 33s
February 5, 2024 12:22 48s