Skip to content

Actions: kayhide/tree-sitter-idris

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
8 workflow runs
8 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: wildcard in a destructor was failing CI #14: Commit c56a25c pushed by srghma
November 5, 2024 11:44 57s main
main
November 5, 2024 11:44 57s
fix: wildcard in a destructor was failing CI #13: Commit 2e86d10 pushed by srghma
November 4, 2024 08:00 54s main
main
November 4, 2024 08:00 54s
Merge pull request #3 from srghma/main CI #12: Commit fabf1b9 pushed by kayhide
November 1, 2024 06:45 1m 5s main
main
November 1, 2024 06:45 1m 5s
triple quotes memory leak -> fix CI #11: Pull request #3 synchronize by srghma
October 24, 2024 14:33 55s srghma:main
srghma:main
October 24, 2024 14:33 55s
wip CI #4: Commit 62281a0 pushed by kayhide
October 23, 2024 07:54 1m 3s main
main
October 23, 2024 07:54 1m 3s
wip CI #3: Commit e4c8830 pushed by kayhide
October 23, 2024 07:51 1m 11s main
main
October 23, 2024 07:51 1m 11s
wip CI #2: Commit 6d8cc12 pushed by kayhide
October 23, 2024 07:49 1m 26s main
main
October 23, 2024 07:49 1m 26s
wip CI #1: Commit 4caba71 pushed by kayhide
October 23, 2024 07:47 47s main
main
October 23, 2024 07:47 47s