Skip to content

Actions: loganrjmurphy/LeanEuclid

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
16 workflow runs
16 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

minor update to readme .github/workflows/blueprint.yml #16: Commit f1912c3 pushed by loganrjmurphy
May 31, 2024 18:33 35m 49s master
master
May 31, 2024 18:33 35m 49s
Merge pull request #2 from loganrjmurphy/docker .github/workflows/blueprint.yml #15: Commit b50829c pushed by yangky11
May 29, 2024 16:55 36m 19s master
master
May 29, 2024 16:55 36m 19s
Update README.md .github/workflows/blueprint.yml #14: Commit 1669056 pushed by yangky11
May 29, 2024 14:28 36m 25s master
master
May 29, 2024 14:28 36m 25s
Update README.md .github/workflows/blueprint.yml #13: Commit fa6c406 pushed by yangky11
May 29, 2024 14:27 35m 40s master
master
May 29, 2024 14:27 35m 40s
first commit .github/workflows/blueprint.yml #12: Commit f44c384 pushed by yangky11
May 28, 2024 17:04 35m 7s master
master
May 28, 2024 17:04 35m 7s
first commit .github/workflows/blueprint.yml #11: Commit 4c55335 pushed by yangky11
May 28, 2024 17:02 35m 31s master
master
May 28, 2024 17:02 35m 31s
update .github/workflows/blueprint.yml #10: Commit 9721e8b pushed by yangky11
May 28, 2024 16:20 35m 46s master
master
May 28, 2024 16:20 35m 46s
Merge branch 'master' of github.com:loganrjmurphy/LeanEuclid .github/workflows/blueprint.yml #9: Commit 1199e68 pushed by yangky11
May 28, 2024 16:04 11m 37s master
master
May 28, 2024 16:04 11m 37s
minor typo .github/workflows/blueprint.yml #8: Commit 102cc4f pushed by loganrjmurphy
May 28, 2024 16:03 12m 31s master
master
May 28, 2024 16:03 12m 31s
minor edits to readmes .github/workflows/blueprint.yml #7: Commit d303833 pushed by loganrjmurphy
May 28, 2024 16:00 12m 32s master
master
May 28, 2024 16:00 12m 32s
update ci .github/workflows/blueprint.yml #6: Commit 51a7efd pushed by yangky11
May 28, 2024 15:30 12m 51s master
master
May 28, 2024 15:30 12m 51s
update ci .github/workflows/blueprint.yml #5: Commit 7093ce6 pushed by yangky11
May 28, 2024 15:26 1m 43s master
master
May 28, 2024 15:26 1m 43s
update ci .github/workflows/blueprint.yml #4: Commit dd0c9c2 pushed by yangky11
May 28, 2024 15:25 Failure master
master
May 28, 2024 15:25 Failure
update ci .github/workflows/blueprint.yml #3: Commit 9f2af81 pushed by yangky11
May 28, 2024 15:19 Failure master
master
May 28, 2024 15:19 Failure
update .github/workflows/blueprint.yml #2: Commit 4ca4bea pushed by yangky11
May 28, 2024 15:14 1m 32s master
master
May 28, 2024 15:14 1m 32s
Merge branch 'blueprint' .github/workflows/blueprint.yml #1: Commit 596e098 pushed by yangky11
May 28, 2024 15:06 1m 32s master
master
May 28, 2024 15:06 1m 32s