Skip to content

Actions: project-numina/BrascampLieb

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
21 workflow runs
21 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
Merge pull request #4 from project-numina/update-readme Lean Action CI #15: Commit 413f2bf pushed by HW702
39m 23s main
main
39m 23s
Merge pull request #4 from project-numina/update-readme Compile blueprint #5: Commit 413f2bf pushed by HW702
43m 34s main
main
43m 34s
update README.md Lean Action CI #14: Pull request #4 synchronize by HW702
1m 32s update-readme
update-readme
1m 32s
a todo in README Lean Action CI #13: Commit e120011 pushed by HW702
9m 2s update-readme
update-readme
9m 2s
update README.md Lean Action CI #12: Pull request #4 opened by HW702
3m 41s update-readme
update-readme
3m 41s
update README.md Lean Action CI #11: Commit 7392e00 pushed by HW702
41m 43s update-readme
update-readme
41m 43s
Merge pull request #3 from project-numina/fix-CI Compile blueprint #4: Commit 9911727 pushed by BoltonBailey
57m 48s main
main
57m 48s
Merge pull request #3 from project-numina/fix-CI Lean Action CI #10: Commit 9911727 pushed by BoltonBailey
39m 59s main
main
39m 59s
CI: add fixes Lean Action CI #9: Pull request #3 opened by BoltonBailey
1m 37s fix-CI
fix-CI
1m 37s
add fixes Lean Action CI #8: Commit 9787879 pushed by BoltonBailey
40m 10s fix-CI
fix-CI
40m 10s
Merge pull request #2 from project-numina/update-4-28 Lean Action CI #7: Commit d5e6866 pushed by BoltonBailey
41m 43s main
main
41m 43s
Merge pull request #2 from project-numina/update-4-28 Create Release #1: Commit d5e6866 pushed by BoltonBailey
9s main
main
9s
Merge pull request #2 from project-numina/update-4-28 Compile blueprint #3: Commit d5e6866 pushed by BoltonBailey
42m 0s main
main
42m 0s
update to v4.28 Lean Action CI #6: Pull request #2 opened by BoltonBailey
3m 46s update-4-28
update-4-28
3m 46s
update to v4.28 Lean Action CI #5: Commit fc1c1db pushed by BoltonBailey
41m 6s update-4-28
update-4-28
41m 6s
Merge pull request #1 from project-numina/linter Lean Action CI #4: Commit 1d03756 pushed by BoltonBailey
1h 55m 38s main
main
1h 55m 38s
Merge pull request #1 from project-numina/linter Compile blueprint #2: Commit 1d03756 pushed by BoltonBailey
1h 57m 53s main
main
1h 57m 53s
Linter Lean Action CI #3: Pull request #1 opened by BoltonBailey
3m 35s linter
linter
3m 35s
claude fixes linters Lean Action CI #2: Commit 17d2584 pushed by BoltonBailey
1h 36m 41s linter
linter
1h 36m 41s
Merge pull request #1 from BoltonBailey/add-files Compile blueprint #1: Commit b721c8c pushed by BoltonBailey
1h 37m 5s main
main
1h 37m 5s
Merge pull request #1 from BoltonBailey/add-files Lean Action CI #1: Commit b721c8c pushed by BoltonBailey
1h 57m 57s main
main
1h 57m 57s