Skip to content

Actions: IshiguroYoshihiro/analysis

Actions

Nix CI for bundle master

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-master.yml
70 workflow runs
70 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Cleanup some proofs (#1407) Nix CI for bundle master #103: Commit 7c12c63 pushed by IshiguroYoshihiro
November 27, 2024 02:42 1h 18m 40s master
master
November 27, 2024 02:42 1h 18m 40s
helper completed Nix CI for bundle master #102: Pull request #66 opened by affeldt-aist
November 21, 2024 03:19 26m 29s
November 21, 2024 03:19 26m 29s
helper_max Nix CI for bundle master #101: Pull request #65 opened by affeldt-aist
November 20, 2024 08:53 26m 41s
November 20, 2024 08:53 26m 41s
Improper integral Nix CI for bundle master #100: Pull request #64 opened by affeldt-aist
November 20, 2024 02:19 26m 10s
November 20, 2024 02:19 26m 10s
Improper integral Nix CI for bundle master #99: Pull request #63 opened by affeldt-aist
November 19, 2024 10:19 26m 50s
November 19, 2024 10:19 26m 50s
cleaning Nix CI for bundle master #98: Pull request #62 opened by affeldt-aist
November 14, 2024 15:47 35m 5s
November 14, 2024 15:47 35m 5s
cleaning Nix CI for bundle master #97: Pull request #61 synchronize by affeldt-aist
November 7, 2024 05:32 34m 44s
November 7, 2024 05:32 34m 44s
cleaning Nix CI for bundle master #96: Pull request #61 opened by affeldt-aist
November 7, 2024 04:38 34m 56s
November 7, 2024 04:38 34m 56s
gauss integral Nix CI for bundle master #95: Pull request #60 opened by affeldt-aist
November 6, 2024 07:09 35m 5s
November 6, 2024 07:09 35m 5s
wip Nix CI for bundle master #94: Pull request #59 opened by affeldt-aist
November 5, 2024 07:23 35m 0s
November 5, 2024 07:23 35m 0s
wip Nix CI for bundle master #93: Pull request #58 opened by affeldt-aist
October 31, 2024 02:02 13m 22s
October 31, 2024 02:02 13m 22s
wip Nix CI for bundle master #92: Pull request #57 opened by affeldt-aist
October 30, 2024 00:24 13m 53s
October 30, 2024 00:24 13m 53s
Cleanup coq-mathcomp-classical.opam Nix CI for bundle master #91: Commit 1753715 pushed by IshiguroYoshihiro
October 30, 2024 00:08 13m 15s master
master
October 30, 2024 00:08 13m 15s
wip Nix CI for bundle master #90: Pull request #56 opened by affeldt-aist
October 10, 2024 04:30 35m 40s
October 10, 2024 04:30 35m 40s
change of variables by nondecreasing/nonincreasing function (#1294) Nix CI for bundle master #89: Commit b6413d2 pushed by IshiguroYoshihiro
October 9, 2024 00:20 13m 6s master
master
October 9, 2024 00:20 13m 6s
rm superfluous hypo Nix CI for bundle master #88: Pull request #55 opened by affeldt-aist
October 8, 2024 08:38 35m 8s
October 8, 2024 08:38 35m 8s
Splitting Topology part 3: Separation axioms (#1338) Nix CI for bundle master #87: Commit 8340758 pushed by IshiguroYoshihiro
October 7, 2024 05:07 3m 15s master
master
October 7, 2024 05:07 3m 15s
[CI] Update Nix toolbox Nix CI for bundle master #86: Commit 7dfb606 pushed by IshiguroYoshihiro
October 3, 2024 01:20 3m 9s master
master
October 3, 2024 01:20 3m 9s
generalize integral_setD_EFin (#1327) Nix CI for bundle master #85: Commit 3ccb5da pushed by IshiguroYoshihiro
October 1, 2024 07:09 8m 42s master
master
October 1, 2024 07:09 8m 42s
add in_nearW (#1332) Nix CI for bundle master #84: Commit 15bd3e9 pushed by IshiguroYoshihiro
October 1, 2024 05:09 2m 55s master
master
October 1, 2024 05:09 2m 55s
Add lemmas on divergent sequences (#1304) Nix CI for bundle master #83: Commit c963835 pushed by IshiguroYoshihiro
October 1, 2024 01:56 2m 51s master
master
October 1, 2024 01:56 2m 51s
add in_nearW Nix CI for bundle master #82: Commit c87bccc pushed by IshiguroYoshihiro
October 1, 2024 01:55 2m 59s master
master
October 1, 2024 01:55 2m 59s
simplify gt0_ Nix CI for bundle master #81: Pull request #54 opened by affeldt-aist
August 20, 2024 08:45 12m 26s
August 20, 2024 08:45 12m 26s
Prob lang axiom Nix CI for bundle master #80: Pull request #53 opened by affeldt-aist
August 19, 2024 01:09 12m 33s
August 19, 2024 01:09 12m 33s
wip Nix CI for bundle master #79: Pull request #52 opened by affeldt-aist
July 23, 2024 07:02 3m 11s
July 23, 2024 07:02 3m 11s