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

[doc] Update README.md Build #115: Commit 29e9ccb pushed by ReilySiegel
2m 50s master
master
2m 50s
[doc] Update README.md Build #114: Pull request #14 opened by ReilySiegel
2m 51s ReilySiegel:master
ReilySiegel:master
2m 51s
Make build system pack-compatible. Build #113: Commit 40fa4ee pushed by ReilySiegel
2m 43s master
master
2m 43s
Make build system pack-compatible. Build #112: Pull request #13 opened by ReilySiegel
2m 37s ReilySiegel:fix-install
ReilySiegel:fix-install
2m 37s