Skip to content

Actions: david-christiansen/lean4

Actions

Actionlint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
actionlint.yml
5 workflow runs
5 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: do not ban .. with a . on the next line (#4768) Actionlint #5: Commit b74f85a pushed by david-christiansen
September 17, 2024 12:18 3m 2s master
master
September 17, 2024 12:18 3m 2s
fix: make cdot anonymous function notation handle ambiguous notation … Actionlint #4: Commit 95bf679 pushed by david-christiansen
August 10, 2024 05:44 2m 43s master
master
August 10, 2024 05:44 2m 43s
chore: missing withSynthesize in #check_tactic (#4489) Actionlint #3: Commit 2995e74 pushed by david-christiansen
June 18, 2024 06:14 26s master
master
June 18, 2024 06:14 26s
Merge branch 'master' of https://github.com/leanprover/lean4 into inc… Actionlint #2: Commit b8c96ee pushed by david-christiansen
April 4, 2024 13:16 38s master
master
April 4, 2024 13:16 38s
chore: upstream orphaned tests from Std (#3539) Actionlint #1: Commit 755de48 pushed by david-christiansen
February 29, 2024 04:55 28s master
master
February 29, 2024 04:55 28s