Skip to content

Actions: dagurtomas/LeanCondensed

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
43 workflow runs
43 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix error .github/workflows/push.yml #13: Commit 342761d pushed by dagurtomas
June 14, 2024 23:26 2m 11s master
master
June 14, 2024 23:26 2m 11s
Merge branch 'master' of github.com:dagurtomas/LeanCondensed .github/workflows/push.yml #12: Commit 9946698 pushed by dagurtomas
June 14, 2024 23:25 1m 45s master
master
June 14, 2024 23:25 1m 45s
Merge pull request #2 from nimarasekh/master .github/workflows/push.yml #11: Commit 16ee575 pushed by dagurtomas
June 14, 2024 23:23 1m 44s master
master
June 14, 2024 23:23 1m 44s
Completed 2 more sorries and fixed some bracketing .github/workflows/push_pr.yml #5: Pull request #2 synchronize by dagurtomas
June 14, 2024 23:20 1m 58s nimarasekh:master
nimarasekh:master
June 14, 2024 23:20 1m 58s
Completed 2 more sorries and fixed some bracketing .github/workflows/push_pr.yml #4: Pull request #2 synchronize by dagurtomas
June 14, 2024 23:20 1m 49s nimarasekh:master
nimarasekh:master
June 14, 2024 23:20 1m 49s
working on epi limit of epi .github/workflows/push.yml #10: Commit 6334c22 pushed by dagurtomas
June 14, 2024 23:19 1m 56s master
master
June 14, 2024 23:19 1m 56s
Completed 2 more sorries and fixed some bracketing .github/workflows/push_pr.yml #3: Pull request #2 synchronize by dagurtomas
June 14, 2024 23:12 1m 49s nimarasekh:master
nimarasekh:master
June 14, 2024 23:12 1m 49s
Completed 2 more sorries and fixed some bracketing .github/workflows/push_pr.yml #2: Pull request #2 synchronize by nimarasekh
June 14, 2024 17:22 2m 6s nimarasekh:master
nimarasekh:master
June 14, 2024 17:22 2m 6s
Completed 2 more sorries and fixed some bracketing .github/workflows/push_pr.yml #1: Pull request #2 synchronize by nimarasekh
June 14, 2024 17:09 1m 52s nimarasekh:master
nimarasekh:master
June 14, 2024 17:09 1m 52s
work on sequential limits of light condensed objects .github/workflows/push.yml #9: Commit 731cb11 pushed by dagurtomas
June 14, 2024 15:05 2m 1s master
master
June 14, 2024 15:05 2m 1s
... .github/workflows/push.yml #8: Commit b7b1061 pushed by dagurtomas
June 14, 2024 12:57 1m 48s master
master
June 14, 2024 12:57 1m 48s
fix a name .github/workflows/push.yml #7: Commit 67ad313 pushed by dagurtomas
June 14, 2024 11:26 1m 44s master
master
June 14, 2024 11:26 1m 44s
change a name .github/workflows/push.yml #6: Commit 73700ed pushed by dagurtomas
June 14, 2024 11:19 1m 54s master
master
June 14, 2024 11:19 1m 54s
fix some CI warning .github/workflows/push.yml #5: Commit 49949b3 pushed by dagurtomas
June 14, 2024 11:01 1m 43s master
master
June 14, 2024 11:01 1m 43s
some AB scaffolding .github/workflows/push.yml #4: Commit 6228a21 pushed by dagurtomas
June 14, 2024 10:58 1m 51s master
master
June 14, 2024 10:58 1m 51s
some AB scaffolding .github/workflows/push.yml #3: Commit a699379 pushed by dagurtomas
June 14, 2024 10:58 1m 51s master
master
June 14, 2024 10:58 1m 51s
... .github/workflows/push.yml #2: Commit 9d67b2e pushed by dagurtomas
June 14, 2024 10:35 2m 1s master
master
June 14, 2024 10:35 2m 1s
fix CI .github/workflows/push.yml #1: Commit 834ebd3 pushed by dagurtomas
June 14, 2024 09:10 1h 26m 59s master
master
June 14, 2024 09:10 1h 26m 59s