Skip to content

Actions: leanprover/subverso

Actions

Formalities

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
formalities.yml
126 workflow runs
126 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: recur through metadata to get token kinds for expressions (#63) Formalities #126: Commit 6e2fe67 pushed by david-christiansen
December 6, 2024 13:33 13s main
main
December 6, 2024 13:33 13s
fix: recur through metadata to get token kinds for expressions Formalities #125: Pull request #63 opened by david-christiansen
December 6, 2024 13:16 14s instmvar
instmvar
December 6, 2024 13:16 14s
fix: recur through metadata to get token kinds for expressions Formalities #124: Commit 28c3500 pushed by david-christiansen
December 6, 2024 13:16 12s instmvar
instmvar
December 6, 2024 13:16 12s
chore: update versions for testing (#62) Formalities #123: Commit 1c15145 pushed by david-christiansen
December 2, 2024 07:32 18s main
main
December 2, 2024 07:32 18s
chore: update versions for testing Formalities #122: Pull request #62 synchronize by david-christiansen
December 2, 2024 06:45 11s 4.15-rc
4.15-rc
December 2, 2024 06:45 11s
chore: test was spuriously failing, but unnoticed Formalities #121: Commit 5f2f91e pushed by david-christiansen
December 2, 2024 06:45 13s 4.15-rc
4.15-rc
December 2, 2024 06:45 13s
chore: update versions for testing Formalities #120: Pull request #62 synchronize by david-christiansen
December 2, 2024 06:15 14s 4.15-rc
4.15-rc
December 2, 2024 06:15 14s
chore: test was spuriously failing, but unnoticed Formalities #119: Commit d822d63 pushed by david-christiansen
December 2, 2024 06:15 13s 4.15-rc
4.15-rc
December 2, 2024 06:15 13s
chore: update versions for testing Formalities #118: Pull request #62 synchronize by david-christiansen
December 2, 2024 05:49 9s 4.15-rc
4.15-rc
December 2, 2024 05:49 9s
chore: update cache action version Formalities #117: Commit cfb3daa pushed by david-christiansen
December 2, 2024 05:49 14s 4.15-rc
4.15-rc
December 2, 2024 05:49 14s
chore: update versions for testing Formalities #116: Pull request #62 opened by david-christiansen
December 2, 2024 05:47 12s 4.15-rc
4.15-rc
December 2, 2024 05:47 12s
chore: update versions for testing Formalities #115: Commit 88f88f8 pushed by david-christiansen
December 2, 2024 05:47 11s 4.15-rc
4.15-rc
December 2, 2024 05:47 11s
feat: source file highlighting (#61) Formalities #114: Commit 88819d2 pushed by david-christiansen
November 22, 2024 14:01 15s main
main
November 22, 2024 14:01 15s
feat: source file highlighting Formalities #113: Pull request #61 synchronize by david-christiansen
November 21, 2024 15:36 13s hl-mod
hl-mod
November 21, 2024 15:36 13s
fix: look here for module as well Formalities #112: Commit 179e931 pushed by david-christiansen
November 21, 2024 15:36 14s hl-mod
hl-mod
November 21, 2024 15:36 14s
feat: source file highlighting Formalities #111: Pull request #61 synchronize by david-christiansen
November 21, 2024 15:29 14s hl-mod
hl-mod
November 21, 2024 15:29 14s
fix: more informative error message Formalities #110: Commit 0f51d9f pushed by david-christiansen
November 21, 2024 15:29 15s hl-mod
hl-mod
November 21, 2024 15:29 15s
feat: source file highlighting Formalities #109: Pull request #61 synchronize by david-christiansen
November 21, 2024 14:58 14s hl-mod
hl-mod
November 21, 2024 14:58 14s
feat: also highlight executables Formalities #108: Commit 3537a46 pushed by david-christiansen
November 21, 2024 14:58 12s hl-mod
hl-mod
November 21, 2024 14:58 12s
feat: source file highlighting Formalities #107: Pull request #61 opened by david-christiansen
November 20, 2024 15:45 18s hl-mod
hl-mod
November 20, 2024 15:45 18s
feat: source file highlighting Formalities #106: Commit 31cc4a8 pushed by david-christiansen
November 20, 2024 15:45 14s hl-mod
hl-mod
November 20, 2024 15:45 14s
chore: rotate version testing (#60) Formalities #105: Commit f513056 pushed by david-christiansen
November 6, 2024 15:22 9s main
main
November 6, 2024 15:22 9s
chore: rotate version testing Formalities #104: Pull request #60 opened by david-christiansen
November 6, 2024 15:10 8s nightly-2024-11-06
nightly-2024-11-06
November 6, 2024 15:10 8s
chore: rotate version testing Formalities #103: Commit f686c6c pushed by david-christiansen
November 6, 2024 15:10 13s nightly-2024-11-06
nightly-2024-11-06
November 6, 2024 15:10 13s
feat: save definition sites in code examples (#59) Formalities #102: Commit 83bf19c pushed by david-christiansen
November 6, 2024 14:54 14s main
main
November 6, 2024 14:54 14s