Skip to content

Actions: Alex1005a/Idris2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
14 workflow runs
14 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #3255 from foxyseta/patch-1 Sphinx #22: Commit 4799d28 pushed by Alex1005a
April 14, 2024 19:42 30s main
main
April 14, 2024 19:42 30s
Merge pull request #3255 from foxyseta/patch-1 Lint Code Base #22: Commit 4799d28 pushed by Alex1005a
April 14, 2024 19:42 1m 57s main
main
April 14, 2024 19:42 1m 57s
Merge pull request #3255 from foxyseta/patch-1 Idris2 and External Libs #21: Commit 4799d28 pushed by Alex1005a
April 14, 2024 19:42 49m 26s main
main
April 14, 2024 19:42 49m 26s
Merge pull request #3255 from foxyseta/patch-1 Lint the sources #22: Commit 4799d28 pushed by Alex1005a
April 14, 2024 19:42 16s main
main
April 14, 2024 19:42 16s
[RefC] resolve conflicts Bootstrap #4: Commit 149de50 pushed by Alex1005a
February 4, 2024 17:51 7m 23s reuse-analysis
reuse-analysis
February 4, 2024 17:51 7m 23s
[RefC] resolve conflicts Sphinx #21: Commit 149de50 pushed by Alex1005a
February 4, 2024 17:51 27s reuse-analysis
reuse-analysis
February 4, 2024 17:51 27s
[RefC] resolve conflicts Lint Code Base #21: Commit 149de50 pushed by Alex1005a
February 4, 2024 17:51 1m 51s reuse-analysis
reuse-analysis
February 4, 2024 17:51 1m 51s
[RefC] resolve conflicts Lint the sources #21: Commit 149de50 pushed by Alex1005a
February 4, 2024 17:51 11s reuse-analysis
reuse-analysis
February 4, 2024 17:51 11s
[RefC] resolve conflicts Idris2 and External Libs #20: Commit 149de50 pushed by Alex1005a
February 4, 2024 17:51 51m 6s reuse-analysis
reuse-analysis
February 4, 2024 17:51 51m 6s
Merge pull request #3203 from seagull-kamome/simplify_constcase_branch Sphinx #20: Commit c74f54c pushed by Alex1005a
February 4, 2024 14:06 28s main
main
February 4, 2024 14:06 28s
Merge pull request #3203 from seagull-kamome/simplify_constcase_branch Lint Code Base #20: Commit c74f54c pushed by Alex1005a
February 4, 2024 14:06 1m 47s main
main
February 4, 2024 14:06 1m 47s
Merge pull request #3203 from seagull-kamome/simplify_constcase_branch Idris2 and External Libs #19: Commit c74f54c pushed by Alex1005a
February 4, 2024 14:06 50m 22s main
main
February 4, 2024 14:06 50m 22s
Merge pull request #3203 from seagull-kamome/simplify_constcase_branch Bootstrap #3: Commit c74f54c pushed by Alex1005a
February 4, 2024 14:06 7m 34s main
main
February 4, 2024 14:06 7m 34s
Merge pull request #3203 from seagull-kamome/simplify_constcase_branch Lint the sources #20: Commit c74f54c pushed by Alex1005a
February 4, 2024 14:06 13s main
main
February 4, 2024 14:06 13s