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

feat: basic inclusion of docstrings in manuals Continuous Integration #191: Pull request #73 opened by david-christiansen
April 5, 2024 12:34 2m 51s manual-exts
manual-exts
April 5, 2024 12:34 2m 51s
feat: basic inclusion of docstrings in manuals Check for copyright header and too-big Lean imports #5: Pull request #73 opened by david-christiansen
April 5, 2024 12:34 32s manual-exts
manual-exts
April 5, 2024 12:34 32s
feat: basic inclusion of docstrings in manuals Continuous Integration #190: Commit 0e1b1bf pushed by david-christiansen
April 5, 2024 12:34 3m 11s manual-exts
manual-exts
April 5, 2024 12:34 3m 11s
feat: basic inclusion of docstrings in manuals Continuous Integration #189: Commit 2860694 pushed by david-christiansen
April 5, 2024 12:31 3m 9s manual-exts
manual-exts
April 5, 2024 12:31 3m 9s
feat: extensible block and inline elements for manual genre Continuous Integration #188: Commit 1428bd0 pushed by david-christiansen
April 5, 2024 11:47 3m 11s main
main
April 5, 2024 11:47 3m 11s
feat: extensible block and inline elements for manual genre Check for copyright header and too-big Lean imports #4: Pull request #72 opened by david-christiansen
April 5, 2024 10:31 13s manual-exts
manual-exts
April 5, 2024 10:31 13s
feat: extensible block and inline elements for manual genre Continuous Integration #187: Pull request #72 opened by david-christiansen
April 5, 2024 10:31 2m 52s manual-exts
manual-exts
April 5, 2024 10:31 2m 52s
feat: extensible block and inline elements for manual genre Continuous Integration #186: Commit a9fff28 pushed by david-christiansen
April 5, 2024 10:31 1m 7s manual-exts
manual-exts
April 5, 2024 10:31 1m 7s
feat: extensible block and inline elements for manual genre Continuous Integration #185: Commit 243ef18 pushed by david-christiansen
April 5, 2024 10:13 2m 37s manual-exts
manual-exts
April 5, 2024 10:13 2m 37s
fix: CSS - make hover boxes fit their content Continuous Integration #184: Commit 7e56494 pushed by david-christiansen
March 21, 2024 11:22 2m 14s main
main
March 21, 2024 11:22 2m 14s
fix: CSS - make hover boxes fit their content Check for copyright header and too-big Lean imports #3: Pull request #65 opened by david-christiansen
March 21, 2024 11:18 11s css-hover-sizes
css-hover-sizes
March 21, 2024 11:18 11s
fix: CSS - make hover boxes fit their content Continuous Integration #183: Pull request #65 opened by david-christiansen
March 21, 2024 11:18 2m 16s css-hover-sizes
css-hover-sizes
March 21, 2024 11:18 2m 16s
fix: CSS - make hover boxes fit their content Continuous Integration #182: Commit 63d7d53 pushed by david-christiansen
March 21, 2024 11:17 2m 10s css-hover-sizes
css-hover-sizes
March 21, 2024 11:17 2m 10s
fix: add missing instance Continuous Integration #181: Commit 52f8902 pushed by david-christiansen
March 21, 2024 11:05 2m 9s main
main
March 21, 2024 11:05 2m 9s
Library root file and housekeeping Continuous Integration #180: Pull request #64 synchronize by david-christiansen
March 21, 2024 10:45 2m 29s library-root-file
library-root-file
March 21, 2024 10:45 2m 29s
Library root file and housekeeping Check for copyright header and too-big Lean imports #2: Pull request #64 synchronize by david-christiansen
March 21, 2024 10:45 11s library-root-file
library-root-file
March 21, 2024 10:45 11s
fix: add missing instance Continuous Integration #179: Commit f7a7004 pushed by david-christiansen
March 21, 2024 10:45 2m 17s library-root-file
library-root-file
March 21, 2024 10:45 2m 17s
Library root file and housekeeping Check for copyright header and too-big Lean imports #1: Pull request #64 opened by david-christiansen
March 21, 2024 10:29 13s library-root-file
library-root-file
March 21, 2024 10:29 13s
Library root file and housekeeping Continuous Integration #178: Pull request #64 opened by david-christiansen
March 21, 2024 10:29 1m 20s library-root-file
library-root-file
March 21, 2024 10:29 1m 20s
chore: copyright header housekeeping and CI Continuous Integration #177: Commit 624d174 pushed by david-christiansen
March 21, 2024 10:29 1m 29s library-root-file
library-root-file
March 21, 2024 10:29 1m 29s
doc: point README at both renderings of the manual Continuous Integration #176: Commit 1b24ead pushed by david-christiansen
March 21, 2024 10:11 1m 21s main
main
March 21, 2024 10:11 1m 21s
doc: point README at both renderings of the manual Continuous Integration #175: Pull request #63 opened by david-christiansen
March 21, 2024 09:05 1m 16s README-manual-links
README-manual-links
March 21, 2024 09:05 1m 16s
doc: point README at both renderings of the manual Continuous Integration #174: Commit 80dc74b pushed by david-christiansen
March 21, 2024 09:05 1m 5s README-manual-links
README-manual-links
March 21, 2024 09:05 1m 5s
chore: CI: check for consistent subverso versions in manifests Continuous Integration #173: Commit 4dd80e0 pushed by david-christiansen
March 21, 2024 09:01 1m 11s main
main
March 21, 2024 09:01 1m 11s
chore: CI: check for consistent subverso versions in manifests Continuous Integration #172: Pull request #62 synchronize by david-christiansen
March 21, 2024 08:59 2m 0s ci-consistent-subverso-manifest
ci-consistent-subverso-manifest
March 21, 2024 08:59 2m 0s