Skip to content

Actions: oscar-system/Oscar.jl

Run tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
7,463 workflow runs
7,463 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update book examples
Run tests #16933: Pull request #4205 synchronize by lkastner
October 15, 2024 09:48 1h 37m 0s lk/update_book_examples
October 15, 2024 09:48 1h 37m 0s
Update book examples
Run tests #16932: Pull request #4205 opened by lkastner
October 15, 2024 09:41 7m 1s lk/update_book_examples
October 15, 2024 09:41 7m 1s
No type piracy: remove matrix*vector methods for Nemo types
Run tests #16930: Pull request #760 synchronize by fingolfin
October 15, 2024 09:02 1h 42m 46s fingolfin:mh/no-type-piracy
October 15, 2024 09:02 1h 42m 46s
allow == for two groups/group elements in fewer cases (#4196)
Run tests #16928: Commit 24c8f63 pushed by fingolfin
October 15, 2024 08:13 1h 40m 45s master
October 15, 2024 08:13 1h 40m 45s
More type stability for GSets (#4194)
Run tests #16927: Commit 05c6ffc pushed by fingolfin
October 15, 2024 08:11 1h 51m 37s master
October 15, 2024 08:11 1h 51m 37s
Two neighbor step in char 0
Run tests #16926: Pull request #4183 synchronize by simonbrandhorst
October 15, 2024 07:51 1h 41m 4s HechtiDerLachs:two_neighbor_step_in_char_0
October 15, 2024 07:51 1h 41m 4s
Run tests
Run tests #16925: Scheduled
October 15, 2024 03:15 1h 41m 25s master
October 15, 2024 03:15 1h 41m 25s
doc fix: remove extra 'we' in designdecisions (#4199)
Run tests #16924: Commit 534513f pushed by afkafkafk13
October 14, 2024 19:53 1h 46m 37s master
October 14, 2024 19:53 1h 46m 37s
Add letters function for PcGroupElem
Run tests #16923: Pull request #4202 opened by jamesnohilly
October 14, 2024 14:13 1h 41m 25s jamesnohilly:jn/letters
October 14, 2024 14:13 1h 41m 25s
more functionality for collector objects
Run tests #16922: Pull request #4157 synchronize by ThomasBreuer
October 14, 2024 13:50 1h 48m 47s ThomasBreuer:TB_words
October 14, 2024 13:50 1h 48m 47s
Injective and irreducible resolutions of Q-graded modules
Run tests #16921: Pull request #4100 synchronize by annahofer00
October 14, 2024 13:07 1h 41m 7s tom111:tk/injective_resolutions
October 14, 2024 13:07 1h 41m 7s
Run tests
Run tests #16920: Scheduled
October 14, 2024 03:16 1h 39m 49s master
October 14, 2024 03:16 1h 39m 49s
doc fix: remove extra 'we' in design_decisions.md
Run tests #16919: Pull request #4199 opened by Fe-r-oz
October 13, 2024 12:55 1h 6m 58s Fe-r-oz:doc
October 13, 2024 12:55 1h 6m 58s
Run tests
Run tests #16918: Scheduled
October 13, 2024 03:16 2h 30m 27s master
October 13, 2024 03:16 2h 30m 27s
[FTheoryTools] Add comment that explains how to update QSMDB in the f…
Run tests #16917: Commit da7acb0 pushed by HereAround
October 12, 2024 15:39 1h 38m 43s master
October 12, 2024 15:39 1h 38m 43s
Run tests
Run tests #16916: Scheduled
October 12, 2024 03:15 1h 31m 58s master
October 12, 2024 03:15 1h 31m 58s
allow == for two groups/group elements in fewer cases
Run tests #16915: Pull request #4196 synchronize by ThomasBreuer
October 11, 2024 15:26 1h 37m 14s ThomasBreuer:TB_equality
October 11, 2024 15:26 1h 37m 14s
Fixed some bugs that were missed before
Run tests #16914: Commit 6e58f05 pushed by HereAround
October 11, 2024 14:51 1h 38m 1s master
October 11, 2024 14:51 1h 38m 1s
allow == for two groups/group elements in fewer cases
Run tests #16913: Pull request #4196 opened by ThomasBreuer
October 11, 2024 14:11 1h 15m 55s ThomasBreuer:TB_equality
October 11, 2024 14:11 1h 15m 55s
More type stability for GSets
Run tests #16912: Pull request #4194 opened by lgoettgens
October 11, 2024 13:06 1h 30m 3s lgoettgens:lg/GSet-typevar
October 11, 2024 13:06 1h 30m 3s
serialization of more group attributes
Run tests #16911: Pull request #4193 opened by ThomasBreuer
October 11, 2024 11:57 1h 32m 28s ThomasBreuer:TB_serialize_attr
October 11, 2024 11:57 1h 32m 28s
Fix indent in a docstring (#4192)
Run tests #16910: Commit 5c9a47e pushed by joschmitt
October 11, 2024 09:04 1h 38m 20s master
October 11, 2024 09:04 1h 38m 20s
Mjrodgers ow g modules
Run tests #16909: Pull request #4108 synchronize by fieker
October 11, 2024 08:28 1h 42m 33s mjrodgers-OW_GModules
October 11, 2024 08:28 1h 42m 33s