Skip to content

Actions: leanprover/verso

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
221 workflow run results
221 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Save HTML output too Continuous Integration #146: Commit 610ac2b pushed by david-christiansen
March 13, 2024 09:17 2m 24s manual-state
manual-state
March 13, 2024 09:17 2m 24s
fix: minor highlighting issue for info display (#52) Continuous Integration #145: Commit 06fa724 pushed by david-christiansen
March 11, 2024 13:47 2m 14s main
main
March 11, 2024 13:47 2m 14s
fix: minor highlighting issue for info display Continuous Integration #144: Pull request #52 opened by david-christiansen
March 11, 2024 13:44 2m 5s hl-fix
hl-fix
March 11, 2024 13:44 2m 5s
fix: minor highlighting issue for info display Continuous Integration #143: Commit e2754e8 pushed by david-christiansen
March 11, 2024 13:44 2m 13s hl-fix
hl-fix
March 11, 2024 13:44 2m 13s
feat: add an argument parser for code blocks, roles, and directives (… Continuous Integration #142: Commit 3e8374f pushed by david-christiansen
March 7, 2024 13:58 2m 39s main
main
March 7, 2024 13:58 2m 39s
feat: add an argument parser for code blocks, roles, and directives Continuous Integration #141: Pull request #51 opened by david-christiansen
March 7, 2024 11:46 2m 8s manual-hl
manual-hl
March 7, 2024 11:46 2m 8s
feat: add an argument parser for code blocks, roles, and directives Continuous Integration #140: Commit 677e8bd pushed by david-christiansen
March 7, 2024 11:42 2m 8s manual-hl
manual-hl
March 7, 2024 11:42 2m 8s
feat: code examples from separate Lean package (#50) Continuous Integration #139: Commit 2ea4c01 pushed by david-christiansen
March 7, 2024 08:18 3m 8s main
main
March 7, 2024 08:18 3m 8s
feat: code examples from separate Lean package Continuous Integration #138: Pull request #50 synchronize by david-christiansen
March 7, 2024 08:09 3m 3s subverso
subverso
March 7, 2024 08:09 3m 3s
feat: port to SubVerso Continuous Integration #137: Commit 9bef028 pushed by david-christiansen
March 7, 2024 08:09 3m 0s subverso
subverso
March 7, 2024 08:09 3m 0s
feat: code examples from separate Lean package Continuous Integration #136: Pull request #50 synchronize by david-christiansen
March 5, 2024 21:49 2m 33s subverso
subverso
March 5, 2024 21:49 2m 33s
feat: port to SubVerso Continuous Integration #135: Commit 8ae46f3 pushed by david-christiansen
March 5, 2024 21:49 2m 35s subverso
subverso
March 5, 2024 21:49 2m 35s
feat: code examples from separate Lean package Continuous Integration #134: Pull request #50 opened by david-christiansen
March 5, 2024 21:43 15s subverso
subverso
March 5, 2024 21:43 15s
feat: port to SubVerso Continuous Integration #133: Commit a623c45 pushed by david-christiansen
March 5, 2024 21:43 24s subverso
subverso
March 5, 2024 21:43 24s
wip: port to SubVerso Continuous Integration #132: Commit df6b489 pushed by david-christiansen
March 4, 2024 21:38 21s subverso
subverso
March 4, 2024 21:38 21s
fix: guard CSS hover rules in a media query Continuous Integration #131: Commit 34a9097 pushed by david-christiansen
March 4, 2024 19:27 1m 47s main
main
March 4, 2024 19:27 1m 47s
fix: guard CSS hover rules in a media query Continuous Integration #130: Pull request #49 opened by david-christiansen
March 4, 2024 19:22 1m 52s hover-css-media
hover-css-media
March 4, 2024 19:22 1m 52s
fix: guard CSS hover rules in a media query Continuous Integration #129: Commit b2a5815 pushed by david-christiansen
March 4, 2024 19:22 1m 35s hover-css-media
hover-css-media
March 4, 2024 19:22 1m 35s
feat: summaries of long output in blog genre Continuous Integration #128: Commit 7754086 pushed by david-christiansen
February 27, 2024 14:17 1m 46s main
main
February 27, 2024 14:17 1m 46s
feat: summaries of long output in blog genre Continuous Integration #127: Pull request #48 opened by david-christiansen
February 27, 2024 14:13 1m 44s summary-output
summary-output
February 27, 2024 14:13 1m 44s
feat: summaries of long output in blog genre Continuous Integration #126: Commit d49c96f pushed by david-christiansen
February 27, 2024 14:13 1m 51s summary-output
summary-output
February 27, 2024 14:13 1m 51s
chore: ignore .lake and _out Continuous Integration #125: Commit 5fcd4b6 pushed by david-christiansen
February 27, 2024 06:05 2m 13s main
main
February 27, 2024 06:05 2m 13s
chore: remove Std dependency Continuous Integration #124: Commit 3e65d00 pushed by david-christiansen
February 27, 2024 06:04 2m 22s main
main
February 27, 2024 06:04 2m 22s
chore: remove Std dependency Continuous Integration #123: Pull request #47 opened by david-christiansen
February 26, 2024 12:20 3m 44s nostd
nostd
February 26, 2024 12:20 3m 44s
chore: remove Std dependency Continuous Integration #122: Commit 91d3367 pushed by david-christiansen
February 26, 2024 12:19 2m 7s nostd
nostd
February 26, 2024 12:19 2m 7s