Skip to content

Actions: bldl/temporal-rocq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
56 workflow runs
56 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Fix typo in BalanceTime BuildRocq #56: Pull request #30 opened by voiestad
2m 42s fix-typo-BalanceTime
fix-typo-BalanceTime
2m 42s
add links to the spec BuildRocq #55: Pull request #29 opened by mikbar-uib
2m 44s mikbar-uib-patch-1
mikbar-uib-patch-1
2m 44s
Prove some remaining admitted lemmas in a slightly silly way BuildRocq #54: Pull request #28 opened by aria-eide
2m 56s rfc3339-proof-for-real
rfc3339-proof-for-real
2m 56s
Fix typo in theorem of EpochTimeToEpochYear BuildRocq #53: Pull request #27 opened by aria-eide
2m 31s typo-the-return
typo-the-return
2m 31s
Fix FindYearForwards BuildRocq #52: Pull request #26 opened by aria-eide
2m 46s epochtimetoepochyear-fix
epochtimetoepochyear-fix
2m 46s
Shorten TemporalUnitEqb BuildRocq #51: Pull request #25 opened by voiestad
2m 37s shorten-temporal-unit-eqb
shorten-temporal-unit-eqb
2m 37s
Inconsistencies fixes BuildRocq #50: Pull request #24 synchronize by voiestad
2m 30s inconsistencies-fixes
inconsistencies-fixes
2m 30s
Inconsistencies fixes BuildRocq #49: Pull request #24 synchronize by voiestad
2m 23s inconsistencies-fixes
inconsistencies-fixes
2m 23s
Inconsistencies fixes BuildRocq #48: Pull request #24 opened by voiestad
2m 28s inconsistencies-fixes
inconsistencies-fixes
2m 28s
Definitions BuildRocq #47: Pull request #23 synchronize by voiestad
2m 40s definitions
definitions
2m 40s
Definitions BuildRocq #46: Pull request #23 opened by voiestad
2m 21s definitions
definitions
2m 21s
Add some more proofs BuildRocq #45: Pull request #22 opened by aria-eide
2m 24s admitteds
admitteds
2m 24s
Partial proof of ISODateTimeToString_without_calendar_satisfies_rfc3339 BuildRocq #44: Pull request #21 opened by aria-eide
2m 31s rfc3339-proof
rfc3339-proof
2m 31s
Prove AddTime_adding_zero_no_change BuildRocq #43: Pull request #20 opened by aria-eide
2m 36s addtime-proof
addtime-proof
2m 36s
Fix some style issues BuildRocq #42: Pull request #18 synchronize by voiestad
2m 32s style
style
2m 32s
Fix some style issues BuildRocq #41: Pull request #18 synchronize by voiestad
2m 32s style
style
2m 32s
Update README.md and theorem names of inconsistencies BuildRocq #40: Pull request #19 synchronize by voiestad
2m 32s minor-changes
minor-changes
2m 32s
Update README.md and theorem names of inconsistencies BuildRocq #39: Pull request #19 opened by voiestad
2m 39s minor-changes
minor-changes
2m 39s
Fix some style issues BuildRocq #38: Pull request #18 synchronize by aria-eide
2m 45s style
style
2m 45s
Fix some style issues BuildRocq #37: Pull request #18 opened by aria-eide
2m 32s style
style
2m 32s
State and prove some theorems BuildRocq #36: Pull request #17 synchronize by voiestad
2m 31s theorems
theorems
2m 31s
State and prove some theorems BuildRocq #35: Pull request #17 synchronize by voiestad
2m 28s theorems
theorems
2m 28s
State and prove some theorems BuildRocq #34: Pull request #17 synchronize by aria-eide
2m 20s theorems
theorems
2m 20s
State and prove some theorems BuildRocq #33: Pull request #17 synchronize by aria-eide
2m 27s theorems
theorems
2m 27s
State and prove some theorems BuildRocq #32: Pull request #17 synchronize by aria-eide
2m 25s theorems
theorems
2m 25s