Skip to content

Actions: ohad/collie

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
8 workflow runs
8 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #2: by github-pages bot
July 26, 2024 13:31 40s gh-pages
gh-pages
July 26, 2024 13:31 40s
export fixity declarations Ubuntu #60: Commit a35498d pushed by gallais
July 26, 2024 13:23 9m 53s main
main
July 26, 2024 13:23 9m 53s
export fixity declarations Ubuntu #59: Pull request #25 opened by andrevidela
July 26, 2024 08:51 9m 53s andrevidela:export-fixity
andrevidela:export-fixity
July 26, 2024 08:51 9m 53s
pages build and deployment pages-build-deployment #1: by github-pages bot
December 24, 2023 11:23 43s gh-pages
gh-pages
December 24, 2023 11:23 43s
Hide fixities where they are ambiguous to silence Idris 2 v0.7.0 comp… Ubuntu #58: Commit e496277 pushed by gallais
December 24, 2023 11:15 7m 30s main
main
December 24, 2023 11:15 7m 30s
Hide fixities where they are ambiguous to silence Idris 2 v0.7.0 compiler warnings. Ubuntu #57: Pull request #24 synchronize by mattpolzin
December 23, 2023 23:58 8m 4s mattpolzin:fixity-warnings
mattpolzin:fixity-warnings
December 23, 2023 23:58 8m 4s
Hide fixities where they are ambiguous to silence Idris 2 v0.7.0 compiler warnings. Ubuntu #56: Pull request #24 synchronize by mattpolzin
December 23, 2023 23:21 8m 4s mattpolzin:fixity-warnings
mattpolzin:fixity-warnings
December 23, 2023 23:21 8m 4s
Hide fixities where they are ambiguous to silence Idris 2 v0.7.0 compiler warnings. Ubuntu #55: Pull request #24 opened by mattpolzin
December 23, 2023 23:13 6m 0s mattpolzin:fixity-warnings
mattpolzin:fixity-warnings
December 23, 2023 23:13 6m 0s