Skip to content

Actions: Brixfoly/analysis

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
69 workflow runs
69 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
added new stietljes measure for open, started fixing bugs Generate HTML doc using Rocqnavi #54: Commit 8058626 pushed by Brixfoly
33m 17s measurableTypeR
measurableTypeR
33m 17s
Publish master GitHub Pages Publish master GitHub Pages #4: Scheduled
49m 30s master
master
49m 30s
merge+lsm Generate HTML doc using Rocqnavi #53: Commit 42946f4 pushed by Brixfoly
31m 25s measurableTypeR
measurableTypeR
31m 25s
try creating ls measure from ocitv for open Generate HTML doc using Rocqnavi #52: Commit ec71548 pushed by Brixfoly
32m 0s measurableTypeR
measurableTypeR
32m 0s
Apply suggestion from @affeldt-aist Generate HTML doc using Rocqnavi #51: Commit 3228e8d pushed by affeldt-aist
47m 34s ocitv_open_meas
ocitv_open_meas
47m 34s
fix Generate HTML doc using Rocqnavi #50: Commit 7950518 pushed by Brixfoly
49m 9s sigma_algebra_lemmas
sigma_algebra_lemmas
49m 9s
no more admitted Generate HTML doc using Rocqnavi #49: Commit 55bd275 pushed by Brixfoly
32m 3s measurableTypeR
measurableTypeR
32m 3s
Apply suggestion from @affeldt-aist Generate HTML doc using Rocqnavi #48: Commit d53316c pushed by affeldt-aist
47m 32s ocitv_open_meas
ocitv_open_meas
47m 32s
set_system instead of set (set _) Generate HTML doc using Rocqnavi #47: Commit 039334f pushed by Brixfoly
49m 20s ocitv_open_meas
ocitv_open_meas
49m 20s
version without RGenOpenSets Generate HTML doc using Rocqnavi #46: Commit e9b90a9 pushed by Brixfoly
47m 21s ocitv_open_meas
ocitv_open_meas
47m 21s
Merge branch 'ocitv_open_meas' of https://github.com/Brixfoly/analysi… Generate HTML doc using Rocqnavi #45: Commit 2adf986 pushed by Brixfoly
48m 1s ocitv_open_meas
ocitv_open_meas
48m 1s
proved some lemmas+ removed double measurability Generate HTML doc using Rocqnavi #44: Commit 0058c24 pushed by Brixfoly
32m 29s measurableTypeR
measurableTypeR
32m 29s
added rgenopensets+changed deprecated lemmas Generate HTML doc using Rocqnavi #43: Commit 19fc44b pushed by Brixfoly
49m 8s ocitv_open_meas
ocitv_open_meas
49m 8s
added <<s open>> = <<s ocitv>> Generate HTML doc using Rocqnavi #42: Commit 006ab31 pushed by Brixfoly
48m 31s topology_lemmas
topology_lemmas
48m 31s
Publish master GitHub Pages Publish master GitHub Pages #3: Scheduled
48m 0s master
master
48m 0s
Merge branch 'master' into topology_lemmas Generate HTML doc using Rocqnavi #41: Commit dc44e76 pushed by Brixfoly
48m 8s topology_lemmas
topology_lemmas
48m 8s
added measurable_topology Generate HTML doc using Rocqnavi #40: Commit 721478d pushed by Brixfoly
49m 2s topology_lemmas
topology_lemmas
49m 2s
added separable def, +sigma algebras generated by basis Generate HTML doc using Rocqnavi #39: Commit ad3a1d3 pushed by Brixfoly
19m 37s topology_lemmas
topology_lemmas
19m 37s
Merge branch 'metric_20260629' of https://github.com/affeldt-aist/ana… Generate HTML doc using Rocqnavi #38: Commit c8d7222 pushed by Brixfoly
48m 55s topology_lemmas
topology_lemmas
48m 55s
prepare for rebase with sigma_algebra_lemmas Generate HTML doc using Rocqnavi #37: Commit 27b1176 pushed by Brixfoly
32m 28s simple_functions_banach
simple_functions_banach
32m 28s
fix Generate HTML doc using Rocqnavi #36: Commit a3708e8 pushed by affeldt-aist
48m 59s sigma_algebra_lemmas
sigma_algebra_lemmas
48m 59s
changelog Generate HTML doc using Rocqnavi #35: Commit 00c09ec pushed by affeldt-aist
21m 49s sigma_algebra_lemmas
sigma_algebra_lemmas
21m 49s
added countable_big(a/u)p measurable Generate HTML doc using Rocqnavi #34: Commit 16c6713 pushed by Brixfoly
38m 42s sigma_algebra_lemmas
sigma_algebra_lemmas
38m 42s
rebasing Generate HTML doc using Rocqnavi #33: Commit ad026ff pushed by Brixfoly
32m 39s simple_functions_banach
simple_functions_banach
32m 39s
fix Generate HTML doc using Rocqnavi #32: Commit 0311531 pushed by affeldt-aist
47m 44s sigma_algebra_lemmas
sigma_algebra_lemmas
47m 44s