Skip to content

Actions: affeldt-aist/analysis

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
76 workflow runs
76 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

rename ge0r to ger0 Nix CI for bundle 8.20 #10: Pull request #25 opened by t6s
February 4, 2025 14:16 35m 48s
February 4, 2025 14:16 35m 48s
rename ge0r to ger0 Nix CI for bundle master #111: Pull request #25 opened by t6s
February 4, 2025 14:16 1m 12s
February 4, 2025 14:16 1m 12s
rename ge0r to ger0 Nix CI for bundle 8.19 #11: Pull request #25 opened by t6s
February 4, 2025 14:16 38m 11s
February 4, 2025 14:16 38m 11s
add closureT and interior_id Nix CI for bundle 8.20 #9: Pull request #24 opened by t6s
January 20, 2025 10:38 35m 15s
January 20, 2025 10:38 35m 15s
add closureT and interior_id Nix CI for bundle 8.19 #10: Pull request #24 opened by t6s
January 20, 2025 10:38 39m 23s
January 20, 2025 10:38 39m 23s
add closureT and interior_id Nix CI for bundle master #110: Pull request #24 opened by t6s
January 20, 2025 10:38 1m 17s
January 20, 2025 10:38 1m 17s
Derive 20250107 Nix CI for bundle master #109: Pull request #23 opened by IshiguroYoshihiro
January 16, 2025 10:59 1m 17s
January 16, 2025 10:59 1m 17s
Derive 20250107 Nix CI for bundle 8.20 #8: Pull request #23 opened by IshiguroYoshihiro
January 16, 2025 10:59 35m 16s
January 16, 2025 10:59 35m 16s
Derive 20250107 Nix CI for bundle 8.19 #9: Pull request #23 opened by IshiguroYoshihiro
January 16, 2025 10:59 40m 36s
January 16, 2025 10:59 40m 36s
add some lemmas Nix CI for bundle 8.19 #8: Pull request #22 opened by IshiguroYoshihiro
January 15, 2025 06:06 23m 47s
January 15, 2025 06:06 23m 47s
add some lemmas Nix CI for bundle 8.20 #7: Pull request #22 opened by IshiguroYoshihiro
January 15, 2025 06:06 21m 25s
January 15, 2025 06:06 21m 25s
add some lemmas Nix CI for bundle master #108: Pull request #22 opened by IshiguroYoshihiro
January 15, 2025 06:06 1m 14s
January 15, 2025 06:06 1m 14s
generalizing expectation Nix CI for bundle master #107: Pull request #21 synchronize by hoheinzollern
November 24, 2024 15:25 21m 1s
November 24, 2024 15:25 21m 1s
generalizing expectation Nix CI for bundle 8.20 #6: Pull request #21 synchronize by hoheinzollern
November 24, 2024 15:25 25m 39s
November 24, 2024 15:25 25m 39s
generalizing expectation Nix CI for bundle 8.19 #7: Pull request #21 synchronize by hoheinzollern
November 24, 2024 15:25 28m 59s
November 24, 2024 15:25 28m 59s
generalizing expectation Nix CI for bundle 8.20 #5: Pull request #21 opened by hoheinzollern
November 21, 2024 13:16 25m 49s
November 21, 2024 13:16 25m 49s
generalizing expectation Nix CI for bundle master #106: Pull request #21 opened by hoheinzollern
November 21, 2024 13:16 19m 40s
November 21, 2024 13:16 19m 40s
generalizing expectation Nix CI for bundle 8.19 #6: Pull request #21 opened by hoheinzollern
November 21, 2024 13:16 26m 3s
November 21, 2024 13:16 26m 3s
add Module integral_indicator_function Nix CI for bundle master #105: Pull request #20 opened by IshiguroYoshihiro
September 18, 2024 06:27 12m 22s
September 18, 2024 06:27 12m 22s
add Module integral_indicator_function Nix CI for bundle 8.20 #4: Pull request #20 opened by IshiguroYoshihiro
September 18, 2024 06:27 14m 21s
September 18, 2024 06:27 14m 21s
add Module integral_indicator_function Nix CI for bundle 8.19 #5: Pull request #20 opened by IshiguroYoshihiro
September 18, 2024 06:27 16m 15s
September 18, 2024 06:27 16m 15s
Rintegral_continuous_FTC2 Nix CI for bundle 8.20 #3: Pull request #19 opened by IshiguroYoshihiro
September 17, 2024 06:26 29m 28s
September 17, 2024 06:26 29m 28s
Rintegral_continuous_FTC2 Nix CI for bundle master #104: Pull request #19 opened by IshiguroYoshihiro
September 17, 2024 06:26 22m 6s
September 17, 2024 06:26 22m 6s
Rintegral_continuous_FTC2 Nix CI for bundle 8.19 #4: Pull request #19 opened by IshiguroYoshihiro
September 17, 2024 06:26 54m 35s
September 17, 2024 06:26 54m 35s
beta_nat_norm_sym Nix CI for bundle master #103: Pull request #18 opened by IshiguroYoshihiro
July 25, 2024 08:59 3m 6s
July 25, 2024 08:59 3m 6s