Skip to content

Actions: trusted-programming/mate

Actions

Verify

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
verify.yaml
359 workflow runs
359 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update dylint to 3.2.1 Verify #359: Commit 7b15bd8 pushed by lucarlig
October 11, 2024 10:50 6m 2s main
main
October 11, 2024 10:50 6m 2s
bump to nightly-2024-07-25 Verify #358: Commit 4b417ba pushed by lucarlig
August 27, 2024 07:00 2m 2s 0.1.6
0.1.6
August 27, 2024 07:00 2m 2s
bump to nightly-2024-07-25 Verify #357: Commit 4b417ba pushed by lucarlig
August 27, 2024 06:55 3m 59s main
main
August 27, 2024 06:55 3m 59s
0.1.5 Verify #356: Commit 5d1d797 pushed by lucarlig
August 26, 2024 07:51 5m 32s 0.1.5
0.1.5
August 26, 2024 07:51 5m 32s
0.1.5 Verify #355: Commit 5d1d797 pushed by lucarlig
August 26, 2024 07:50 3m 0s main
main
August 26, 2024 07:50 3m 0s
specify dylint version Verify #354: Commit 8182e42 pushed by lucarlig
August 23, 2024 06:00 5m 42s main
main
August 23, 2024 06:00 5m 42s
specify dylint version Verify #353: Commit 11bffce pushed by lucarlig
August 23, 2024 05:48 1m 59s main
main
August 23, 2024 05:48 1m 59s
Update README.md Verify #352: Commit 9506a69 pushed by lucarlig
August 23, 2024 05:24 2m 18s main
main
August 23, 2024 05:24 2m 18s
Update README.md Verify #351: Commit fe16299 pushed by lucarlig
June 27, 2024 13:43 6m 16s main
main
June 27, 2024 13:43 6m 16s
fix obligations error for main merge Verify #350: Commit 93277ac pushed by lucarlig
May 23, 2024 09:30 9m 47s main
main
May 23, 2024 09:30 9m 47s
fix obligations error for main merge Verify #349: Commit 93277ac pushed by lucarlig
May 23, 2024 09:30 5m 18s infer_type
infer_type
May 23, 2024 09:30 5m 18s
improve inference still problem generating alias Verify #348: Commit 6842017 pushed by lucarlig
May 20, 2024 08:25 5m 51s infer_type
infer_type
May 20, 2024 08:25 5m 51s
WIP: more improvements for no infer Verify #347: Commit e668d7c pushed by lucarlig
April 11, 2024 14:21 5m 33s infer_type
infer_type
April 11, 2024 14:21 5m 33s
WIP: modify get method function with new info Verify #346: Commit fe8877a pushed by lucarlig
April 10, 2024 11:12 3m 28s infer_type
infer_type
April 10, 2024 11:12 3m 28s
WIP: add some more mess in inference Verify #345: Commit ba666ea pushed by lucarlig
April 9, 2024 11:20 4m 20s infer_type
infer_type
April 9, 2024 11:20 4m 20s
Merge branch 'main' into infer_type Verify #344: Commit 3fbced7 pushed by lucarlig
April 9, 2024 09:48 6m 7s infer_type
infer_type
April 9, 2024 09:48 6m 7s
WIP: modify get method function Verify #343: Commit faa2adc pushed by lucarlig
April 8, 2024 11:42 3m 27s infer_type
infer_type
April 8, 2024 11:42 3m 27s
Adding huggingface's candle crate to the benchmarks Verify #342: Commit a3fd258 pushed by borsakv
March 29, 2024 11:02 3m 53s main
main
March 29, 2024 11:02 3m 53s
remove deprecated rayon Verify #341: Commit f060d81 pushed by lucarlig
March 29, 2024 09:08 2m 54s main
main
March 29, 2024 09:08 2m 54s
some bug fixes for try_for_each Verify #340: Commit cfb7a73 pushed by Cameron-Low
March 28, 2024 18:41 2m 55s main
main
March 28, 2024 18:41 2m 55s
new to_iter lint, still WIP but should supercede the previous for_eac… Verify #339: Commit 4f0f5a1 pushed by Cameron-Low
March 28, 2024 16:17 3m 0s main
main
March 28, 2024 16:17 3m 0s
add lint to handle deprecated rayon methods Verify #338: Commit a1a586d pushed by lucarlig
March 25, 2024 16:21 4m 48s main
main
March 25, 2024 16:21 4m 48s
add lint to handle deprecated rayon methods Verify #337: Commit 9fdd2e6 pushed by lucarlig
March 25, 2024 16:19 2m 45s main
main
March 25, 2024 16:19 2m 45s
clean up code and remove benchmarks where there is nothing to paralle… Verify #336: Commit 6043bc1 pushed by lucarlig
March 25, 2024 15:34 2m 30s main
main
March 25, 2024 15:34 2m 30s
remove benchmarks where there is nothing to parallelize Verify #335: Commit a834d1e pushed by lucarlig
March 25, 2024 15:20 2m 25s main
main
March 25, 2024 15:20 2m 25s