Skip to content

Actions: theoremlp/rules_multitool

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
168 workflow runs
168 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
feat: add a JSON schema so that tools like editors give completion an… CI #53: Pull request #15 synchronize by mark-thm
March 8, 2024 15:35 59s alexeagle:schema
alexeagle:schema
March 8, 2024 15:35 59s
feat: add a JSON schema so that tools like editors give completion an… CI #52: Pull request #15 synchronize by mark-thm
March 8, 2024 15:35 41s alexeagle:schema
alexeagle:schema
March 8, 2024 15:35 41s
Only download necessary toolchains (#16) Release #16: Commit 64b15e5 pushed by mark-thm
March 8, 2024 15:24 23s v0.3.0
v0.3.0
March 8, 2024 15:24 23s
Only download necessary toolchains (#16) CI #51: Commit 64b15e5 pushed by mark-thm
March 8, 2024 15:22 1m 41s main
main
March 8, 2024 15:22 1m 41s
feat: add a JSON schema so that tools like editors give completion an… CI #50: Pull request #15 synchronize by alexeagle
March 8, 2024 15:18 50s alexeagle:schema
alexeagle:schema
March 8, 2024 15:18 50s
feat: add a JSON schema so that tools like editors give completion an… CI #49: Pull request #15 synchronize by alexeagle
March 8, 2024 15:15 38s alexeagle:schema
alexeagle:schema
March 8, 2024 15:15 38s
Only download necessary toolchains CI #48: Pull request #16 synchronize by mark-thm
March 8, 2024 15:12 46s me/sparse-download
me/sparse-download
March 8, 2024 15:12 46s
Only download necessary toolchains CI #47: Pull request #16 synchronize by mark-thm
March 8, 2024 15:03 50s me/sparse-download
me/sparse-download
March 8, 2024 15:03 50s
Only download necessary toolchains CI #46: Pull request #16 synchronize by mark-thm
March 8, 2024 15:00 39s me/sparse-download
me/sparse-download
March 8, 2024 15:00 39s
Only download necessary toolchains CI #45: Pull request #16 synchronize by mark-thm
March 8, 2024 14:32 43s me/sparse-download
me/sparse-download
March 8, 2024 14:32 43s
Only download necessary toolchains CI #44: Pull request #16 synchronize by mark-thm
March 8, 2024 14:27 51s me/sparse-download
me/sparse-download
March 8, 2024 14:27 51s
Only download necessary toolchains CI #43: Pull request #16 opened by mark-thm
March 8, 2024 14:24 41s me/sparse-download
me/sparse-download
March 8, 2024 14:24 41s
Add a test reproducing #13 (#14) CI #42: Commit f422ff6 pushed by mark-thm
March 8, 2024 14:24 3m 34s main
main
March 8, 2024 14:24 3m 34s
feat: add a JSON schema so that tools like editors give completion an… CI #41: Pull request #15 opened by alexeagle
March 8, 2024 04:55 38s alexeagle:schema
alexeagle:schema
March 8, 2024 04:55 38s
chore: add a test reproducing #13 CI #40: Pull request #14 opened by alexeagle
March 8, 2024 02:03 54s alexeagle:repro
alexeagle:repro
March 8, 2024 02:03 54s
Do not download non-local binaries CI #39: Pull request #12 synchronize by mark-thm
March 6, 2024 21:59 52s me/only-download-local-bins
me/only-download-local-bins
March 6, 2024 21:59 52s
Do not download non-local binaries CI #38: Pull request #12 synchronize by mark-thm
March 6, 2024 21:57 40s me/only-download-local-bins
me/only-download-local-bins
March 6, 2024 21:57 40s
Do not download non-local binaries CI #37: Pull request #12 synchronize by mark-thm
March 6, 2024 21:56 39s me/only-download-local-bins
me/only-download-local-bins
March 6, 2024 21:56 39s
Do not download non-local binaries CI #36: Pull request #12 synchronize by mark-thm
March 6, 2024 21:55 30s me/only-download-local-bins
me/only-download-local-bins
March 6, 2024 21:55 30s
Do not download non-local binaries CI #35: Pull request #12 synchronize by mark-thm
March 6, 2024 21:52 39s me/only-download-local-bins
me/only-download-local-bins
March 6, 2024 21:52 39s
Do not download non-local binaries CI #34: Pull request #12 synchronize by mark-thm
March 6, 2024 21:45 50s me/only-download-local-bins
me/only-download-local-bins
March 6, 2024 21:45 50s
Do not download non-local binaries CI #33: Pull request #12 synchronize by mark-thm
March 6, 2024 21:44 39s me/only-download-local-bins
me/only-download-local-bins
March 6, 2024 21:44 39s
Do not download non-local binaries CI #32: Pull request #12 opened by mark-thm
March 6, 2024 21:43 41s me/only-download-local-bins
me/only-download-local-bins
March 6, 2024 21:43 41s
Add new required field to presubmit.yml (#10) CI #31: Commit 98c6937 pushed by mark-thm
February 27, 2024 03:46 2m 33s main
main
February 27, 2024 03:46 2m 33s
Add new required field to presubmit.yml CI #30: Pull request #10 opened by mark-thm
February 27, 2024 03:42 52s mark-thm-patch-1
mark-thm-patch-1
February 27, 2024 03:42 52s