Skip to content

Actions: idris-community/katla

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
11 workflow runs
11 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #39 from madman-bob/pandoc
Ubuntu #91: Commit 53b0e47 pushed by andrevidela
November 5, 2024 12:12 18m 49s main
November 5, 2024 12:12 18m 49s
Add usage to readme
Ubuntu #90: Commit 13a4d14 pushed by gallais
August 6, 2024 12:34 18m 13s 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
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
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
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
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 gh-pages
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
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
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
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
September 10, 2023 07:22 25m 33s