Skip to content

Actions: j-loreaux/LeanOA

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
565 workflow runs
565 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
feat: the cfc_pull tactic Build project #589: Pull request #91 synchronize by j-loreaux
In progress cfc-pull
cfc-pull
In progress
feat: the cfc_pull tactic Build project #588: Pull request #91 synchronize by j-loreaux
4m 50s cfc-pull
cfc-pull
4m 50s
feat: the cfc_pull tactic Build project #587: Pull request #91 synchronize by j-loreaux
5m 47s cfc-pull
cfc-pull
5m 47s
feat: the cfc_pull tactic Build project #586: Pull request #91 synchronize by j-loreaux
6m 39s cfc-pull
cfc-pull
6m 39s
feat: the cfc_pull tactic Build project #585: Pull request #91 synchronize by j-loreaux
5m 28s cfc-pull
cfc-pull
5m 28s
chore: mathlib bump (#86) Build project #584: Commit 8febf46 pushed by themathqueen
57m 37s master
master
57m 37s
chore: mathlib bump Build project #583: Pull request #86 synchronize by themathqueen
11m 58s CLM_monotone_iff
CLM_monotone_iff
11m 58s
chore: mathlib bump Build project #582: Pull request #86 synchronize by themathqueen
17m 47s CLM_monotone_iff
CLM_monotone_iff
17m 47s
chore: mathlib bump Build project #581: Pull request #86 synchronize by themathqueen
10m 8s CLM_monotone_iff
CLM_monotone_iff
10m 8s
chore: mathlib bump Build project #580: Pull request #86 synchronize by themathqueen
10m 15s CLM_monotone_iff
CLM_monotone_iff
10m 15s
feat: the cfc_pull tactic Build project #579: Pull request #91 synchronize by j-loreaux
15m 8s cfc-pull
cfc-pull
15m 8s
feat: the cfc_pull tactic Build project #578: Pull request #91 synchronize by j-loreaux
13m 31s cfc-pull
cfc-pull
13m 31s
feat: the cfc_pull tactic Build project #577: Pull request #91 synchronize by j-loreaux
14m 53s cfc-pull
cfc-pull
14m 53s
feat: the cfc_pull tactic Build project #576: Pull request #91 opened by j-loreaux
13m 50s cfc-pull
cfc-pull
13m 50s
refactor: switch to Verso blueprint (#89) Build project #575: Commit bc58b00 pushed by j-loreaux
57m 16s master
master
57m 16s
refactor: switch to verso blueprint Build project #574: Pull request #89 synchronize by j-loreaux
14m 6s verso-blueprint
verso-blueprint
14m 6s
chore: fix Jekyll build problems (#90) Build project #573: Commit 0583146 pushed by j-loreaux
47m 46s master
master
47m 46s
Fix Jekyll build problems Build project #572: Pull request #90 opened by j-loreaux
7m 2s fix-ruby
fix-ruby
7m 2s
refactor: switch to verso blueprint Build project #571: Pull request #89 opened by j-loreaux
14m 37s verso-blueprint
verso-blueprint
14m 37s
feat: a corner of a W⋆-algebra is ultraweakly closed (#79) Build project #570: Commit 49122ce pushed by j-loreaux
46m 15s master
master
46m 15s
feat: a corner of a W⋆-algebra is ultraweakly closed Build project #569: Pull request #79 synchronize by j-loreaux
19m 12s corner
corner
19m 12s
feat: a corner of a W⋆-algebra is ultraweakly closed Build project #568: Pull request #79 synchronize by j-loreaux
12m 0s corner
corner
12m 0s
feat: complexification of inner product spaces Build project #567: Pull request #88 synchronize by themathqueen
7m 34s complexification
complexification
7m 34s
feat: complexification of inner product spaces Build project #566: Pull request #88 synchronize by themathqueen
6m 52s complexification
complexification
6m 52s
feat: complexification of inner product spaces Build project #565: Pull request #88 synchronize by themathqueen
6m 38s complexification
complexification
6m 38s