Skip to content

Actions: idris-community/idris2-tls

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4 workflow runs
4 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ ci ] Use pack for dependency management instead of pinned commits (… Build #111: Commit 3209050 pushed by stefan-hoeck
September 4, 2024 19:46 2m 51s master
master
September 4, 2024 19:46 2m 51s
[ ci ] Use pack for dependency management instead of pinned commits Build #110: Pull request #12 opened by ReilySiegel
September 4, 2024 19:02 2m 40s ReilySiegel:fix-ci
ReilySiegel:fix-ci
September 4, 2024 19:02 2m 40s
[ compat ] Resolve build errors Build #109: Pull request #11 opened by ReilySiegel
September 4, 2024 17:51 23m 6s ReilySiegel:build-errors
ReilySiegel:build-errors
September 4, 2024 17:51 23m 6s
update year in license Build #108: Commit c3ea8c3 pushed by DSLstandard
February 11, 2024 09:55 24m 26s master
master
February 11, 2024 09:55 24m 26s