Skip to content

Actions: Inferara/inference

Actions

Build Compiler Book (PR)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build_compiler_book_pr.yml
45 workflow runs
45 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
Support the SpaceWasm compilation target (#325) Build Compiler Book (PR) #45: Pull request #467 synchronize by 0xGeorgii
1m 43s 325-spacewasm-target
325-spacewasm-target
1m 43s
Support the SpaceWasm compilation target (#325) Build Compiler Book (PR) #44: Pull request #467 synchronize by 0xGeorgii
1m 43s 325-spacewasm-target
325-spacewasm-target
1m 43s
Support the SpaceWasm compilation target (#325) Build Compiler Book (PR) #43: Pull request #467 synchronize by 0xGeorgii
1m 50s 325-spacewasm-target
325-spacewasm-target
1m 50s
Support the SpaceWasm compilation target (#325) Build Compiler Book (PR) #42: Pull request #467 opened by 0xGeorgii
1m 51s 325-spacewasm-target
325-spacewasm-target
1m 51s
Compile deployable Stellar smart contracts (#324) Build Compiler Book (PR) #41: Pull request #465 synchronize by 0xGeorgii
1m 44s 324-stellar-target
324-stellar-target
1m 44s
Compile deployable Stellar smart contracts (#324) Build Compiler Book (PR) #40: Pull request #465 opened by 0xGeorgii
1m 41s 324-stellar-target
324-stellar-target
1m 41s
feat(lang)!: trap on arithmetic overflow by default (#316, part 2) Build Compiler Book (PR) #39: Pull request #462 synchronize by 0xGeorgii
1m 46s 316-feature-checked-by-default
316-feature-checked-by-default
1m 46s
feat(lang)!: trap on arithmetic overflow by default (#316, part 2) Build Compiler Book (PR) #38: Pull request #462 synchronize by 0xGeorgii
1m 32s 316-feature-checked-by-default
316-feature-checked-by-default
1m 32s
feat(lang)!: trap on arithmetic overflow by default (#316, part 2) Build Compiler Book (PR) #37: Pull request #462 synchronize by 0xGeorgii
1m 45s 316-feature-checked-by-default
316-feature-checked-by-default
1m 45s
feat(lang): reserve checked and wrapping and guard effectively checked arithmetic (#316, part 1) Build Compiler Book (PR) #36: Pull request #461 synchronize by 0xGeorgii
1m 47s 316-feature-checked-arithmetic-surface
316-feature-checked-arithmetic-surface
1m 47s
feat(lang): reserve checked and wrapping and guard effectively checked arithmetic (#316, part 1) Build Compiler Book (PR) #35: Pull request #461 opened by 0xGeorgii
1m 49s 316-feature-checked-arithmetic-surface
316-feature-checked-arithmetic-surface
1m 49s
182 remove type aliases Build Compiler Book (PR) #34: Pull request #460 opened by 0xGeorgii
1m 44s 182-remove-type-aliases
182-remove-type-aliases
1m 44s
Refuse generic code before code generation with a targeted diagnostic (#320) Build Compiler Book (PR) #33: Pull request #458 synchronize by 0xGeorgii
1m 49s 320-feature-generic-gate
320-feature-generic-gate
1m 49s
Refuse generic code before code generation with a targeted diagnostic (#320) Build Compiler Book (PR) #32: Pull request #458 opened by 0xGeorgii
1m 28s 320-feature-generic-gate
320-feature-generic-gate
1m 28s
Refuse constructs that have no lowering in code generation instead of aborting (#360) Build Compiler Book (PR) #31: Pull request #457 opened by 0xGeorgii
1m 51s 360-bug-fix-codegen-panics-on-accepted-programs
360-bug-fix-codegen-panics-on-accepted-programs
1m 51s
Warn on a linked library's own proof obligations, adopt them on request Build Compiler Book (PR) #30: Pull request #455 synchronize by 0xGeorgii
1m 36s 362-external-spec-contract
362-external-spec-contract
1m 36s
Warn on a linked library's own proof obligations, adopt them on request Build Compiler Book (PR) #29: Pull request #455 opened by 0xGeorgii
1m 46s 362-external-spec-contract
362-external-spec-contract
1m 46s
Resolve an obligation symbol against the function the source names (#362) Build Compiler Book (PR) #28: Pull request #453 synchronize by 0xGeorgii
1m 42s 362-linked-extern-obligation-identity
362-linked-extern-obligation-identity
1m 42s
Correct stale toolchain and lowering documentation Build Compiler Book (PR) #27: Pull request #454 synchronize by 0xGeorgii
1m 21s docs-stale-toolchain-prose
docs-stale-toolchain-prose
1m 21s
Correct stale toolchain and lowering documentation Build Compiler Book (PR) #26: Pull request #454 opened by 0xGeorgii
1m 55s docs-stale-toolchain-prose
docs-stale-toolchain-prose
1m 55s
Resolve an obligation symbol against the function the source names (#362) Build Compiler Book (PR) #25: Pull request #453 opened by 0xGeorgii
1m 44s 362-linked-extern-obligation-identity
362-linked-extern-obligation-identity
1m 44s
Discharge dynamic array bounds as Rocq proof obligations (#214) Build Compiler Book (PR) #24: Pull request #440 opened by 0xGeorgii
1m 30s 214-proof-mode-bounds-obligations
214-proof-mode-bounds-obligations
1m 30s
Gitignore Rocq build artifacts, in this repo and in scaffolded projects Build Compiler Book (PR) #23: Pull request #439 synchronize by 0xGeorgii
1m 38s 437-refactoring-gitignore-rocq-build-artifacts
437-refactoring-gitignore-rocq-build-artifacts
1m 38s
Gitignore Rocq build artifacts, in this repo and in scaffolded projects Build Compiler Book (PR) #22: Pull request #439 synchronize by 0xGeorgii
1m 31s 437-refactoring-gitignore-rocq-build-artifacts
437-refactoring-gitignore-rocq-build-artifacts
1m 31s
Gitignore Rocq build artifacts, in this repo and in scaffolded projects Build Compiler Book (PR) #21: Pull request #439 opened by 0xGeorgii
1m 43s 437-refactoring-gitignore-rocq-build-artifacts
437-refactoring-gitignore-rocq-build-artifacts
1m 43s