Skip to content

Actions: naucke/agda2hs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
87 workflow runs
87 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Initial strict runtime check CI #10: Pull request #2 synchronize by naucke
April 11, 2024 22:51 2m 18s strict-runtime-check
strict-runtime-check
April 11, 2024 22:51 2m 18s
Initial strict runtime check CI #9: Pull request #2 synchronize by naucke
April 11, 2024 13:14 2m 45s strict-runtime-check
strict-runtime-check
April 11, 2024 13:14 2m 45s
Initial strict runtime check CI #8: Pull request #2 synchronize by naucke
April 11, 2024 13:11 2m 46s strict-runtime-check
strict-runtime-check
April 11, 2024 13:11 2m 46s
Initial strict runtime check CI #7: Pull request #2 synchronize by naucke
April 11, 2024 12:36 2m 55s strict-runtime-check
strict-runtime-check
April 11, 2024 12:36 2m 55s
Initial strict runtime check CI #6: Pull request #2 opened by naucke
April 10, 2024 22:00 17m 21s strict-runtime-check
strict-runtime-check
April 10, 2024 22:00 17m 21s
[ re #305 ] Set the checkpoint in the context of the module rather th… CI #5: Commit 4e66970 pushed by naucke
April 10, 2024 21:59 26m 44s master
master
April 10, 2024 21:59 26m 44s
[ re #305 ] Set the checkpoint in the context of the module rather th… Docs #2: Commit 4e66970 pushed by naucke
April 10, 2024 21:59 29s master
master
April 10, 2024 21:59 29s
Instance search runtime check CI #4: Pull request #1 synchronize by naucke
March 1, 2024 13:02 16m 58s instance-search-runtime-check
instance-search-runtime-check
March 1, 2024 13:02 16m 58s
Instance search runtime check CI #3: Pull request #1 synchronize by naucke
February 29, 2024 00:20 4m 19s instance-search-runtime-check
instance-search-runtime-check
February 29, 2024 00:20 4m 19s
Instance search runtime check CI #2: Pull request #1 opened by naucke
February 27, 2024 23:23 26m 45s instance-search-runtime-check
instance-search-runtime-check
February 27, 2024 23:23 26m 45s
Eq Double removal Docs #1: Commit c4b26e2 pushed by naucke
February 27, 2024 23:21 30s master
master
February 27, 2024 23:21 30s
Eq Double removal CI #1: Commit c4b26e2 pushed by naucke
February 27, 2024 23:21 26m 30s master
master
February 27, 2024 23:21 26m 30s