Skip to content

Actions: stefan-hoeck/idris2-tutorial

Actions

Lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-super-linter.yml
20 workflow runs
20 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Functor.md: contradicting case removed (#73) Lint #367: Commit b5d4246 pushed by stefan-hoeck
January 23, 2025 15:36 1m 24s main
main
January 23, 2025 15:36 1m 24s
Functions2.md: fix typing errors (#72) Lint #366: Commit f03a03e pushed by stefan-hoeck
January 23, 2025 15:28 1m 14s main
main
January 23, 2025 15:28 1m 14s
Functor.md: contradicting case removed Lint #365: Pull request #73 synchronize by kaelte
January 23, 2025 10:39 1m 13s kaelte:space-PasswordChar
kaelte:space-PasswordChar
January 23, 2025 10:39 1m 13s
Functions2.md: fix typing errors Lint #363: Pull request #72 opened by kaelte
January 22, 2025 17:31 1m 18s kaelte:fix-typo
kaelte:fix-typo
January 22, 2025 17:31 1m 18s
Fix a few minor typos (#70) Lint #362: Commit b3264e0 pushed by stefan-hoeck
January 8, 2025 04:51 1m 13s main
main
January 8, 2025 04:51 1m 13s
Fix a few minor typos in Intro.md Lint #361: Pull request #70 opened by sp1ff
January 2, 2025 19:48 1m 23s sp1ff:fix-first-typo
sp1ff:fix-first-typo
January 2, 2025 19:48 1m 23s
[ fix ] typo (#69) Lint #360: Commit f2d1b45 pushed by stefan-hoeck
December 13, 2024 06:18 1m 14s main
main
December 13, 2024 06:18 1m 14s
[ fix ] typo Lint #359: Pull request #69 opened by jgarte
December 12, 2024 15:41 1m 22s jgarte:typo_fix
jgarte:typo_fix
December 12, 2024 15:41 1m 22s
[ fix ] typo (#68) Lint #358: Commit def9f79 pushed by stefan-hoeck
November 23, 2024 16:06 1m 16s main
main
November 23, 2024 16:06 1m 16s
[ new ] Chapter on details of QTT (#67) Lint #356: Commit 0795cd0 pushed by stefan-hoeck
July 30, 2024 04:35 1m 15s main
main
July 30, 2024 04:35 1m 15s
[ new ] Chapter on details of QTT Lint #355: Pull request #67 synchronize by tokinanpa
July 27, 2024 02:40 1m 25s tokinanpa:qtt
tokinanpa:qtt
July 27, 2024 02:40 1m 25s
Update README.md (#66) Lint #353: Commit 830938f pushed by stefan-hoeck
July 20, 2024 17:57 1m 13s main
main
July 20, 2024 17:57 1m 13s
Fix a Small Typo in README.md Lint #352: Pull request #66 opened by jawadcode
July 18, 2024 20:15 1m 13s jawadcode:patch-1
jawadcode:patch-1
July 18, 2024 20:15 1m 13s
[ fix ] some mistakes (#64) Lint #351: Commit d2f914c pushed by stefan-hoeck
June 17, 2024 18:57 1m 17s main
main
June 17, 2024 18:57 1m 17s
[ fix ] auto escaping to fromString in Prim Lint #350: Pull request #65 opened by spcfox
June 16, 2024 16:57 1m 22s spcfox:escaped
spcfox:escaped
June 16, 2024 16:57 1m 22s
[ fix ] some mistakes Lint #349: Pull request #64 synchronize by spcfox
June 16, 2024 16:11 1m 26s spcfox:main
spcfox:main
June 16, 2024 16:11 1m 26s
[ fix ] some mistakes Lint #348: Pull request #64 synchronize by spcfox
June 16, 2024 07:20 1m 24s spcfox:main
spcfox:main
June 16, 2024 07:20 1m 24s
[ new ] Chapter on details of QTT Lint #346: Pull request #63 synchronize by tokinanpa
June 11, 2024 06:44 1m 23s qtt
qtt
June 11, 2024 06:44 1m 23s
[ new ] Chapter on details of QTT Lint #345: Pull request #63 synchronize by tokinanpa
June 11, 2024 05:19 1m 21s qtt
qtt
June 11, 2024 05:19 1m 21s
[ new ] Chapter on details of QTT Lint #343: Pull request #63 opened by tokinanpa
June 10, 2024 00:47 1m 47s qtt
qtt
June 10, 2024 00:47 1m 47s