[INFO] cloning repository https://github.com/domodwyer/tlafmt [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/domodwyer/tlafmt" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdomodwyer%2Ftlafmt", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdomodwyer%2Ftlafmt'... [INFO] [stderr] /workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdomodwyer%2Ftlafmt: No space left on device [WARN] Retrying crate fetch in 3 seconds (attempt 1) [INFO] cloning repository https://github.com/domodwyer/tlafmt [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/domodwyer/tlafmt" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdomodwyer%2Ftlafmt", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdomodwyer%2Ftlafmt'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] d6d23f760eedcd9cf806fedc8d5308dd9640feaf [INFO] checking domodwyer/tlafmt against try#3c75d5844aa65b4aa19243ac44ceda49fe4e61ca for pr-143545 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdomodwyer%2Ftlafmt" "/workspace/builds/worker-6-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc2/source'... [INFO] [stderr] done. [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/AllocatorImplementation.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/AllocatorRefinement.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Alternate.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/AlternatingBit.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/AsyncTerminationDetection.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/AsyncTerminationDetection_proof.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/AsynchInterface.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/BNFGrammars.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Bags.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Bakery.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/BinaryHourClock.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/BinarySearch.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Bits.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/BlockingQueue.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Boulanger.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/BufferedRandomAccessFile.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/CRDT.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/CRDT_proof.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/CarTalkPuzzle.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Chameneos.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/ChangRoberts.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Channel.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/ChannelRefinement.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/CheckpointCoordination.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/CigaretteSmokers.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/CoffeeCan.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/CompositeFIFO.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/ConfigFileGrammar.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Consensus.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/DieHard.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/DieHarder.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/DifferentialEquations.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/DijkstraMutex.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/DiningPhilosophers.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/DiskSynod.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Disruptor_MPMC.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Disruptor_SPMC.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/DistributedReplicatedLog.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EPFailureDetector.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EWD687aPlusCal.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EWD687a_anim.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EWD840.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EWD840_anim.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EWD840_proof.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EWD998Chan.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EWD998ChanID_export.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EWD998ChanID_shiviz.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EWD998Chan_opts.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EWD998PCal.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EWD998_anim.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EWD998_opts.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EWD998_optsSC.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EWD998_proof.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Echo.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Einstein.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Elevator.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EnvironmentController.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/FIFO.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/FastPaxos.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/FindHighest.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/FiniteSets.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Functions.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/GameOfLife.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Graphs.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/HDiskSynod.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Hanoi.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/HanoiSeq.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/HourClock.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/HourClock2.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Huang.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/InnerFIFO.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/InnerFIFOInstanced.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/InnerSequential.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/InnerSerial.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Integers.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/InternalMemory.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/JointActionMemory.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/KVsnap.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/KeyValueStore.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/KnuthYao.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/LamportMutex.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/LamportMutex_proofs.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/LeastCircularSubstring.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/LevelSpec.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/LiveHourClock.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/LiveInternalMemory.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/LiveWriteThroughCache.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MC.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCAlternatingBit.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCBakery.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCBinarySearch.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCBoulanger.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCCRDT.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCChangRoberts.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCCheckpointCoordination.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCConsensus.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCDieHarder.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCDistributedReplicatedLog.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCEWD687a.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCEcho.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCFindHighest.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCInnerFIFO.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCInnerSequential.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCInnerSerial.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCInternalMemory.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCKVS.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCKVsnap.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCLamportMutex.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCLeastCircularSubstring.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCLiveInternalMemory.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCMajority.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCNano.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCParReach.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCPaxos.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCPrisoners.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCQuicksort.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCReachabilityTest.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCReachable.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCRealTime.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCRealTimeHourClock.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCReplicatedLog.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCTwoPhase.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCVoting.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCYoYoNoPruning.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCYoYoPruning.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MC_HDiskSynod.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MC_spanning.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MC_sums_even.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCtcp.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Majority.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MajorityProof.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Memory.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MemoryInterface.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MissionariesAndCannibals.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MultiPaxos.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MultiPaxos_MC.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Nano.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Naturals.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/NaturalsInduction.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/PConProof.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/ParReach.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/ParReachProofs.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Paxos.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/PaxosCommit.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Peano.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/PrintValues.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Prisoners.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Prob.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/ProtoReals.tla [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/Queens.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/QueensPluscal.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/Quicksort.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/RTMemory.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/RTWriteThroughCache.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/Reachability.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/ReachabilityProofs.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/ReachabilityTest.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/Reachable.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/ReachableProofs.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/ReadersWriters.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/RealTimeHourClock.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/RealTime_SS.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/Reals.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/RegisterInterface.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/Relation.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/ReplicatedLog.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/RingBuffer.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SPA_Attack.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SPA_Attack_New.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SchedulingAllocator.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SequenceTheorems.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/Sequences.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SerialMemory.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SimKnuthYao.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SimTokenRing.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/Simple.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SimpleAllocator.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SimpleMath.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SimpleRegular.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SingleLaneBridge.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SlidingPuzzles.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/Slush.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SmokeEWD998.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SmokeEWD998_SC.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SpanTree.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SpanTreeRandom.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SpanTreeTest.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/Stones.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SyncTerminationDetection.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/Synod.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/TCommit.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/TLAPS.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/TLAPlusGrammar.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/TLCMC.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/TestGraphs.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/TokenRing.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/TransitiveClosure.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/TwoPhase.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/Util.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/Utils.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/Voting.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/VoucherCancel.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/VoucherIssue.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/VoucherLifeCycle.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/VoucherRedeem.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/VoucherTransfer.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/WellFoundedInduction.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/WriteThroughCache.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/WriteThroughCacheInstanced.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/YoYoAllGraphs.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/YoYoNoPruning.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/YoYoPruning.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/ZSequences.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/aba_asyn_byz.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/bcastByz.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/bcastFolklore.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/bosco.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/c1cs.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/cbc_max.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/cf1s_folklore.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/clean.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/differential_equations.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/health_circuit.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/key_value_store.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/nbacc_ray97.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/nbacg_guer01.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/product.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/raft.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/spanning.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/stages.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/sums_even.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/tcp.tla: No space left on device [INFO] [stderr] error: unable to write file libtlafmt/tests/format.rs [INFO] [stderr] fatal: cannot create directory at 'libtlafmt/tests/snapshots': No space left on device [INFO] [stderr] warning: Clone succeeded, but checkout failed. [INFO] [stderr] You can inspect what was checked out with 'git status' [INFO] [stderr] and retry with 'git restore --source=HEAD :/' [INFO] [stderr] [INFO] checking domodwyer/tlafmt against try#3c75d5844aa65b4aa19243ac44ceda49fe4e61ca for pr-143545 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdomodwyer%2Ftlafmt" "/workspace/builds/worker-6-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc2/source'... [INFO] [stderr] done. [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/ACP_NB_WRONG_TLC.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/ACP_SB.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/ACP_SB_TLC.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/AddTwo.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Age_Channel.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/AllocatorImplementation.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/AllocatorRefinement.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Bags.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Bakery.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/BinaryHourClock.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/BinarySearch.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Bits.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/BlockingQueue.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/DiskSynod.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Disruptor_MPMC.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Disruptor_SPMC.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/DistributedReplicatedLog.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EPFailureDetector.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EWD687aPlusCal.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EWD687a_anim.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EWD840.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EWD840_anim.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EWD840_proof.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EWD998Chan.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EWD998ChanID_export.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EWD998ChanID_shiviz.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EWD998Chan_opts.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EWD998PCal.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EWD998_anim.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EWD998_opts.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EWD998_optsSC.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EWD998_proof.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Echo.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Einstein.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Elevator.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EnvironmentController.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/FIFO.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/FastPaxos.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/FindHighest.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/FiniteSets.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Functions.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/GameOfLife.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Graphs.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/HDiskSynod.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Hanoi.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/HanoiSeq.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/HourClock.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/HourClock2.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Huang.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/InnerFIFO.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/InnerFIFOInstanced.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/InnerSequential.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/InnerSerial.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Integers.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/InternalMemory.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/JointActionMemory.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/KVsnap.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/KeyValueStore.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/KnuthYao.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/LamportMutex.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/LamportMutex_proofs.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/LeastCircularSubstring.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/LevelSpec.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/LiveHourClock.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/LiveInternalMemory.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/LiveWriteThroughCache.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MC.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCAlternatingBit.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCBakery.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCBinarySearch.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCBoulanger.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCCRDT.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCChangRoberts.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCCheckpointCoordination.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCConsensus.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCDieHarder.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCDistributedReplicatedLog.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCEWD687a.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCEcho.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCFindHighest.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCInnerFIFO.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCInnerSequential.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCInnerSerial.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCInternalMemory.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCKVS.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCKVsnap.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCLamportMutex.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCLeastCircularSubstring.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCLiveInternalMemory.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCMajority.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCNano.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCParReach.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCPaxos.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCPrisoners.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCQuicksort.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCReachabilityTest.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCReachable.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCRealTime.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCRealTimeHourClock.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCReplicatedLog.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCTwoPhase.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCVoting.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCYoYoNoPruning.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCYoYoPruning.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MC_HDiskSynod.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MC_spanning.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MC_sums_even.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCtcp.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Majority.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MajorityProof.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Memory.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MemoryInterface.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MissionariesAndCannibals.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MultiPaxos.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MultiPaxos_MC.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Nano.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Naturals.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/NaturalsInduction.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/PConProof.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/ParReach.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/ParReachProofs.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Paxos.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/PaxosCommit.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Peano.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/PrintValues.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Prisoners.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Prob.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/ProtoReals.tla [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/Queens.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/QueensPluscal.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/Quicksort.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/RTMemory.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/RTWriteThroughCache.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/Reachability.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/ReachabilityProofs.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/ReachabilityTest.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/Reachable.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/ReachableProofs.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/ReadersWriters.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/RealTimeHourClock.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/RealTime_SS.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/Reals.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/RegisterInterface.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/Relation.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/ReplicatedLog.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/RingBuffer.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SPA_Attack.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SPA_Attack_New.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SchedulingAllocator.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SequenceTheorems.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/Sequences.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SerialMemory.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SimKnuthYao.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SimTokenRing.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/Simple.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SimpleAllocator.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SimpleMath.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SimpleRegular.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SingleLaneBridge.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SlidingPuzzles.tla: No space left on device [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/WellFoundedInduction.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/WriteThroughCache.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/WriteThroughCacheInstanced.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/YoYoAllGraphs.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/YoYoNoPruning.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/YoYoPruning.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/ZSequences.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/aba_asyn_byz.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/bcastByz.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/bcastFolklore.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/bosco.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/c1cs.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/cbc_max.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/cf1s_folklore.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/clean.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/differential_equations.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/health_circuit.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/key_value_store.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/nbacc_ray97.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/nbacg_guer01.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/product.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/raft.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/spanning.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/stages.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/sums_even.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/tcp.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/format.rs [INFO] [stderr] fatal: cannot create directory at 'libtlafmt/tests/snapshots': No space left on device [INFO] [stderr] warning: Clone succeeded, but checkout failed. [INFO] [stderr] You can inspect what was checked out with 'git status' [INFO] [stderr] and retry with 'git restore --source=HEAD :/' [INFO] [stderr] [INFO] checking domodwyer/tlafmt against try#3c75d5844aa65b4aa19243ac44ceda49fe4e61ca for pr-143545 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdomodwyer%2Ftlafmt" "/workspace/builds/worker-6-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc2/source'... [INFO] [stderr] done. [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EWD998_proof.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Echo.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Einstein.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Elevator.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EnvironmentController.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/FIFO.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/FastPaxos.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/FindHighest.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/FiniteSets.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Functions.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/GameOfLife.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Graphs.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/HDiskSynod.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Hanoi.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/HanoiSeq.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/HourClock.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/HourClock2.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Huang.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/InnerFIFO.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/InnerFIFOInstanced.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/InnerSequential.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/InnerSerial.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Integers.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/InternalMemory.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/JointActionMemory.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/KVsnap.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/KeyValueStore.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/KnuthYao.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/LamportMutex.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/LamportMutex_proofs.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/LeastCircularSubstring.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/LevelSpec.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/LiveHourClock.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/LiveInternalMemory.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/LiveWriteThroughCache.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MC.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCAlternatingBit.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCBakery.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCBinarySearch.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCBoulanger.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCCRDT.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCChangRoberts.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCCheckpointCoordination.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCConsensus.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCDieHarder.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCDistributedReplicatedLog.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCEWD687a.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCEcho.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCFindHighest.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCInnerFIFO.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCInnerSequential.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCInnerSerial.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCInternalMemory.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCKVS.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCKVsnap.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCLamportMutex.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCLeastCircularSubstring.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCLiveInternalMemory.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCMajority.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCNano.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCParReach.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCPaxos.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCPrisoners.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCQuicksort.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCReachabilityTest.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCReachable.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCRealTime.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCRealTimeHourClock.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCReplicatedLog.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCTwoPhase.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCVoting.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCYoYoNoPruning.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCYoYoPruning.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MC_HDiskSynod.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MC_spanning.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MC_sums_even.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCtcp.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Majority.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MajorityProof.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Memory.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MemoryInterface.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MissionariesAndCannibals.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MultiPaxos.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MultiPaxos_MC.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Nano.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Naturals.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/NaturalsInduction.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/PConProof.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/ParReach.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/ParReachProofs.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Paxos.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/PaxosCommit.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Peano.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/PrintValues.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Prisoners.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Prob.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/ProtoReals.tla [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/Queens.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/QueensPluscal.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/Quicksort.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/RTMemory.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/RTWriteThroughCache.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/Reachability.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/ReachabilityProofs.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/ReachabilityTest.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/Reachable.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/ReachableProofs.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/ReadersWriters.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/RealTimeHourClock.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/RealTime_SS.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/Reals.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/RegisterInterface.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/Relation.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/ReplicatedLog.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/RingBuffer.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SPA_Attack.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SPA_Attack_New.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SchedulingAllocator.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SequenceTheorems.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/Sequences.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SerialMemory.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SimKnuthYao.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SimTokenRing.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/Simple.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SimpleAllocator.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SimpleMath.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SimpleRegular.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SingleLaneBridge.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SlidingPuzzles.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/Slush.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SmokeEWD998.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SmokeEWD998_SC.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SpanTree.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SpanTreeRandom.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SpanTreeTest.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/Stones.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SyncTerminationDetection.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/Synod.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/TCommit.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/TLAPS.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/TLAPlusGrammar.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/TLCMC.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/TestGraphs.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/TokenRing.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/TransitiveClosure.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/TwoPhase.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/Util.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/Utils.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/Voting.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/VoucherCancel.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/VoucherIssue.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/VoucherLifeCycle.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/VoucherRedeem.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/VoucherTransfer.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/WellFoundedInduction.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/WriteThroughCache.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/WriteThroughCacheInstanced.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/YoYoAllGraphs.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/YoYoNoPruning.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/YoYoPruning.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/ZSequences.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/aba_asyn_byz.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/bcastByz.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/bcastFolklore.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/bosco.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/c1cs.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/cbc_max.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/cf1s_folklore.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/clean.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/differential_equations.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/health_circuit.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/key_value_store.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/nbacc_ray97.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/nbacg_guer01.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/product.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/raft.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/spanning.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/stages.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/sums_even.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/tcp.tla: No space left on device [INFO] [stderr] error: unable to write file libtlafmt/tests/format.rs [INFO] [stderr] fatal: cannot create directory at 'libtlafmt/tests/snapshots': No space left on device [INFO] [stderr] warning: Clone succeeded, but checkout failed. [INFO] [stderr] You can inspect what was checked out with 'git status' [INFO] [stderr] and retry with 'git restore --source=HEAD :/' [INFO] [stderr] [INFO] checking domodwyer/tlafmt against try#3c75d5844aa65b4aa19243ac44ceda49fe4e61ca for pr-143545 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdomodwyer%2Ftlafmt" "/workspace/builds/worker-6-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc2/source'... [INFO] [stderr] done. [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EWD687aPlusCal.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EWD687a_anim.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EWD840.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EWD840_anim.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EWD840_proof.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EWD998Chan.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EWD998ChanID_export.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EWD998ChanID_shiviz.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EWD998Chan_opts.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EWD998PCal.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EWD998_anim.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EWD998_opts.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EWD998_optsSC.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EWD998_proof.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Echo.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Einstein.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Elevator.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EnvironmentController.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/FIFO.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/FastPaxos.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/FindHighest.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/FiniteSets.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Functions.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/GameOfLife.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Graphs.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/HDiskSynod.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Hanoi.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/HanoiSeq.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/HourClock.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/HourClock2.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Huang.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/InnerFIFO.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/InnerFIFOInstanced.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/InnerSequential.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/InnerSerial.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Integers.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/InternalMemory.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/JointActionMemory.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/KVsnap.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/KeyValueStore.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/KnuthYao.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/LamportMutex.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/LamportMutex_proofs.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/LeastCircularSubstring.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/LevelSpec.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/LiveHourClock.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/LiveInternalMemory.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/LiveWriteThroughCache.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MC.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCAlternatingBit.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCBakery.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCBinarySearch.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCBoulanger.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCCRDT.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCChangRoberts.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCCheckpointCoordination.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCConsensus.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCDieHarder.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCDistributedReplicatedLog.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCEWD687a.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCEcho.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCFindHighest.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCInnerFIFO.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCInnerSequential.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCInnerSerial.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCInternalMemory.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCKVS.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCKVsnap.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCLamportMutex.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCLeastCircularSubstring.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCLiveInternalMemory.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCMajority.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCNano.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCParReach.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCPaxos.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCPrisoners.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCQuicksort.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCReachabilityTest.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCReachable.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCRealTime.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCRealTimeHourClock.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCReplicatedLog.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCTwoPhase.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCVoting.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCYoYoNoPruning.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCYoYoPruning.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MC_HDiskSynod.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MC_spanning.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MC_sums_even.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCtcp.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Majority.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MajorityProof.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Memory.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MemoryInterface.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MissionariesAndCannibals.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MultiPaxos.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MultiPaxos_MC.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Nano.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Naturals.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/NaturalsInduction.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/PConProof.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/ParReach.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/ParReachProofs.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Paxos.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/PaxosCommit.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Peano.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/PrintValues.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Prisoners.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Prob.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/ProtoReals.tla [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/Queens.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/QueensPluscal.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/Quicksort.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/RTMemory.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/RTWriteThroughCache.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/Reachability.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/ReachabilityProofs.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/ReachabilityTest.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/Reachable.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/ReachableProofs.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/ReadersWriters.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/RealTimeHourClock.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/RealTime_SS.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/Reals.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/RegisterInterface.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/Relation.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/ReplicatedLog.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/RingBuffer.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SPA_Attack.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SPA_Attack_New.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SchedulingAllocator.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SequenceTheorems.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/Sequences.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SerialMemory.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SimKnuthYao.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SimTokenRing.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/Simple.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SimpleAllocator.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SimpleMath.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SimpleRegular.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SingleLaneBridge.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SlidingPuzzles.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/Slush.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SmokeEWD998.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SmokeEWD998_SC.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SpanTree.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SpanTreeRandom.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SpanTreeTest.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/Stones.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SyncTerminationDetection.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/Synod.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/TCommit.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/TLAPS.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/TLAPlusGrammar.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/TLCMC.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/TestGraphs.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/TokenRing.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/TransitiveClosure.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/TwoPhase.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/Util.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/Utils.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/Voting.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/VoucherCancel.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/VoucherIssue.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/VoucherLifeCycle.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/VoucherRedeem.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/VoucherTransfer.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/WellFoundedInduction.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/WriteThroughCache.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/WriteThroughCacheInstanced.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/YoYoAllGraphs.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/YoYoNoPruning.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/YoYoPruning.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/ZSequences.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/aba_asyn_byz.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/bcastByz.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/bcastFolklore.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/bosco.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/c1cs.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/cbc_max.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/cf1s_folklore.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/clean.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/differential_equations.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/health_circuit.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/key_value_store.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/nbacc_ray97.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/nbacg_guer01.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/product.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/raft.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/spanning.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/stages.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/sums_even.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/tcp.tla: No space left on device [INFO] [stderr] error: unable to write file libtlafmt/tests/format.rs [INFO] [stderr] fatal: cannot create directory at 'libtlafmt/tests/snapshots': No space left on device [INFO] [stderr] warning: Clone succeeded, but checkout failed. [INFO] [stderr] You can inspect what was checked out with 'git status' [INFO] [stderr] and retry with 'git restore --source=HEAD :/' [INFO] [stderr] [INFO] checking domodwyer/tlafmt against try#3c75d5844aa65b4aa19243ac44ceda49fe4e61ca for pr-143545 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdomodwyer%2Ftlafmt" "/workspace/builds/worker-6-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc2/source'... [INFO] [stderr] done. [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/CoffeeCan.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/CompositeFIFO.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/ConfigFileGrammar.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Consensus.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/DieHard.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/DieHarder.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/DifferentialEquations.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/DijkstraMutex.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/DiningPhilosophers.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/DiskSynod.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Disruptor_MPMC.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Disruptor_SPMC.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/DistributedReplicatedLog.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EPFailureDetector.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EWD687aPlusCal.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EWD687a_anim.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EWD840.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EWD840_anim.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EWD840_proof.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EWD998Chan.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EWD998ChanID_export.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EWD998ChanID_shiviz.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EWD998Chan_opts.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EWD998PCal.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EWD998_anim.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EWD998_opts.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EWD998_optsSC.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EWD998_proof.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Echo.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Einstein.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Elevator.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/EnvironmentController.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/FIFO.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/FastPaxos.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/FindHighest.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/FiniteSets.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Functions.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/GameOfLife.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Graphs.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/HDiskSynod.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Hanoi.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/HanoiSeq.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/HourClock.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/HourClock2.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Huang.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/InnerFIFO.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/InnerFIFOInstanced.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/InnerSequential.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/InnerSerial.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Integers.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/InternalMemory.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/JointActionMemory.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/KVsnap.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/KeyValueStore.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/KnuthYao.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/LamportMutex.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/LamportMutex_proofs.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/LeastCircularSubstring.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/LevelSpec.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/LiveHourClock.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/LiveInternalMemory.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/LiveWriteThroughCache.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MC.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCAlternatingBit.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCBakery.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCBinarySearch.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCBoulanger.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCCRDT.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCChangRoberts.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCCheckpointCoordination.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCConsensus.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCDieHarder.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCDistributedReplicatedLog.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCEWD687a.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCEcho.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCFindHighest.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCInnerFIFO.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCInnerSequential.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCInnerSerial.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCInternalMemory.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCKVS.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCKVsnap.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCLamportMutex.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCLeastCircularSubstring.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCLiveInternalMemory.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCMajority.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCNano.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCParReach.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCPaxos.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCPrisoners.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCQuicksort.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCReachabilityTest.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCReachable.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCRealTime.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCRealTimeHourClock.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCReplicatedLog.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCTwoPhase.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCVoting.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCYoYoNoPruning.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCYoYoPruning.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MC_HDiskSynod.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MC_spanning.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MC_sums_even.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MCtcp.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Majority.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MajorityProof.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Memory.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MemoryInterface.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MissionariesAndCannibals.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MultiPaxos.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/MultiPaxos_MC.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Nano.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Naturals.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/NaturalsInduction.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/PConProof.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/ParReach.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/ParReachProofs.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Paxos.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/PaxosCommit.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Peano.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/PrintValues.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Prisoners.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/Prob.tla [INFO] [stderr] error: unable to write file libtlafmt/tests/corpus/ProtoReals.tla [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/Queens.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/QueensPluscal.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/Quicksort.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/RTMemory.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/RTWriteThroughCache.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/Reachability.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/ReachabilityProofs.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/ReachabilityTest.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/Reachable.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/ReachableProofs.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/ReadersWriters.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/RealTimeHourClock.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/RealTime_SS.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/Reals.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/RegisterInterface.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/Relation.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/ReplicatedLog.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/RingBuffer.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SPA_Attack.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SPA_Attack_New.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SchedulingAllocator.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SequenceTheorems.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/Sequences.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SerialMemory.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SimKnuthYao.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SimTokenRing.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/Simple.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SimpleAllocator.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SimpleMath.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SimpleRegular.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SingleLaneBridge.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SlidingPuzzles.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/Slush.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SmokeEWD998.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SmokeEWD998_SC.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SpanTree.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SpanTreeRandom.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SpanTreeTest.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/Stones.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/SyncTerminationDetection.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/Synod.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/TCommit.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/TLAPS.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/TLAPlusGrammar.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/TLCMC.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/TestGraphs.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/TokenRing.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/TransitiveClosure.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/TwoPhase.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/Util.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/Utils.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/Voting.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/VoucherCancel.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/VoucherIssue.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/VoucherLifeCycle.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/VoucherRedeem.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/VoucherTransfer.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/WellFoundedInduction.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/WriteThroughCache.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/WriteThroughCacheInstanced.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/YoYoAllGraphs.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/YoYoNoPruning.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/YoYoPruning.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/ZSequences.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/aba_asyn_byz.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/bcastByz.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/bcastFolklore.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/bosco.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/c1cs.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/cbc_max.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/cf1s_folklore.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/clean.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/differential_equations.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/health_circuit.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/key_value_store.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/nbacc_ray97.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/nbacg_guer01.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/product.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/raft.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/spanning.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/stages.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/sums_even.tla: No space left on device [INFO] [stderr] error: unable to create file libtlafmt/tests/corpus/tcp.tla: No space left on device [INFO] [stderr] error: unable to write file libtlafmt/tests/format.rs [INFO] [stderr] fatal: cannot create directory at 'libtlafmt/tests/snapshots': No space left on device [INFO] [stderr] warning: Clone succeeded, but checkout failed. [INFO] [stderr] You can inspect what was checked out with 'git status' [INFO] [stderr] and retry with 'git restore --source=HEAD :/' [INFO] [stderr] failed to checkout https://github.com/domodwyer/tlafmt Caused by: command failed: exit status: 128