Skip to content

Actions: idris-community/katla

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
10 workflow runs
10 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add usage to readme Ubuntu #90: Commit 13a4d14 pushed by gallais
August 6, 2024 12:34 18m 13s main
main
August 6, 2024 12:34 18m 13s
Add usage to readme Ubuntu #89: Pull request #40 opened by kayhide
August 6, 2024 01:53 20m 23s kayhide:add-usage-to-readme
kayhide:add-usage-to-readme
August 6, 2024 01:53 20m 23s
various changes (#30) Ubuntu #88: Commit 1db94bd pushed by ohad
July 20, 2024 09:49 18m 12s main
main
July 20, 2024 09:49 18m 12s
various changes Ubuntu #87: Pull request #30 synchronize by ohad
July 20, 2024 08:47 18m 23s iacore:fix-2
iacore:fix-2
July 20, 2024 08:47 18m 23s
Add Pandoc mode Ubuntu #86: Pull request #39 opened by madman-bob
July 10, 2024 15:46 18m 45s madman-bob:pandoc
madman-bob:pandoc
July 10, 2024 15:46 18m 45s
pages build and deployment pages-build-deployment #5: by github-pages bot
June 12, 2024 11:04 40s
June 12, 2024 11:04 40s
Merge pull request #38 from andrevidela/fix-cli-parsing Ubuntu #85: Commit 7282c4c pushed by andrevidela
June 12, 2024 10:48 16m 6s main
main
June 12, 2024 10:48 16m 6s
Fix cli parsing Ubuntu #84: Pull request #38 synchronize by andrevidela
June 12, 2024 09:07 15m 48s andrevidela:fix-cli-parsing
andrevidela:fix-cli-parsing
June 12, 2024 09:07 15m 48s
Fix cli parsing Ubuntu #83: Pull request #38 opened by andrevidela
June 12, 2024 01:27 18m 1s andrevidela:fix-cli-parsing
andrevidela:fix-cli-parsing
June 12, 2024 01:27 18m 1s
Ignore hidden Ubuntu #82: Pull request #37 opened by andrevidela
September 10, 2023 07:22 25m 33s andrevidela:ignore-hidden
andrevidela:ignore-hidden
September 10, 2023 07:22 25m 33s