Skip to content

Actions: oscar-system/GAP.jl

Actions

OscarCI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
oscar.yml
779 workflow runs
779 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Version 0.10.1 OscarCI #350: Commit fa799e9 pushed by fingolfin
December 29, 2023 00:02 1h 49m 1s master
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
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
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
ThomasBreuer:TB_packages_pidfile
December 20, 2023 09:54 1h 16m 25s
ProTip! You can narrow down the results and go further in time using created:<2023-12-20 or the other filters available.