Skip to content

Actions: b-mehta/ABC-Exceptions

Actions

Test project, make blueprint, add documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
89 workflow runs
89 workflow runs

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 actions/checkout from 5.0.0 to 6.0.2 Test project, make blueprint, add documentation #89: Pull request #76 opened by dependabot bot
3m 52s dependabot/github_actions/actions/checkout-6.0.2
dependabot/github_actions/actions/checkout-6.0.2
3m 52s
Bump leanprover/lean-action from 1.3.0 to 1.4.0 Test project, make blueprint, add documentation #88: Pull request #75 opened by dependabot bot
3m 50s dependabot/github_actions/leanprover/lean-action-1.4.0
dependabot/github_actions/leanprover/lean-action-1.4.0
3m 50s
Bump actions/checkout from 5.0.0 to 6.0.1 Test project, make blueprint, add documentation #87: Pull request #74 opened by dependabot bot
4m 39s dependabot/github_actions/actions/checkout-6.0.1
dependabot/github_actions/actions/checkout-6.0.1
4m 39s
Bump actions/checkout from 5.0.0 to 6.0.0 Test project, make blueprint, add documentation #86: Pull request #73 opened by dependabot bot
3m 56s dependabot/github_actions/actions/checkout-6.0.0
dependabot/github_actions/actions/checkout-6.0.0
3m 56s
Merge pull request #72 from b-mehta/dependabot/github_actions/actions… Test project, make blueprint, add documentation #85: Commit d8ace7b pushed by pitmonticone
24m 56s main
main
24m 56s
Bump actions/checkout from 4.2.2 to 5.0.0 Test project, make blueprint, add documentation #84: Pull request #72 opened by dependabot bot
5m 8s dependabot/github_actions/actions/checkout-5.0.0
dependabot/github_actions/actions/checkout-5.0.0
5m 8s
Merge pull request #71 from b-mehta/dependabot/github_actions/leanpro… Test project, make blueprint, add documentation #83: Commit 45015e0 pushed by pitmonticone
24m 48s main
main
24m 48s
Bump leanprover-community/lean-release-tag from 0a978e45247f1ef211cd9d7f99d0dbd87638a70a to 9ca7ed09e240259871327bfc3a3a8d8c4bcb41aa Test project, make blueprint, add documentation #82: Pull request #71 opened by dependabot bot
4m 32s dependabot/github_actions/leanprover-community/lean-release-tag-9ca7ed09e240259871327bfc3a3a8d8c4bcb41aa
dependabot/github_actions/leanprover-community/lean-release-tag-9ca7ed09e240259871327bfc3a3a8d8c4bcb41aa
4m 32s
Merge pull request #70 from b-mehta/dependabot/github_actions/leanpro… Test project, make blueprint, add documentation #81: Commit 3e3d4f9 pushed by pitmonticone
27m 26s main
main
27m 26s
Bump leanprover/lean-action from 1.2.0 to 1.3.0 Test project, make blueprint, add documentation #80: Pull request #70 opened by dependabot bot
4m 31s dependabot/github_actions/leanprover/lean-action-1.3.0
dependabot/github_actions/leanprover/lean-action-1.3.0
4m 31s
Bump nokogiri from 1.18.8 to 1.18.9 in /home_page (#69) Test project, make blueprint, add documentation #79: Commit 8f4b63b pushed by b-mehta
26m 1s main
main
26m 1s
Bump nokogiri from 1.18.8 to 1.18.9 in /home_page Test project, make blueprint, add documentation #78: Pull request #69 opened by dependabot bot
5m 1s dependabot/bundler/home_page/nokogiri-1.18.9
dependabot/bundler/home_page/nokogiri-1.18.9
5m 1s
Update docgen-action to latest commit in build workflow (#68) Test project, make blueprint, add documentation #77: Commit 2652d4c pushed by b-mehta
24m 41s main
main
24m 41s
Update docgen-action to latest commit in build workflow Test project, make blueprint, add documentation #76: Pull request #68 opened by pitmonticone
4m 28s pitmonticone/bump-docgen-action
pitmonticone/bump-docgen-action
4m 28s
Merge pull request #67 from b-mehta/pitmonticone/golf-workflow Test project, make blueprint, add documentation #75: Commit ac3581f pushed by pitmonticone
24m 18s main
main
24m 18s
chore: refactor build workflow to use docgen-action Test project, make blueprint, add documentation #74: Pull request #67 synchronize by pitmonticone
4m 17s pitmonticone/golf-workflow
pitmonticone/golf-workflow
4m 17s
chore: refactor build workflow to use docgen-action Test project, make blueprint, add documentation #73: Pull request #67 synchronize by b-mehta
4m 11s pitmonticone/golf-workflow
pitmonticone/golf-workflow
4m 11s
chore: refactor build workflow to use docgen-action Test project, make blueprint, add documentation #72: Pull request #67 synchronize by b-mehta
1s pitmonticone/golf-workflow
pitmonticone/golf-workflow
1s
chore: refactor build workflow to use docgen-action Test project, make blueprint, add documentation #71: Pull request #67 opened by pitmonticone
3m 34s pitmonticone/golf-workflow
pitmonticone/golf-workflow
3m 34s
Bump ruby/setup-ruby from 1.244.0 to 1.245.0 (#66) Test project, make blueprint, add documentation #70: Commit 342788a pushed by b-mehta
5m 43s main
main
5m 43s
Bump ruby/setup-ruby from 1.244.0 to 1.245.0 Test project, make blueprint, add documentation #69: Pull request #66 opened by dependabot bot
1m 21s dependabot/github_actions/ruby/setup-ruby-1.245.0
dependabot/github_actions/ruby/setup-ruby-1.245.0
1m 21s
chore: change dependabot frequency from monthly to weekly (#63) Test project, make blueprint, add documentation #68: Commit b81e1ea pushed by b-mehta
20m 3s main
main
20m 3s
Merge pull request #64 from b-mehta/pitmonticone/bump_mathlib-update-… Test project, make blueprint, add documentation #67: Commit 0aa71f8 pushed by pitmonticone
7m 43s main
main
7m 43s
chore: bump mathlib-update-action Test project, make blueprint, add documentation #66: Pull request #64 opened by pitmonticone
1m 28s pitmonticone/bump_mathlib-update-action
pitmonticone/bump_mathlib-update-action
1m 28s
chore: change dependabot frequency from monthly to weekly Test project, make blueprint, add documentation #65: Pull request #63 opened by pitmonticone
1m 26s pitmonticone/dependabot_change_frequency
pitmonticone/dependabot_change_frequency
1m 26s