Skip to content

Actions: ecoricemon/logic-eval

Actions

check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check.yml
33 workflow runs
33 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
chore: fix comments check #35: Commit d11299a pushed by ecoricemon
45s main
main
45s
clippy check #34: Commit b671d0f pushed by ecoricemon
36s main
main
36s
feat: Implement SLG check #33: Pull request #5 synchronize by ecoricemon
41s impl-slg
impl-slg
41s
feat: Implement SLG check #32: Pull request #5 opened by ecoricemon
37s impl-slg
impl-slg
37s
refactor: Generalize for various input types check #31: Commit 6dffeb8 pushed by ecoricemon
4m 41s main
main
4m 41s
refactor: Generalize for various input types check #30: Pull request #4 synchronize by ecoricemon
2m 49s generalize
generalize
2m 49s
refactor: Generalize for various input types check #29: Pull request #4 opened by ecoricemon
2m 41s generalize
generalize
2m 41s
fix(miri): Do not take &mut for a whole chunk check #28: Commit 45ae860 pushed by ecoricemon
47s main
main
47s
fix: Do not take &mut for a whole chunk check #27: Pull request #3 opened by ecoricemon
47s fix-str-buf
fix-str-buf
47s
Fix MSRV related stuff check #26: Commit 4e77682 pushed by ecoricemon
6m 58s main
main
6m 58s
Fix MSRV related code check #25: Pull request #2 synchronize by ecoricemon
12m 2s chore/msrv
chore/msrv
12m 2s
Fix MSRV related code check #24: Pull request #2 synchronize by ecoricemon
38s chore/msrv
chore/msrv
38s
Fix MSRV related code check #23: Pull request #2 synchronize by ecoricemon
5m 22s chore/msrv
chore/msrv
5m 22s
Fix MSRV related code check #22: Pull request #2 synchronize by ecoricemon
55s chore/msrv
chore/msrv
55s
Fix MSRV related code check #21: Pull request #2 synchronize by ecoricemon
7m 6s chore/msrv
chore/msrv
7m 6s
Fix MSRV related code check #20: Pull request #2 synchronize by ecoricemon
6m 1s chore/msrv
chore/msrv
6m 1s
Fix MSRV related code check #19: Pull request #2 synchronize by ecoricemon
5m 35s chore/msrv
chore/msrv
5m 35s
Fix MSRV related code check #18: Pull request #2 synchronize by ecoricemon
1m 7s chore/msrv
chore/msrv
1m 7s
Fix MSRV check #17: Commit f7f281f pushed by ecoricemon
Failure chore/msrv
chore/msrv
Failure
Fix MSRV related code check #16: Pull request #2 opened by ecoricemon
31s chore/msrv
chore/msrv
31s
Merge pull request #1 from ecoricemon/chore/msrv check #15: Commit 581c297 pushed by ecoricemon
25s main
main
25s
chore: Reduce MSRV to 1.65 check #14: Pull request #1 synchronize by ecoricemon
28s chore/msrv
chore/msrv
28s
chore: Reduce MSRV to 1.65 check #13: Pull request #1 synchronize by ecoricemon
34s chore/msrv
chore/msrv
34s
chore: Reduce MSRV to 1.65 check #12: Pull request #1 synchronize by ecoricemon
35s chore/msrv
chore/msrv
35s
chore: Reduce MSRV to 1.65 check #11: Pull request #1 opened by ecoricemon
26s chore/msrv
chore/msrv
26s