Skip to content

Actions: uwiger/setup

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
9 workflow runs
9 workflow runs
Event

Filter by event

Status

Filter by status

Branch
Actor

Filter by actor

Merge pull request #63 from uwiger/uw-setup_file-escript
CI #14: Commit c6cbda8 pushed by uwiger
March 8, 2024 13:37 1m 31s 2.2.0
March 8, 2024 13:37 1m 31s
Merge pull request #63 from uwiger/uw-setup_file-escript
CI #13: Commit c6cbda8 pushed by uwiger
March 8, 2024 13:35 1m 31s master
March 8, 2024 13:35 1m 31s
Merge pull request #61 from uwiger/uw-verify_dir-errors
CI #11: Commit 36329b1 pushed by uwiger
January 25, 2024 18:08 1m 32s 2.1.2
January 25, 2024 18:08 1m 32s
Merge pull request #62 from uwiger/uw-improve-error-reporting
CI #10: Commit e72b3a0 pushed by uwiger
January 25, 2024 18:06 1m 31s master
January 25, 2024 18:06 1m 31s
Merge pull request #61 from uwiger/uw-verify_dir-errors
CI #8: Commit 36329b1 pushed by uwiger
November 30, 2023 18:02 1m 20s 2.1.1
November 30, 2023 18:02 1m 20s
Merge pull request #61 from uwiger/uw-verify_dir-errors
CI #7: Commit 36329b1 pushed by uwiger
November 30, 2023 17:54 1m 21s master
November 30, 2023 17:54 1m 21s
Improve error reporting from verify_dir/1
CI #6: Commit 606d577 pushed by uwiger
November 30, 2023 17:21 1m 25s uw-verify_dir-errors
November 30, 2023 17:21 1m 25s