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
10 workflow runs
10 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[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
prove admit in Module li Nix CI for bundle 8.20 #2: Pull request #51 opened by affeldt-aist
July 19, 2024 08:30 13m 21s
July 19, 2024 08:30 13m 21s
minor edits Nix CI for bundle 8.20 #1: Pull request #50 opened by affeldt-aist
July 16, 2024 05:08 13m 27s
July 16, 2024 05:08 13m 27s