Skip to content
This repository was archived by the owner on Jan 5, 2025. It is now read-only.

Actions: lean-ja/reference-manual-ja

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
384 workflow runs
384 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

InstanceSynth翻訳 (#20) Build and check HTML #59: Commit dcae236 pushed by s-taiga
3m 19s main
main
3m 19s
InstanceSynth翻訳 Check for copyright headers #37: Pull request #20 synchronize by s-taiga
16s feature/v2/InstanceSynth
feature/v2/InstanceSynth
16s
InstanceSynth翻訳 Build and check HTML #58: Pull request #20 synchronize by s-taiga
4m 32s feature/v2/InstanceSynth
feature/v2/InstanceSynth
4m 32s
InstanceSynth翻訳 Check for too-big Lean imports #37: Pull request #20 synchronize by s-taiga
18s feature/v2/InstanceSynth
feature/v2/InstanceSynth
18s
InstanceSynth翻訳 Build and check HTML #57: Pull request #20 opened by s-taiga
3m 59s feature/v2/InstanceSynth
feature/v2/InstanceSynth
3m 59s
InstanceSynth翻訳 Check for too-big Lean imports #36: Pull request #20 opened by s-taiga
13s feature/v2/InstanceSynth
feature/v2/InstanceSynth
13s
InstanceSynth翻訳 Check for copyright headers #36: Pull request #20 opened by s-taiga
11s feature/v2/InstanceSynth
feature/v2/InstanceSynth
11s
InstanceDecls翻訳 (#19) Build and check HTML #56: Commit 83bbd65 pushed by s-taiga
3m 14s main
main
3m 14s
InstanceDecls翻訳 Check for too-big Lean imports #35: Pull request #19 synchronize by s-taiga
12s feature/v2/InstanceDecls
feature/v2/InstanceDecls
12s
InstanceDecls翻訳 Build and check HTML #55: Pull request #19 synchronize by s-taiga
4m 22s feature/v2/InstanceDecls
feature/v2/InstanceDecls
4m 22s
InstanceDecls翻訳 Check for copyright headers #35: Pull request #19 synchronize by s-taiga
13s feature/v2/InstanceDecls
feature/v2/InstanceDecls
13s
InstanceDecls翻訳 Check for copyright headers #34: Pull request #19 opened by s-taiga
17s feature/v2/InstanceDecls
feature/v2/InstanceDecls
17s
InstanceDecls翻訳 Check for too-big Lean imports #34: Pull request #19 opened by s-taiga
17s feature/v2/InstanceDecls
feature/v2/InstanceDecls
17s
InstanceDecls翻訳 Build and check HTML #54: Pull request #19 opened by s-taiga
5m 0s feature/v2/InstanceDecls
feature/v2/InstanceDecls
5m 0s
BasicClasses_DerivingHandlers翻訳 (#18) Build and check HTML #53: Commit 48c87a2 pushed by s-taiga
3m 17s main
main
3m 17s
BasicClasses_DerivingHandlers翻訳 Check for copyright headers #33: Pull request #18 synchronize by s-taiga
13s feature/v2/BasicClasses_DerivingHandlers
feature/v2/BasicClasses_DerivingHandlers
13s
BasicClasses_DerivingHandlers翻訳 Check for too-big Lean imports #33: Pull request #18 synchronize by s-taiga
12s feature/v2/BasicClasses_DerivingHandlers
feature/v2/BasicClasses_DerivingHandlers
12s
BasicClasses_DerivingHandlers翻訳 Build and check HTML #52: Pull request #18 synchronize by s-taiga
4m 23s feature/v2/BasicClasses_DerivingHandlers
feature/v2/BasicClasses_DerivingHandlers
4m 23s
BasicClasses_DerivingHandlers翻訳 Check for too-big Lean imports #32: Pull request #18 opened by s-taiga
13s feature/v2/BasicClasses_DerivingHandlers
feature/v2/BasicClasses_DerivingHandlers
13s
BasicClasses_DerivingHandlers翻訳 Build and check HTML #51: Pull request #18 opened by s-taiga
9m 59s feature/v2/BasicClasses_DerivingHandlers
feature/v2/BasicClasses_DerivingHandlers
9m 59s
BasicClasses_DerivingHandlers翻訳 Check for copyright headers #32: Pull request #18 opened by s-taiga
12s feature/v2/BasicClasses_DerivingHandlers
feature/v2/BasicClasses_DerivingHandlers
12s
Classes翻訳 (#17) Build and check HTML #50: Commit 6f5bb8e pushed by s-taiga
11m 22s main
main
11m 22s
Classes翻訳 Check for too-big Lean imports #31: Pull request #17 synchronize by s-taiga
13s feature/v2/Classes
feature/v2/Classes
13s
Classes翻訳 Build and check HTML #49: Pull request #17 synchronize by s-taiga
12m 8s feature/v2/Classes
feature/v2/Classes
12m 8s
Classes翻訳 Check for copyright headers #31: Pull request #17 synchronize by s-taiga
14s feature/v2/Classes
feature/v2/Classes
14s
ProTip! You can narrow down the results and go further in time using created:<2024-12-02 or the other filters available.