Skip to content

Actions: IshiguroYoshihiro/analysis

Actions

Nix CI for bundle 8.20

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-8.20.yml
27 workflow runs
27 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Cleanup some proofs (#1407) Nix CI for bundle 8.20 #27: Commit 7c12c63 pushed by IshiguroYoshihiro
November 27, 2024 02:42 16m 46s master
master
November 27, 2024 02:42 16m 46s
helper completed Nix CI for bundle 8.20 #26: Pull request #66 opened by affeldt-aist
November 21, 2024 03:19 16m 6s
November 21, 2024 03:19 16m 6s
helper_max Nix CI for bundle 8.20 #25: Pull request #65 opened by affeldt-aist
November 20, 2024 08:53 15m 34s
November 20, 2024 08:53 15m 34s
Improper integral Nix CI for bundle 8.20 #24: Pull request #64 opened by affeldt-aist
November 20, 2024 02:19 20m 26s
November 20, 2024 02:19 20m 26s
Improper integral Nix CI for bundle 8.20 #23: Pull request #63 opened by affeldt-aist
November 19, 2024 10:19 15m 32s
November 19, 2024 10:19 15m 32s
cleaning Nix CI for bundle 8.20 #22: Pull request #62 opened by affeldt-aist
November 14, 2024 15:47 15m 39s
November 14, 2024 15:47 15m 39s
cleaning Nix CI for bundle 8.20 #21: Pull request #61 synchronize by affeldt-aist
November 7, 2024 05:32 15m 54s
November 7, 2024 05:32 15m 54s
cleaning Nix CI for bundle 8.20 #20: Pull request #61 opened by affeldt-aist
November 7, 2024 04:38 15m 31s
November 7, 2024 04:38 15m 31s
gauss integral Nix CI for bundle 8.20 #19: Pull request #60 opened by affeldt-aist
November 6, 2024 07:09 15m 28s
November 6, 2024 07:09 15m 28s
wip Nix CI for bundle 8.20 #18: Pull request #59 opened by affeldt-aist
November 5, 2024 07:23 15m 32s
November 5, 2024 07:23 15m 32s
wip Nix CI for bundle 8.20 #17: Pull request #58 opened by affeldt-aist
October 31, 2024 02:02 15m 34s
October 31, 2024 02:02 15m 34s
wip Nix CI for bundle 8.20 #16: Pull request #57 opened by affeldt-aist
October 30, 2024 00:24 15m 38s
October 30, 2024 00:24 15m 38s
Cleanup coq-mathcomp-classical.opam Nix CI for bundle 8.20 #15: Commit 1753715 pushed by IshiguroYoshihiro
October 30, 2024 00:08 14m 45s master
master
October 30, 2024 00:08 14m 45s
wip Nix CI for bundle 8.20 #14: Pull request #56 opened by affeldt-aist
October 10, 2024 04:30 14m 49s
October 10, 2024 04:30 14m 49s
change of variables by nondecreasing/nonincreasing function (#1294) Nix CI for bundle 8.20 #13: Commit b6413d2 pushed by IshiguroYoshihiro
October 9, 2024 00:20 15m 4s master
master
October 9, 2024 00:20 15m 4s
rm superfluous hypo Nix CI for bundle 8.20 #12: Pull request #55 opened by affeldt-aist
October 8, 2024 08:38 14m 45s
October 8, 2024 08:38 14m 45s
Splitting Topology part 3: Separation axioms (#1338) Nix CI for bundle 8.20 #11: Commit 8340758 pushed by IshiguroYoshihiro
October 7, 2024 05:07 13m 14s master
master
October 7, 2024 05:07 13m 14s
[CI] Update Nix toolbox Nix CI for bundle 8.20 #10: Commit 7dfb606 pushed by IshiguroYoshihiro
October 3, 2024 01:20 14m 42s master
master
October 3, 2024 01:20 14m 42s
generalize integral_setD_EFin (#1327) Nix CI for bundle 8.20 #9: Commit 3ccb5da pushed by IshiguroYoshihiro
October 1, 2024 07:09 12m 39s master
master
October 1, 2024 07:09 12m 39s
add in_nearW (#1332) Nix CI for bundle 8.20 #8: Commit 15bd3e9 pushed by IshiguroYoshihiro
October 1, 2024 05:09 14m 16s master
master
October 1, 2024 05:09 14m 16s
Add lemmas on divergent sequences (#1304) Nix CI for bundle 8.20 #7: Commit c963835 pushed by IshiguroYoshihiro
October 1, 2024 01:56 14m 15s master
master
October 1, 2024 01:56 14m 15s
add in_nearW Nix CI for bundle 8.20 #6: Commit c87bccc pushed by IshiguroYoshihiro
October 1, 2024 01:55 14m 39s master
master
October 1, 2024 01:55 14m 39s
simplify gt0_ Nix CI for bundle 8.20 #5: Pull request #54 opened by affeldt-aist
August 20, 2024 08:45 13m 33s
August 20, 2024 08:45 13m 33s
Prob lang axiom Nix CI for bundle 8.20 #4: Pull request #53 opened by affeldt-aist
August 19, 2024 01:09 13m 28s
August 19, 2024 01:09 13m 28s
wip Nix CI for bundle 8.20 #3: Pull request #52 opened by affeldt-aist
July 23, 2024 07:02 13m 17s
July 23, 2024 07:02 13m 17s