Skip to content

Actions: stefan-hoeck/idris2-refined

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
38 workflow runs
38 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #24 from stefan-hoeck/export_closure Build #91: Commit c585013 pushed by stefan-hoeck
April 5, 2024 05:02 1m 20s main
main
April 5, 2024 05:02 1m 20s
Merge pull request #24 from stefan-hoeck/export_closure Lint #91: Commit c585013 pushed by stefan-hoeck
April 5, 2024 05:02 1m 19s main
main
April 5, 2024 05:02 1m 19s
[ export ] public export the most common modules from algebra Build #90: Pull request #24 opened by stefan-hoeck
April 5, 2024 04:58 1m 25s export_closure
export_closure
April 5, 2024 04:58 1m 25s
[ export ] public export the most common modules from algebra Lint #90: Pull request #24 opened by stefan-hoeck
April 5, 2024 04:58 1m 18s export_closure
export_closure
April 5, 2024 04:58 1m 18s
[ export ] public export the most common modules from algebra Build #89: Commit 9bf2671 pushed by stefan-hoeck
April 5, 2024 04:58 1m 18s export_closure
export_closure
April 5, 2024 04:58 1m 18s
[ export ] public export the most common modules from algebra Lint #89: Commit 9bf2671 pushed by stefan-hoeck
April 5, 2024 04:58 1m 21s export_closure
export_closure
April 5, 2024 04:58 1m 21s
Merge pull request #23 from stefan-hoeck/export_infix Build #88: Commit 0620a33 pushed by stefan-hoeck
April 5, 2024 04:41 1m 23s main
main
April 5, 2024 04:41 1m 23s
Merge pull request #23 from stefan-hoeck/export_infix Lint #88: Commit 0620a33 pushed by stefan-hoeck
April 5, 2024 04:41 1m 16s main
main
April 5, 2024 04:41 1m 16s
[ compat ] adjust to upstream changes Lint #87: Pull request #23 synchronize by stefan-hoeck
April 5, 2024 04:24 1m 32s export_infix
export_infix
April 5, 2024 04:24 1m 32s
[ compat ] adjust to upstream changes Build #87: Pull request #23 synchronize by stefan-hoeck
April 5, 2024 04:24 1m 32s export_infix
export_infix
April 5, 2024 04:24 1m 32s
[ test ] adjust tsv tests Build #86: Commit 8bc38d1 pushed by stefan-hoeck
April 5, 2024 04:24 1m 25s export_infix
export_infix
April 5, 2024 04:24 1m 25s
[ test ] adjust tsv tests Lint #86: Commit 8bc38d1 pushed by stefan-hoeck
April 5, 2024 04:24 1m 21s export_infix
export_infix
April 5, 2024 04:24 1m 21s
[ compat ] adjust to upstream changes Lint #85: Pull request #23 synchronize by stefan-hoeck
April 5, 2024 04:20 1m 26s export_infix
export_infix
April 5, 2024 04:20 1m 26s
[ compat ] adjust to upstream changes Build #85: Pull request #23 synchronize by stefan-hoeck
April 5, 2024 04:20 1m 33s export_infix
export_infix
April 5, 2024 04:20 1m 33s
[ test ] adjust json tests Lint #84: Commit e0a5544 pushed by stefan-hoeck
April 5, 2024 04:20 1m 17s export_infix
export_infix
April 5, 2024 04:20 1m 17s
[ test ] adjust json tests Build #84: Commit e0a5544 pushed by stefan-hoeck
April 5, 2024 04:20 1m 21s export_infix
export_infix
April 5, 2024 04:20 1m 21s
[ compat ] adjust to upstream changes Lint #83: Pull request #23 synchronize by stefan-hoeck
April 5, 2024 04:17 1m 25s export_infix
export_infix
April 5, 2024 04:17 1m 25s
[ compat ] adjust to upstream changes Build #83: Pull request #23 synchronize by stefan-hoeck
April 5, 2024 04:17 1m 14s export_infix
export_infix
April 5, 2024 04:17 1m 14s
[ fix ] adjust docs Lint #82: Commit aee8360 pushed by stefan-hoeck
April 5, 2024 04:17 1m 19s export_infix
export_infix
April 5, 2024 04:17 1m 19s
[ fix ] adjust docs Build #82: Commit aee8360 pushed by stefan-hoeck
April 5, 2024 04:17 1m 10s export_infix
export_infix
April 5, 2024 04:17 1m 10s
[ refactor ] fewer public exports Build #81: Commit b0499eb pushed by stefan-hoeck
April 5, 2024 04:17 55s export
export
April 5, 2024 04:17 55s
[ refactor ] fewer public exports Lint #81: Commit b0499eb pushed by stefan-hoeck
April 5, 2024 04:17 1m 32s export
export
April 5, 2024 04:17 1m 32s
[ compat ] adjust to upstream changes Lint #80: Pull request #23 opened by stefan-hoeck
April 5, 2024 04:13 1m 25s export_infix
export_infix
April 5, 2024 04:13 1m 25s
[ compat ] adjust to upstream changes Build #80: Pull request #23 opened by stefan-hoeck
April 5, 2024 04:13 57s export_infix
export_infix
April 5, 2024 04:13 57s
[ compat ] adjust to upstream changes Lint #79: Commit af7653b pushed by stefan-hoeck
April 5, 2024 04:13 1m 25s export_infix
export_infix
April 5, 2024 04:13 1m 25s