Skip to content

Actions: pandaman64/lean-regex

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
202 workflow runs
202 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Bump Lean to v4.32.0 (#169) Deploy Documentation to GitHub Pages #64: Commit e9dcea7 pushed by pandaman64
20m 5s main
main
20m 5s
Bump Lean to v4.32.0 (#169) continuous integration #358: Commit e9dcea7 pushed by pandaman64
5m 36s main
main
5m 36s
Bump Lean to v4.32.0 continuous integration #357: Pull request #169 opened by pelicanhere
6m 5s pelicanhere:bump-lean-4.32.0
pelicanhere:bump-lean-4.32.0
6m 5s
Update docbuild to v4.31.0 (#168) continuous integration #356: Commit f2b41e9 pushed by pandaman64
4m 15s main
main
4m 15s
Update docbuild to v4.31.0 (#168) Deploy Documentation to GitHub Pages #63: Commit f2b41e9 pushed by pandaman64
17m 49s main
main
17m 49s
Update docbuild to v4.31.0 continuous integration #355: Pull request #168 opened by pandaman64
3m 30s v4.31.0-docbuild
v4.31.0-docbuild
3m 30s
update to lean v4.31.0 (#167) Deploy Documentation to GitHub Pages #62: Commit 3e43b33 pushed by pandaman64
8m 49s main
main
8m 49s
update to lean v4.31.0 (#167) continuous integration #354: Commit 3e43b33 pushed by pandaman64
5m 28s main
main
5m 28s
update to lean v4.31.0 continuous integration #353: Pull request #167 synchronize by pandaman64
7m 56s srghma:main
srghma:main
7m 56s
V4.29.0 (#166) continuous integration #350: Commit cdfe4c8 pushed by pandaman64
4m 26s main
main
4m 26s
V4.29.0 (#166) Deploy Documentation to GitHub Pages #61: Commit cdfe4c8 pushed by pandaman64
22m 21s main
main
22m 21s
V4.29.0 continuous integration #349: Pull request #166 opened by pandaman64
6m 20s v4.29.0
v4.29.0
6m 20s
Progress-checking tree continuous integration #348: Pull request #165 synchronize by pandaman64
2m 9s progress-tree
progress-tree
2m 9s
Progress-checking tree continuous integration #347: Pull request #165 synchronize by pandaman64
3m 22s progress-tree
progress-tree
3m 22s
Progress-checking tree continuous integration #346: Pull request #165 opened by pandaman64
4m 53s progress-tree
progress-tree
4m 53s
Path refactor (#164) Deploy Documentation to GitHub Pages #60: Commit 90329fc pushed by pandaman64
17m 3s main
main
17m 3s
Path refactor (#164) continuous integration #345: Commit 90329fc pushed by pandaman64
7m 35s main
main
7m 35s
Path refactor continuous integration #344: Pull request #164 opened by pandaman64
5m 52s path-refactor
path-refactor
5m 52s
Fix empty star (#162) continuous integration #343: Commit 48fc31d pushed by pandaman64
7m 28s main
main
7m 28s
Fix empty star (#162) Deploy Documentation to GitHub Pages #59: Commit 48fc31d pushed by pandaman64
16m 56s main
main
16m 56s
Fix empty star continuous integration #342: Pull request #162 synchronize by pandaman64
3m 38s fix-empty-star
fix-empty-star
3m 38s
Fix empty star continuous integration #341: Pull request #162 synchronize by pandaman64
4m 23s fix-empty-star
fix-empty-star
4m 23s
Fix empty star continuous integration #340: Pull request #162 synchronize by pandaman64
3m 49s fix-empty-star
fix-empty-star
3m 49s
Do not expose nfa.nodes.size (#161) Deploy Documentation to GitHub Pages #58: Commit 47dfe20 pushed by pandaman64
16m 54s main
main
16m 54s
Do not expose nfa.nodes.size (#161) continuous integration #339: Commit 47dfe20 pushed by pandaman64
1m 59s main
main
1m 59s