Skip to content

Actions: Julian/tree-sitter-lean

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
53 workflow runs
53 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI CI #774: Scheduled
January 10, 2025 01:55 46s main
main
January 10, 2025 01:55 46s
CI CI #773: Scheduled
January 9, 2025 02:02 7m 42s main
main
January 9, 2025 02:02 7m 42s
CI CI #772: Scheduled
January 8, 2025 01:53 42s main
main
January 8, 2025 01:53 42s
CI CI #771: Scheduled
January 7, 2025 01:54 41s main
main
January 7, 2025 01:54 41s
CI CI #770: Scheduled
January 6, 2025 01:56 47s main
main
January 6, 2025 01:56 47s
CI CI #769: Scheduled
January 5, 2025 01:57 42s main
main
January 5, 2025 01:57 42s
CI CI #768: Scheduled
January 4, 2025 01:52 39s main
main
January 4, 2025 01:52 39s
Maybe correcter apply with repeated args. CI #767: Commit 2bea8da pushed by Julian
January 3, 2025 02:14 49s ab-initio
ab-initio
January 3, 2025 02:14 49s
CI CI #766: Scheduled
January 3, 2025 01:53 44s main
main
January 3, 2025 01:53 44s
First attempt at tactic blocks. CI #765: Commit d4f9fbb pushed by Julian
January 3, 2025 01:30 1m 6s ab-initio
ab-initio
January 3, 2025 01:30 1m 6s
CI CI #764: Scheduled
January 2, 2025 01:53 43s main
main
January 2, 2025 01:53 43s
CI CI #763: Scheduled
January 1, 2025 01:57 38s main
main
January 1, 2025 01:57 38s
CI CI #762: Scheduled
December 31, 2024 01:53 40s main
main
December 31, 2024 01:53 40s
R[X] in Mathlib. CI #761: Commit 5186877 pushed by Julian
December 30, 2024 15:41 53s ab-initio
ab-initio
December 30, 2024 15:41 53s
CI CI #760: Scheduled
December 30, 2024 01:55 45s main
main
December 30, 2024 01:55 45s
Anonymous constructors. CI #759: Commit 18bcdf3 pushed by Julian
December 29, 2024 19:13 49s ab-initio
ab-initio
December 29, 2024 19:13 49s
Open scoped CI #758: Commit d39579e pushed by Julian
December 29, 2024 17:27 1m 0s ab-initio
ab-initio
December 29, 2024 17:27 1m 0s
Open only. CI #757: Commit cd65d69 pushed by Julian
December 29, 2024 17:20 55s ab-initio
ab-initio
December 29, 2024 17:20 55s
Specific support for Type*. CI #756: Commit c4f7ae8 pushed by Julian
December 29, 2024 16:21 53s ab-initio
ab-initio
December 29, 2024 16:21 53s
interpolated strings CI #755: Commit eac56e5 pushed by Julian
December 29, 2024 03:01 51s ab-initio
ab-initio
December 29, 2024 03:01 51s
variable and arrow CI #754: Commit 31819fd pushed by Julian
December 29, 2024 02:44 50s ab-initio
ab-initio
December 29, 2024 02:44 50s
ite, sorry, booleans, char CI #753: Commit e0b4d80 pushed by Julian
December 29, 2024 02:18 48s ab-initio
ab-initio
December 29, 2024 02:18 48s
CI CI #752: Scheduled
December 29, 2024 01:57 2m 38s main
main
December 29, 2024 01:57 2m 38s
Enough to pass the Open In test. CI #751: Commit 7d0b10b pushed by Julian
December 28, 2024 16:59 54s ab-initio
ab-initio
December 28, 2024 16:59 54s
section + namespace CI #750: Commit e81d490 pushed by Julian
December 28, 2024 16:50 48s ab-initio
ab-initio
December 28, 2024 16:50 48s