Skip to content

Actions: leanprover/lean4

Actions

Check for stage0 changes

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-stage0.yml
2,500+ workflow runs
2,500+ workflow runs

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
feat: rewrite the Verso docstring parser to produce accurate syntax Check for stage0 changes #38016: Pull request #15064 synchronize by david-christiansen
2m 40s david-christiansen:verso-docstring-parser-rewrite
david-christiansen:verso-docstring-parser-rewrite
2m 40s
feat: lake: separate leanir job Check for stage0 changes #38015: Pull request #14906 synchronize by tydeu
2m 9s tydeu:lake/ir-arts
tydeu:lake/ir-arts
2m 9s
fix: preserve outer messages around #guard_msgs Check for stage0 changes #38014: Pull request #15207 synchronize by Chessing234
2m 40s Chessing234:chessing/fix-guard-msgs-outer
Chessing234:chessing/fix-guard-msgs-outer
2m 40s
fix: error instead of panic on excess syntax match patterns Check for stage0 changes #38013: Pull request #15208 synchronize by Chessing234
2m 39s Chessing234:chessing/fix-syntax-match-pats
Chessing234:chessing/fix-syntax-match-pats
2m 39s
fix: include mutex in single-threaded thread.h Check for stage0 changes #38012: Pull request #15209 opened by Chessing234
2m 3s Chessing234:chessing/fix-multithread-off-mutex
Chessing234:chessing/fix-multithread-off-mutex
2m 3s
Check for stage0 changes Check for stage0 changes #38011: Merge group checks requested
2m 28s
2m 28s
fix: error instead of panic on excess syntax match patterns Check for stage0 changes #38010: Pull request #15208 opened by Chessing234
2m 35s Chessing234:chessing/fix-syntax-match-pats
Chessing234:chessing/fix-syntax-match-pats
2m 35s
fix: recover from recursion limits in omega's assumption check Check for stage0 changes #38009: Pull request #15140 synchronize by zaz
1m 55s zaz:fix/omega-assumption-recursion
zaz:fix/omega-assumption-recursion
1m 55s
Check for stage0 changes Check for stage0 changes #38008: Merge group checks requested
2m 19s
2m 19s
fix: preserve outer messages around #guard_msgs Check for stage0 changes #38007: Pull request #15207 opened by Chessing234
2m 19s Chessing234:chessing/fix-guard-msgs-outer
Chessing234:chessing/fix-guard-msgs-outer
2m 19s
fix: preserve binder names in lambdaMetaTelescope Check for stage0 changes #38006: Pull request #15206 opened by Chessing234
2m 10s Chessing234:chessing/fix-lambda-meta-names
Chessing234:chessing/fix-lambda-meta-names
2m 10s
refactor: rename WP.wpTrans to WP.trans and the wp_consequence family to wp_monotone Check for stage0 changes #38005: Pull request #15171 synchronize by sgraf812
2m 9s sg/wp-trans-rename
sg/wp-trans-rename
2m 9s
feat: rewrite the Verso docstring parser to produce accurate syntax Check for stage0 changes #38004: Pull request #15064 synchronize by david-christiansen
2m 51s david-christiansen:verso-docstring-parser-rewrite
david-christiansen:verso-docstring-parser-rewrite
2m 51s
fix: bound JSON number exponents below Nat.pow panic Check for stage0 changes #38003: Pull request #15205 opened by Chessing234
2m 16s Chessing234:chessing/fix-json-exp-bound
Chessing234:chessing/fix-json-exp-bound
2m 16s
Check for stage0 changes Check for stage0 changes #38002: Merge group checks requested
1m 58s
1m 58s
fix: error on ← modifier for simprocs and simp extensions Check for stage0 changes #38001: Pull request #15204 opened by Chessing234
2m 0s Chessing234:chessing/fix-simp-leftarrow-simproc
Chessing234:chessing/fix-simp-leftarrow-simproc
2m 0s
fix: require panic prefix in #guard_panic Check for stage0 changes #38000: Pull request #15202 opened by Chessing234
2m 17s Chessing234:chessing/fix-guard-panic-prefix
Chessing234:chessing/fix-guard-panic-prefix
2m 17s
Check for stage0 changes Check for stage0 changes #37999: Merge group checks requested
1m 58s
1m 58s
refactor: rename WP.wpTrans to WP.trans and the wp_consequence family to wp_monotone Check for stage0 changes #37998: Pull request #15171 synchronize by sgraf812
2m 10s sg/wp-trans-rename
sg/wp-trans-rename
2m 10s
fix: better defeq error messages Check for stage0 changes #37997: Pull request #14537 synchronize by datokrat
2m 12s datokrat:defeq-errors
datokrat:defeq-errors
2m 12s
perf: parse erased doElem quotations with the compiled grammar Check for stage0 changes #37996: Pull request #15199 synchronize by sgraf812
2m 22s sg/do-drop-parse-quot-current-stage
sg/do-drop-parse-quot-current-stage
2m 22s
refactor: make the AIG to CNF transformation type generic Check for stage0 changes #37995: Pull request #15201 opened by hargoniX
2m 10s hbv/cnf_generic
hbv/cnf_generic
2m 10s
Check for stage0 changes Check for stage0 changes #37994: Merge group checks requested
2m 34s
2m 34s
refactor: rename WP.wpTrans to WP.trans and the wp_consequence family to wp_monotone Check for stage0 changes #37993: Pull request #15171 synchronize by sgraf812
1m 55s sg/wp-trans-rename
sg/wp-trans-rename
1m 55s
feat: rewrite the Verso docstring parser to produce accurate syntax Check for stage0 changes #37992: Pull request #15064 synchronize by david-christiansen
2m 28s david-christiansen:verso-docstring-parser-rewrite
david-christiansen:verso-docstring-parser-rewrite
2m 28s