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 #38: Scheduled
January 1, 2024 03:01 20s main
main
January 1, 2024 03:01 20s
Update Toolchain Update Toolchain #37: Scheduled
December 31, 2023 03:01 16s main
main
December 31, 2023 03:01 16s
Update Toolchain Update Toolchain #36: Scheduled
December 30, 2023 03:01 13s main
main
December 30, 2023 03:01 13s
Update Toolchain Update Toolchain #35: Scheduled
December 29, 2023 03:01 13s main
main
December 29, 2023 03:01 13s
chore: update deps CI #37: Commit e13af0e pushed by fgdorais
December 28, 2023 21:28 1m 54s main
main
December 28, 2023 21:28 1m 54s
Update Toolchain Update Toolchain #34: Scheduled
December 28, 2023 03:01 15s main
main
December 28, 2023 03:01 15s
Update Toolchain Update Toolchain #33: Scheduled
December 27, 2023 03:01 17s main
main
December 27, 2023 03:01 17s
Update Toolchain Update Toolchain #32: Scheduled
December 26, 2023 03:01 13s main
main
December 26, 2023 03:01 13s
Update Toolchain Update Toolchain #31: Scheduled
December 25, 2023 03:01 11s main
main
December 25, 2023 03:01 11s
Update Toolchain Update Toolchain #30: Scheduled
December 24, 2023 03:01 17s main
main
December 24, 2023 03:01 17s
feat: refactor capture functions CI #36: Commit df99295 pushed by fgdorais
December 23, 2023 06:02 1m 49s main
main
December 23, 2023 06:02 1m 49s
Update Toolchain Update Toolchain #29: Scheduled
December 23, 2023 03:01 18s main
main
December 23, 2023 03:01 18s
fix: make hyphen special in regex classes CI #35: Commit 5be007a pushed by fgdorais
December 23, 2023 02:58 1m 48s main
main
December 23, 2023 02:58 1m 48s
chore: update docs CI #34: Commit 885d929 pushed by fgdorais
December 23, 2023 02:43 1m 49s main
main
December 23, 2023 02:43 1m 49s
feat: regex compiler support for character ranges CI #33: Commit 32ab4f8 pushed by fgdorais
December 23, 2023 02:27 1m 56s main
main
December 23, 2023 02:27 1m 56s
feat: regex compiler support for character escapes CI #32: Commit 41d6514 pushed by fgdorais
December 23, 2023 02:03 1m 45s main
main
December 23, 2023 02:03 1m 45s
feat: add parser capture (#12) CI #31: Commit bb2fe27 pushed by fgdorais
December 22, 2023 13:59 1m 57s main
main
December 22, 2023 13:59 1m 57s
feat: add parser capture CI #30: Pull request #12 synchronize by fgdorais
December 22, 2023 13:56 1m 51s capture
capture
December 22, 2023 13:56 1m 51s
feat: add parser capture CI #29: Pull request #12 opened by fgdorais
December 22, 2023 13:54 1m 47s capture
capture
December 22, 2023 13:54 1m 47s
Update Toolchain Update Toolchain #28: Scheduled
December 22, 2023 03:01 17s main
main
December 22, 2023 03:01 17s
chore: update toolchain v4.5.0-rc1 CI #28: Commit 9af869c pushed by fgdorais
December 22, 2023 00:35 1m 46s main
main
December 22, 2023 00:35 1m 46s
chore: update toolchain v4.5.0-rc1 CI #27: Pull request #11 synchronize by fgdorais
December 22, 2023 00:26 1m 56s update-toolchain-v4.5.0-rc1
update-toolchain-v4.5.0-rc1
December 22, 2023 00:26 1m 56s
Update Toolchain Update Toolchain #27: Manually run by fgdorais
December 22, 2023 00:23 13s main
main
December 22, 2023 00:23 13s
Update Toolchain Update Toolchain #26: Scheduled
December 21, 2023 03:01 15s main
main
December 21, 2023 03:01 15s
feat: more regex functions CI #26: Commit 72c973f pushed by fgdorais
December 20, 2023 09:44 1m 58s main
main
December 20, 2023 09:44 1m 58s
ProTip! You can narrow down the results and go further in time using created:<2023-12-20 or the other filters available.