Skip to content

Actions: fgdorais/lean4-parser

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
600 workflow runs
600 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update Toolchain Update Toolchain #25: Scheduled
December 20, 2023 03:01 12s main
main
December 20, 2023 03:01 12s
feat: add Trivial and Basic error types CI #25: Commit b693116 pushed by fgdorais
December 20, 2023 01:25 1m 56s main
main
December 20, 2023 01:25 1m 56s
feat: add Trivial and Basic error types CI #24: Pull request #10 synchronize by fgdorais
December 20, 2023 01:09 1m 58s error
error
December 20, 2023 01:09 1m 58s
feat: add Trivial and Basic error types CI #23: Pull request #10 opened by fgdorais
December 20, 2023 01:03 1m 54s error
error
December 20, 2023 01:03 1m 54s
chore: style CI #22: Commit cac5096 pushed by fgdorais
December 19, 2023 23:49 1m 52s main
main
December 19, 2023 23:49 1m 52s
feat: regex capture groups (#9) CI #21: Commit 307da88 pushed by fgdorais
December 19, 2023 03:24 1m 58s main
main
December 19, 2023 03:24 1m 58s
feat: regex capture groups CI #20: Pull request #9 opened by fgdorais
December 19, 2023 03:21 1m 57s regex
regex
December 19, 2023 03:21 1m 57s
Update Toolchain Update Toolchain #24: Scheduled
December 19, 2023 03:01 18s main
main
December 19, 2023 03:01 18s
fix: update examples CI #19: Commit 518a3ff pushed by fgdorais
December 19, 2023 02:07 1m 53s main
main
December 19, 2023 02:07 1m 53s
feat: rudimentary regex support CI #18: Commit 4e9af27 pushed by fgdorais
December 18, 2023 09:58 1m 52s main
main
December 18, 2023 09:58 1m 52s
feat: rudimentary regex support CI #17: Pull request #8 opened by fgdorais
December 18, 2023 09:51 2m 0s regex
regex
December 18, 2023 09:51 2m 0s
fix: better test CI #16: Commit f130fd0 pushed by fgdorais
December 18, 2023 07:09 1m 51s main
main
December 18, 2023 07:09 1m 51s
Update Toolchain Update Toolchain #23: Scheduled
December 18, 2023 03:01 12s main
main
December 18, 2023 03:01 12s
Update Toolchain Update Toolchain #22: Scheduled
December 17, 2023 03:01 14s main
main
December 17, 2023 03:01 14s
fix: BNF example CI #15: Commit 1a05a80 pushed by fgdorais
December 16, 2023 21:53 1m 50s main
main
December 16, 2023 21:53 1m 50s
fix: BNF example CI #14: Pull request #7 opened by fgdorais
December 16, 2023 21:53 1m 54s fix-bnf
fix-bnf
December 16, 2023 21:53 1m 54s
Update Toolchain Update Toolchain #21: Scheduled
December 16, 2023 03:01 18s main
main
December 16, 2023 03:01 18s
Update Toolchain Update Toolchain #20: Scheduled
December 15, 2023 03:01 17s main
main
December 15, 2023 03:01 17s
Update Toolchain Update Toolchain #19: Scheduled
December 14, 2023 03:01 12s main
main
December 14, 2023 03:01 12s
Update Toolchain Update Toolchain #18: Scheduled
December 13, 2023 03:01 12s main
main
December 13, 2023 03:01 12s
feat: make more defs tail recursive (#6) CI #13: Commit 59c543c pushed by fgdorais
December 12, 2023 05:29 2m 0s main
main
December 12, 2023 05:29 2m 0s
feat: make more defs tail recursive CI #12: Pull request #6 synchronize by fgdorais
December 12, 2023 05:27 1m 50s foldl
foldl
December 12, 2023 05:27 1m 50s
feat: make more defs tail recursive CI #11: Pull request #6 synchronize by fgdorais
December 12, 2023 05:25 1m 56s foldl
foldl
December 12, 2023 05:25 1m 56s
feat: make more defs tail recursive CI #10: Pull request #6 synchronize by fgdorais
December 12, 2023 05:21 1m 49s foldl
foldl
December 12, 2023 05:21 1m 49s
feat: make more defs tail recursive CI #9: Pull request #6 synchronize by fgdorais
December 12, 2023 05:05 1m 56s foldl
foldl
December 12, 2023 05:05 1m 56s
ProTip! You can narrow down the results and go further in time using created:<2023-12-12 or the other filters available.