Skip to content

Actions: leanprover-community/lean4-mode

Actions

Update abbreviations.json

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
update-abbr.yml
4 workflow runs
4 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update abbreviations.json Update abbreviations.json #5: Manually run by urkud
December 6, 2024 14:49 15s master
master
December 6, 2024 14:49 15s
Update abbreviations.json Update abbreviations.json #4: Manually run by urkud
March 6, 2024 14:56 12s master
master
March 6, 2024 14:56 12s
Update abbreviations.json Update abbreviations.json #3: Manually run by urkud
February 29, 2024 13:48 14s master
master
February 29, 2024 13:48 14s
Update abbreviations.json Update abbreviations.json #2: Manually run by urkud
February 23, 2024 17:07 15s master
master
February 23, 2024 17:07 15s